Teorie

Automatů

Bezkontextové gramatiky, jazyky a zásobníkové automaty

Úvod

Vítám vás na pomocných stránkách k předmětu Teoretická informatika. Obsahem těchto stránek je pouze část teorie automatů a to bezkontextové gramatiky, jazyky a zásobníkové automaty. Logicky se tato část teorie vyučuje po problematice regulárních jazyků a konečných automatů. Pro tento účel je zpracován web mého studijního kolegy Huberta Dostála na této internetové adrese http://iris.uhk.cz/tein/.
Některé kapitoly je nutné uvést úvodem u každé teorie a tak vás na těchto stránkách neminou obecné základy teorie automatů. Poté se společně podíváme na bezkontextové gramatiky a jimi generované jazyky. V návaznosti na to probereme problematiku zásobníkových automatů a jejich souvoslost s bezkontextovými jazyky. Na závěr zde najdete příklady k procvičení k jednotlivým kapitolám.

Přeji vám příjemné studium.

Pro přehlednost textů jsem zvolila následující zvýraznění:

 
definice
Takto bude vytažená v textu definice.
kód
Takto bude vytažený v textu kód. Např. u algoritmů.
příklad
Takto budou označeny v textu příklady a i jejich řešení.