| |
Languages and Translations (X36JPR)
course in Czech language
full-time study course, currently not teaching
Number of teaching periods (lectures + seminars): 2+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 and LR grammars (parsing, transformations), formal translation, translation grammars, finite transducers and regular translation grammars, pushdown transducer and context-free translation grammars, LL and LR translations, attribute grammars, evaluation of attributes.
|
Course Syllabus:
| |
- Basic notions of the theory of languages, definitions and grammar classification
- Regular languages, regular grammars, and regular expressions
- Nondeterministic and deterministic finite automata
- Context-free grammars, parsing of context-free languages
- Pushdown automata, relation between context-free grammars and pushdown automata
- LL grammars, parsing tables, parsing
- Transformations of context-free grammars to LL grammars
- LR grammars, basic notions
- LR grammars, parsing
- LR grammars, parsing table construction
- Formal translations, basic notions, translation grammar
- Translation automata and grammars
- Formal translation directed by LL parser
- Formal translation directed by LR parser
|
Seminar syllabus:
| |
- Construction of grammars for simple languages
- Finite automata for simple languages
- Relation between regular grammars and finite automata
- Relation between regular expressions and finite automata
- Relation between regular expressions and regular grammars
- Context-free grammars, basic transformations
- Pushdown automata
- LL grammars, parsing table construction, parsing
- Transformations of context-free grammars to LL grammars
- LR grammars - table construction
- LR grammars - parsing
- Translation grammars and automata
- Formal translation in LL parsing
- Formal translation in LR parsing
|
Literature:
| |
- Melichar, B., Holub, J., Mužátko, P.: Languages and Translations. Publishing House of CTU, Praha 1997.
|
Requirements:
Teachers:
| |
Lecturer:
Seminar leaders:
|
|
 
|
