|
|
|
||
Last update: Kubová Petra Ing. (02.01.2018)
|
|
||
Last update: Kubová Petra Ing. (02.01.2018)
Students will be able to: Understand finite automata, regular expressions, grammars, and translation finite automata, with an emphasis on their practical use. Understand the class of context-free languages, basic use of pushdown automata, as well as the classification of languages. |
|
||
Last update: Kubová Petra Ing. (02.01.2018)
R:Aho, A. V., Lam, M. S., Sethi, R., Ullman, J. D. "Compilers: Principles, Techniques, and Tools" (2nd Edition). Addison Wesley, 2007. ISBN 0321486811. R:Kozen, D. C. "Automata and Computability". Springer, 1997. ISBN 0387949070. R:Melichar, B., Holub, J., Mužátko, P. "Languages and Translations". Praha: Publishing House of CTU, 1997. ISBN 80-01-01692-7. |
|
||
Last update: Kubová Petra Ing. (02.01.2018)
https://edux.fit.cvut.cz/courses/BI-AAG/ (login necessary) |
|
||
Last update: Kubová Petra Ing. (02.01.2018)
1. Motivation to study formal languages. Basic notions (language, alphabet, grammar, automaton), Chomsky hierarchy. 2. Nondeterministic and deterministic finite automata (NFA, DFA), NFA with epsilon transitions. 3. Operations on automata (transformation to NFA without epsilon transitions, to DFA, minimization), intersection, union. 4. Programming implementations of DFA and NFA, circuit implementations. 5. Adding translation, Mealey, Moore, conversions. 6. Operations on regular grammars, conversions to FA. 7. Regular expressions, regular expression conversions, finite automata and regular grammars, Kleene theorem. 8. Principles of use of regular expressions in UNIX (grep, egrep, perl, PHP, ...). 9. Finite automaton as a lexical analyzer, lex/flex generators. 10. Properties of regular languages (pumping lemma, Nerode theorem). 11. Context-free languages, pushdown automaton. 12. Parsing of context-free languages (nondeterministic versus deterministic). 13. Context-sensitive and recursively enumerable languages, Turing machine. |
|
||
Last update: Kubová Petra Ing. (02.01.2018)
Knowledge of basic data structures and computer programming. |
|
||
Last update: Svozil Daniel prof. Mgr. Ph.D. (07.02.2018)
Pro zı́skánı́ zápočtu je potřeba dostatek bodů ze zápočtových testů. Zkouška se skládá z povinné pı́semné a povinné ústnı́ části. |
Teaching methods | ||||
Activity | Credits | Hours | ||
Účast na přednáškách | 1 | 28 | ||
Příprava na přednášky, semináře, laboratoře, exkurzi nebo praxi | 1 | 28 | ||
Práce na individuálním projektu | 2 | 56 | ||
Příprava na zkoušku a její absolvování | 1 | 28 | ||
Účast na seminářích | 1 | 28 | ||
6 / 5 | 168 / 140 |