Formální jazyky a automaty

Seznam přednášek

  1. Úvod, abeceda, řetězece, jazyk, konečný deterministický automat (pdf)
  2. Vlastnosti regulárních jazyků a nedeterminismus (pdf)
  3. Determinizace a regulární výrazy (pdf)
  4. Další vlastnoti regulárních jazyků a pumping lemma (pdf)
  5. Minimalizace (pdf)
  6. Zápočtový test, ukázka práce s regexy
  7. Gramatiky a Chomského hierarchie (pdf)

Studijní materiály ke cvičením

Zápočet

Zápočet se skládá ze dvou částí, tj. dvou zápočtových testů: první na regulární jazyky, druhý na bezkontextové jazyky. Z každé části potřebujete získat aspoň 50% bodů, přičemž každý test si budete moci jednou opravit. Předběžný harmonogran testů: