Detail výsledku

Normal Forms of One-Sided Random Context Grammars

ZEMEK, P. Normal Forms of One-Sided Random Context Grammars. Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012. p. 430-434. ISBN: 978-80-214-4462-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Zemek Petr, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Klíčová slova

formal languages, one-sided random context grammars, normal forms

URL
Anotace

Tento příspěvek diskutuje normální formy jednostranných gramatik. Obsahuje souhrn existujících normálních forem pro tyto gramatika a zavádí tři nové normální formy. Všechny normální formy jsou platné jak pro jednostranné gramatiky s vymazávacími pravidly, tak bez nich. V závěru příspěvku jsou zmíněny tři otevřené problémy.

Rok
2012
Strany
430–434
Sborník
Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3
Konference
Student EEICT 2012
ISBN
978-80-214-4462-1
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX 
@inproceedings{BUT192796,
  author="Petr {Zemek}",
  title="Normal Forms of One-Sided Random Context Grammars",
  booktitle="Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3",
  year="2012",
  pages="430--434",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-4462-1",
  url="http://www.feec.vutbr.cz/EEICT/2012/sbornik/03doktorskeprojekty/08informacnisystemy/14-xzemek02.pdf"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Matematické základy teorie formálních jazyků, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, zahájení: 2012-01-01, ukončení: 2012-12-31, ukončen
Pokročilé rozpoznávání a prezentace multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-11-2, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru