Detail publikace
Left-Forbidding Cooperating Distributed Grammar Systems
GOLDEFUS Filip. Left-Forbidding Cooperating Distributed Grammar Systems. In: Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4. Brno: Fakulta informačních technologií VUT v Brně, 2008, s. 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
angličtina
Autoři
Goldefus Filip, Mgr. (UIFS FIT VUT)
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, Brno, CZ
ISBN
978-80-214-3617-6
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB8651, author = "Filip Goldefus", title = "Left-Forbidding Cooperating Distributed Grammar Systems", pages = "403--407", booktitle = "Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4", year = 2008, location = "Brno, CZ", publisher = "Faculty of Information Technology BUT", ISBN = "978-80-214-3617-6", language = "english", url = "https://www.fit.vut.cz/research/publication/8651" }