Detail výsledku

Restrictions on Derivations in n-Generating Grammar Systems

ČERMÁK, M. Restrictions on Derivations in n-Generating Grammar Systems. Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5. Brno: Faculty of Information Technology BUT, 2012. p. 371-375. ISBN: 978-80-214-4462-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Čermák Martin, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

From a pragmatic point of view, an investigation of various type of restrictions, placed on derivation in grammars, plays a significant role in the formal language theory. The main reason
is a possibility to select nonterminals intended to rewrite with a lower level of nondeterminism. This paper introduces generalized version of n-generating grammar system and corresponding n-accepting move-restricted automata system. On the n-generating grammar system, it shows how two variants
of derivation-restrictions effect its generative power.

Klíčová slova

grammar, grammar system, automata, automata system, n-string, n-language

Rok
2012
Strany
371–375
Sborník
Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5
Konference
Student EEICT 2012
ISBN
978-80-214-4462-1
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT192801,
  author="Martin {Čermák}",
  title="Restrictions on Derivations in n-Generating Grammar Systems",
  booktitle="Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5",
  year="2012",
  pages="371--375",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-4462-1"
}
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
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