V práci jsou zavedeny a studovány sebeřídící konečné a zásobníkové automaty -- automaty obohacené o jisté mechanizmy, které řídí jejich další výpočet vzhledem k výpočtu dosavadnímu. Hlavní myšlenkou je, že automat má na základě předchozích kroků omezenou množinu pravidel, kterou může v dalších krocích použít. Jsou zavedeny a studovány dva typy těchto automatů. Dále se práce věnuje popisné složitosti částečně paralelních gramatik a gramatik regulovaných kontextovými podmínkami vzhledem k počtu neterminálů a jistých speciálních pravidel

Zpět na vědecké spisy