Detail publikace
Left-Forbidding Cooperating Distributed Grammar Systems
GOLDEFUS, F. Left-Forbidding Cooperating Distributed Grammar Systems. Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4. Brno: Faculty of Information Technology BUT, 2008. p. 403-407. ISBN: 978-80-214-3617-6.
Název česky
Levě zakazující kooperativně distributivní gramatické systémy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Goldefus Filip, Mgr.
Klíčová slova
left-forbidding grammar, cooperative distributed grammar system, left-forbidding cooperative distributed grammar system, state grammar, recursive enumerable languages
Abstrakt
Článek zavádí levě zakazující gramatiky a dokazuje jejich výpočetní sílu, jenž je rovna bezkontextovým gramatikám. Levě zakazující gramatiky jsou následně užity v kooperativně distributivním gramatickém systému a pomocí konstruktivního důkazu je určena výpočetní síla levě zakazujících kooperativně distributivních gramatických systémů. Stěžejní část prezentuje důkaz, že takto zavedený gramatický systém generuje třídu rekurzivně spočetných jazyků.
Rok
2008
Strany
403–407
Sborník
Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4
Konference
Student EEICT 2008, FEKT VUT v Brně, CZ
ISBN
978-80-214-3617-6
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX
@inproceedings{BUT32783,
author="Filip {Goldefus}",
title="Left-Forbidding Cooperating Distributed Grammar Systems",
booktitle="Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4",
year="2008",
pages="403--407",
publisher="Faculty of Information Technology BUT",
address="Brno",
isbn="978-80-214-3617-6"
}