Teorie automatů a formálních jazyků (KI/AFJ)

přednáška a seminář

Požadavky pro udělení zápočtu

aktivní účast na přednáškách a seminářích (povoleny jsou nejvýše 3 absence; více absencí je pak v odůvodněných případech povoleno pouze s tím, že budou po dohodě řešeny vypracováním úkolu typu seminární práce, prezentace nebo programu v adekvátním rozsahu)
absolvování dvou testů se ziskem alespoň 50 procent bodů z možných (kritérium je aplikováno na každý test zvlášť; termín konání každého z testů bude oznámen alespoň s týdenním předstihem; v náhradních termínech bude možné opakovaně absolvovat libovolný z testů v celkovém počtu dvou opravných pokusů v součtu obou testů)

Průběh zkoušky

Zkouška je ústní a proběhne v časovém rozsahu zhruba 30 minut. Slouží k prověření teoretických znalostí jako jsou definice základních pojmů, formulace stěžejních vět a vysvětlení vybraných algoritmů.

Doporučená literatura a užitečné odkazy

V českém jazyce

CHYTIL, Michal. Automaty a gramatiky. 1. vyd. Praha: SNTL - Nakladatelství technické literatury, 1984. 331 s.
CHYTIL, Michal. Sbírka řešených příkladů z teorie automatů a formálních jazyků. 1. vyd. Praha: Univerzita Karlova, 1987. 111 s.
HABIBALLA, Hashim. Různé materiály na osobní www stránce, např. studijní opora Gramatiky a jazyky. Ostravská univerzita v Ostravě.
JANČAR, Petr, Martin KOT, Zdeněk SAWA a další. Různé materiály jako studijní text prof. Jančara a animace k předmětu Teoretická informatika nebo slidy z přednášek doc. Sawy k předmětu Úvod do teoretické informatiky. VŠB - TU Ostrava.
ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Automaty a formální jazyky I. Fakulta informatiky Masarykovy univerzity, 2002. Dostupné z: http://is.muni.cz/do/1499/el/estud/fi/js06/ib005/Formalni_jazyky_a_automaty_I.pdf

V anglickém jazyce

HOPCROFT, John E., Rajeev MOTWANI a Jeffrey D. ULLMAN. Introduction to automata theory, languages, and computation. 3. ed., New international ed. Harlow: Pearson Addison-Wesley, 2014. ISBN 978-129-2039-053.
ULLMAN, Jeff. Automata, online kurz zdarma na portálu Coursera. Stanford University.
XAVIER, S. Theory of automata, formal languages and computation. New Delhi: New Age International (P) Ltd., Publishers, c2005, xiii, 345 p. ISBN 978-81-224-2334-1. Dostupné z: http://uqu.edu.sa/files2/tiny_mce/plugins/filemanager/files/4023678/TC_Reference_E-Book.pdf
Java Formal Language and Automata Package (JFLAP)

V německém jazyce

DIX, Jürgen. Materiály k předmětu Informatik III, konkrétně záznamy přednášek a PDF prezentace. TU Clausthal.
ERK, Katrin a Lutz PRIESE. Theoretische Informatik: eine umfassende Einführung. 3., erw. Aufl. Berlin: Springer, 2008. ISBN 978-354-0763-192.