Charles Explorer logo
🇨🇿

O minimalismu redukční analýzy pomocí restartovacích automatů

Publikace na Matematicko-fyzikální fakulta |
2014

Abstrakt

Příspšvek se zabývá minimalismem redukční analýzy pomocí restartovacích automatů. Definují se v něm 4 třídy jazyků - základní jazyky nad slovními formami oznašenými gramatickými kategoriemi, vlastními jazyky nad slovními formami, hategoriální jazyky a jazyk redukcí.

Složitost jazyků je měřena počtem "oblázků", počtem vyouštění a počtem přsunů během analýzy.