| |
Languages and Translations (36JPR)
course in Czech language
full-time study course, currently not teaching
Number of teaching periods (lectures + seminars): 3+2
Termination: Credit, examination
Summary:
| |
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.
|
Course Syllabus:
| |
- Basic Concepts of the Theory of Languages
- Regular Languages, Regular Grammars, and Regular Expressions
- Finite Automata
- Context-free Grammars, Parsing of Context-free Languages
- Pushdown Automata, Relation between Context-free Grammars and Pushdown Automata
- LL Grammars, Simple LL(1) Grammars, q-Grammars
- Transformations of Context-free Grammars to LL Grammars
- Formal Translations, Basic Notions, Translation Grammars
- Translation Automata and Translation Grammars
- Formal Translation Directed by LL Parsing
- Attributed grammars, attributed translations
- Evaluation of attributes
- LL attributed translations
- Implementations and translations
|
Seminar syllabus:
| |
- Grammars for Simple Languages
- Finite Automata for Simple Languages
- Regular Grammars and Finite Automata
- Regular Expressions and Finite Automata
- Regular Expressions and Regular Grammars
- Context-free Grammars, Basic Transformations
- Pushdown Automata
- LL Grammars, Parsing Table, Parsing
- Transformations of Context-free Grammars to LL Grammars
- Formal Translations
- Attributed grammars
- Evaluation of attributes
- Implementation
|
Literature:
| |
[1] Melichar, B., Holub, J., Mužátko, P.: Languages and Translations. Publishing House of CTU, Praha 1997.
|
|
 
|
