Detail publikace
Two-Way Linear PC Grammar Systems
Bezkontextová gramatika, levě-rozšířená frontová gramatika, pravě-lineární gramatika, gramatické systémy, komunikační krok, dvousměrné PC gramatické systémy, derivace, pravidlo, větná forma, nonterminál, terminál
Kromě derivačních a komunikačních kroků může dvousměrný PC gramatický systém vykonávat kroky redukční během nichž nahradí pravou stranu bezkontextového pravidla stranou levou. Článek dokazuje, že každý neunární rekurzivně spočetný jazyk je definován úsporným způsobem pomocí centralizovaného dvousměrného PC gramatického systému, Γ, který má pět komponent. Hlavní komponenta obsahuje pouze tři nonterminály a jediné praviddlo obsahující komunikační symbol; dále všechny generované větné formy neobsahují více než dva výskyty nonterminálních symbolů. Během každého výpočtu provede Γ jediný komunikační krok.
@inproceedings{BUT21493,
author="Petr {Kaláb}",
title="Two-Way Linear PC Grammar Systems",
booktitle="Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling",
year="2005",
series="1st edition",
pages="87--94",
address="Ostrava",
isbn="80-86840-09-3"
}