| Název předmětu | Theory of Automata and Formal Languages |
|---|---|
| Kód předmětu | KI/EAFJ |
| Organizační forma výuky | Přednáška + Cvičení |
| Úroveň předmětu | nespecifikována |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 7 |
| Vyučovací jazyk | Angličtina |
| Statut předmětu | nespecifikováno |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Dostupnost předmětu | Předmět je nabízen přijíždějícím studentům |
| Vyučující |
|---|
|
| Obsah předmětu |
|
1. Finite Automata (KA): representations, languages recognizable by finite automata 2. Reduction and implementation of finite automata 3. Non-deterministic finite automata 4. Grammars: Chomsky's distribution of grammars, regular grammars 5. Regular languages: closure properties, relation to KA 6. Applications of regular languages and automata: regular expressions and their types 7. Context-free grammars 8. Pushdown automata 9. Applications of context-free languages and stack automata: LR/LL syntactic parser, ANTLR 10. Turing machines: models and their properties 11. Undecidability: the Church-Turing thesis, the Post correspondence problem 12. Equivalent representations of Turing machines: RASP 13. Practical applications
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
In this course, students will learn the theoretical foundations of finite automata, grammars and pushdown automata. Emphasis is placed on connecting mathematical theory with practical implementation and application of the theory to current technologies.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr |
|---|