Parsing and Compilers

The course is not on the list Without time-table
Code Completion Credits Range Language
MI-SYP Z,ZK 4 2P+1C Czech
Department of Theoretical Computer Science

The module builds upon the knowledge of fundamentals of automata theory, formal language and formal translation theories. Students gain knowledge of various variants and applications of LR parsing and are introduced to special applications of parsers, such as incremental and parallel parsing.


Knowledge of fundamentals of the theory of formal languages and translations. Knowledge of finite and pushdown automata, construction of an LL parser, and compiler directed by an LL parser.

Syllabus of lectures:

1. Recapitulaton of basic notions, LL parsing.

2. Classification of LR parsers.

3. Strong LR(k) parsing.

4. LR(0) and SLR(1) parsing.

5. LALR(k) and LR(k) parsing.

6. Translation directed by an LR parser.

7. Evaluation of attributes during LR parsing.

8. LR attributed translation.

9. Intermediate representation.

10. Incremental LL parsing.

11. Incremental LR parsing.

12. Parallel LL parsing.

13. Parallel LR parsing.

Syllabus of tutorials:

1. Revision - construction of weak and strong LL parsers.

2. Revision - compiler directed by LL parser.

3. Strong LR(k) parsing.

4. LR(0) parsing.

5. SLR(1) parsing.

6. LALR(k) parsing.

7. LR(k) parsing.

8. Translation directed by LR parser.

9. Evaluation of attributes during LR parsing, LR attributed translation.

10. Incremental LR parsing.

11. Parallel LL parsing.

12. Parallel LR parsing.

Study Objective:

Knowledge acquired in this module can be used for compiler construction or other types of programs for parsing and processing structured texts.

Study materials:

1. Melichar, B., Holub, J., Mužátko, P. ''Languages and Translations''. Praha: Publishing House of CTU, 1997. ISBN 80-01-01692-7.

3. Aho, A. V., Lam, M. S., Sethi, R., Ullman, J. D. ''Compilers: Principles, Techniques, and Tools (2nd Edition)''. Addison Wesley, 2006. ISBN 0321486811.

4. Grune, D., Jacobs, C. J. H. ''Parsing Techniques. A Practical Guide (2nd Edition)''. Springer, 2008. ISBN 038720248X.

Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2019-06-18
For updated information see http://bilakniha.cvut.cz/en/predmet1431506.html