Sylabus přednášky

• 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 - modelová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é Büchiho automaty, Mullerovy Rabinovy a Streetovy automaty. McNaughtonova věta. Vzájemné vztahy.

Výuka

• Přednášky
  Přednášky se konají prezenčně dle rozvrhu.
  

• Cvičení
  Cvičení bude probíhat jednou za dva týdny ve čtvrtek dle rozvrhu
  

Hodnocení předmětu

•  V průběhu semestru se koná jedna vnitrosemestrálni pisemka, za kterou lze získat maximálně 20 bodů.
• Ve zkouškovém studenti skládají závěrečnou písemnou zkoušku, za kterou lze získat maximálně áé bodů. 
• Hodnocení se určí na základě součtu počtu bodů získaných z vnitosemestrální a  závěrečné písemky. Pro udělení zápočtu stačí 50 bodů. Při ukončení zkouškou se známky přidělují dle této tabulky:

  
  

  počet bodů	hodnocení
  87 a více	A
  alespoň 79 a méně než 87	B
  alespoň 71 a méně než 79	C
  alespoň 63 a méně než 71	D
  alespoň 55 a méně než 63	E
  méně než 55	F

Další informace lze nalézt na domovské stránce přednášejícího v části Automaty II - info a pokyny k IA006

na adrese https://www.fi.muni.cz/usr/kretinsky/fja2.html