Formálne jazyky a automaty
(zimný semester 2021/2022)

[ oznamy ]
[ rozvrh ]
[ pravidlá ]
[ domáce úlohy ]
[ riešenia ]
[ hodnotenie ]
[ materiály ]
[ odkazy ]
[ TeX ]
[ kontakt ]

Prihlásenie

Meno:
Heslo:

Oznamy

pridané dňaoznam
27. 10. 2021Ako bolo povedané na cvičeniach, sada úloh na cvičenie 7 nebude, pretože v pondelok 11.1. prednáška odpadne. Na cvičení však bude prezentovaná konštrukcia PDA a po nej bude možnosť hromadnej konzultácie k hocičomu, čo sme preberali počas semestra. Keďže Malá Písomka bude hneď nasledujúci deň po cvičení 7, táto konzultácia sa môže hodiť. Pripravte si prosím vopred otázky a príklady, ktorých riešenie by ste chceli konzultovať.
20. 10. 2021Vzhľadom na to, že sme so Skupinami 1 a 2 nestihli na cviku poriadne spraviť dôkaz správnosti NKA, študentom z týchto skupín veľmi odporúčam poriadne si preštudovať a hlavne pochopiť riešenie Úlohy 1 v tomto dokumente.
20. 10. 2021UPDATE: Pripomíname, že podľa dohody zo začiatku semestra sa Malá Písomka uskutoční vo štvrtok, 4.11. o 18:10 v F1. Obsahom budú môcť byť akékoľvek príklady týkajúce sa tém preberaných na prednáškach a cvičeniach od začiatku semestra až po prednášku, ktorá sa uskutoční 25.10. a cvičenie, ktoré sa uskutoční 27.10. Ide najmä o tieto okruhy tém:
  • Slová a jazyky. Operácie na jazykoch.
  • Bezkontextové gramatiky - konštrukcia, dôkaz správnosti.
  • Normálne tvary bezkontextových gramatík.
  • Uzáverové vlastnosti triedy bezkontextových jazykov
  • Konštrukcia NKA/DKA, dôkaz správnosti.
  • Uzáverové vlastnosti triedy regulárnych jazykov.
  • Ekvivalencia konečných automatov a regulárnych gramatík.
  • Odepsilonovanie NKA.
  • Pumpovacia lema pre regulárne jazyky.
20. 10. 2021Bola zverejnená druhá sada bodovaných domácich úloh. Všetky pokyny nájdete v zadaní. Prajeme veľa úspechov v riešení!

[ zobraz všetky oznamy ]