Languages and Translations

The course is a substitute for:

Languages and Translations (XE36JPR)

Lecturer:

Tutor:

Supervisor:

Department of Computer Science and Engineering

Synopsis:

Theory of formal languages, definition and classification of grammars, regular languages, regular grammars and regular expressions, deterministic and non-deterministic finite automata, context-free grammars, parsing, pushdown automata, LL grammars (parsing, transformations), formal translation, translation grammars, finite transducers and regular translation grammars, pushdown transducer and context-free translation grammars, LL translations, attribute grammars, evaluation of attributes.

Requirements:

http://service.felk.cvut.cz/courses/X36JPR/

Syllabus of lectures:

1. Basic Concepts of the Theory of Languages

2. Regular Languages, Regular Grammars, and Regular Expressions

3. Finite Automata

4. Context-free Grammars, Parsing of Context-free Languages

5. Pushdown Automata, Relation between Context-free Grammars and Pushdown Automata

6. LL Grammars, Simple LL(1) Grammars, q-Grammars

7. Transformations of Context-free Grammars to LL Grammars

8. Formal Translations, Basic Notions, Translation Grammars

9. Translation Automata and Translation Grammars

10. Formal Translation Directed by LL Parsing

11. Attributed grammars, attributed translations

12. Evaluation of attributes

13. LL attributed translations

14. Implementations and translations

Syllabus of tutorials:

1. Grammars for Simple Languages

2. Finite Automata for Simple Languages

3. Regular Grammars and Finite Automata

4. Regular Expressions and Finite Automata

5. Regular Expressions and Regular Grammars

6. Context-free Grammars, Basic Transformations

7. Pushdown Automata

8. LL Grammars, Parsing Table, Parsing

9. Transformations of Context-free Grammars to LL Grammars

10. Formal Translations

11. Attributed grammars

12. Evaluation of attributes

13. Implementation

Study Objective:

Study materials:

[1] Melichar, B., Holub, J., Mužátko, P.: Languages and Translations. Publishing House of CTU, Praha 1997.

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: