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
  Vzhledem k aktuální situaci letos prezenční přednášky nebudou. Namísto toho budou pro každý dvoutýdenní blok doporučeny ke shlédnutí příslušné záznamy loňských přednášek a dále bude doporučena literatura k samostudiu.
  

• Cvičení
  Cvičení bude probíhat jednou za dva týdny ve čtvrtek od 14:00 formou videokonference v Zoomu nebo v Google Meet (bude upřesněno). První cvičení bude 15. října. Odkaz na videokoncerenci bude k dispozici vždy v příslušné podosnově. Před cvičením si prosím vždy nastudujte učivo popsané v příslušné podosnově. Záznam cvičení bude následně zveřejněn spolu s popsanou virtuální tabulí.

Hodnocení předmětu

• Nové dne 7.11.2020: vnitrosemestrálni pisemka se ruší, bude se konat jen závěrečná písemná zkouška,  za kterou lze získat maximálně 100 bodů. 
• [BYLO ZRUŠENO dne 7.11.2020: 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ě 100 bodů. 
• Hodnocení se určí na základě počtu bodů získaného ze 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