IA006 Vybrané kapitoly z teorie automatů

Fakulta informatiky
podzim 2014
Rozsah
2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučující
prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
doc. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející)
doc. RNDr. Vojtěch Řehák, Ph.D. (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
Mgr. Karolína Malá (cvičící)
RNDr. František Blahoudek, Ph.D. (pomocník)
Mgr. Bc. Tomáš Janík (pomocník)
RNDr. Petr Novotný, Ph.D. (pomocník)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování - Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování - Fakulta informatiky
Rozvrh
Čt 10:00–11:50 D1
  • Rozvrh seminárních/paralelních skupin:
IA006/01: každý sudý čtvrtek 12:00–13:50 A218, J. Barnat
IA006/02: každý lichý čtvrtek 12:00–13:50 A218, J. Barnat
IA006/03: každé sudé pondělí 8:00–9:50 B410, T. Brázdil
IA006/04: každé liché pondělí 8:00–9:50 B410, T. Brázdil
IA006/05: každé sudé pondělí 12:00–13:50 C511, K. Malá
IA006/06: každé liché pondělí 12:00–13:50 C511, K. Malá
IA006/07: každé sudé pondělí 10:00–11:50 C525, V. Řehák
IA006/08: každé liché pondělí 10:00–11:50 C525, V. Řehák
IA006/09: každou sudou středu 14:00–15:50 A217, J. Strejček
IA006/10: každou lichou středu 14:00–15:50 A217, J. Strejček
Předpoklady
Znalost problematiky v rozsahu předmětu IB005 - Formální jazyky a automaty a IB107 - Vyčíslitelnost a složitost
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 256 stud.
Momentální stav registrace a zápisu: zapsáno: 0/256, pouze zareg.: 0/256, pouze zareg. s předností (mateřské obory): 0/256
Mateřské obory/plány
předmět má 23 mateřských oborů, zobrazit
Cíle předmětu
Cílem je seznámit studenty s pokročilejšími partiemi teorie automatů, a to jak aplikacemi klasické teorie automatů a gramatik (metody syntaktické analýzy deterministických bezkontextových jazyků), problematikou použití automatů pro specifikaci procesů (bisimulační ekvivalence, vztah automatů a MSO logiky), tak i s automaty nad nekonečnými slovy a jejich použitím. Na konci tohoto kurzu bude student schopen předkládat odůvodněná rozhodnutí o modelech relevatních pro danou oblast a porozumět metodám a technikám jejich použití.
Osnova
  • Deterministické bezkontextové jazyky (DCFL) a jejich syntaktická analýza.
  • LL(k) gramatiky a jazyky; vlastnosti a analyzátory.
  • LR(k) gramatiky a jazyky; vlastnosti a analyzátory.
  • Vztahy mezi LL, LR a DCFL. (Ne)rozhodnutelné problémy z oblasti DCFL.
  • Nekonečně stavové přechodové systémy a nedeterminismus - mopdelováníé procesů, bisimulace, vybrané rozhodnutelné problémy se vztahem k verifikaci procesů.
  • Konečné automaty a MSO logika (monadická logika 2. řádu)
  • Automaty nad nekonečnými slovy: nekonečná slova, regulární (racionální) množiny nekonečných slov.
  • Automaty: deterministické a nedeterministické Buchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.
Literatura
  • CHYTIL, Michal. Automaty a gramatiky. 1. vyd. Praha: SNTL - Nakladatelství technické literatury, 1984. 331 s. info
  • KOZEN, Dexter C. Automata and computability. New York: Springer, 1997. xiii, 400. ISBN 0387949070. info
  • Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997. xxiv, 873. ISBN 3540614869. info
  • Handbook of formal languages. Edited by Grzegorz Rozenberg - Arto Salomaa. Berlin: Springer-Verlag, 1997. xx, 625. ISBN 3540614869. info
  • SIPPU, Seppo a Eljas SOISALON-SOININEN. Parsing theory : volume 2 : LR(k)and LL(k) parsing. Berlin: Springer-Verlag, 1990. 417 s. ISBN 0-387-51732-4. info
  • další odkazy na studijní literaturu jsou uvedeny na webové stránce předmětu.
Výukové metody
přednášky, cvičení, samostudium. Volitelné domácí úlohy.
Metody hodnocení
Během semestru jedna pisemná zkouška, jejíž výsledek se započítává do výsledného hodnocení s vahou 25%. Závěrečná zkouška je rovněž písemná; obě bez použití pomocných materiálů.
Navazující předměty
Informace učitele
http://www.fi.muni.cz/usr/kretinsky/fja2.html
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Nachází se v prerekvizitách jiných předmětů
Předmět je zařazen také v obdobích podzim 2002, podzim 2003, podzim 2004, podzim 2005, podzim 2006, podzim 2007, podzim 2008, podzim 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019.