Detail výsledku

How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals

BIDLO, R.; BLATNÝ, P. How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals. Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 536-541. ISBN: 80-214-2890-2.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bidlo Radek, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Blatný Petr, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

The notion of a context-free grammar over a free group is introduced.The transformation of any type-0 grammar to an equivalent context-freegrammar over a free group is demonstrated. This approach causes anundesirable increase of the number of nonterminal symbols. Hence weintroduce a method for their reduction.

Klíčová slova

Context-Free Grammars, Derivations, Free Groups, Recursively Enumerable Languages

Rok
2005
Strany
536–541
Sborník
Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3
Konference
STUDENT EEICT 2005
ISBN
80-214-2890-2
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT18908,
  author="Radek {Bidlo} and Petr {Blatný}",
  title="How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals",
  booktitle="Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3",
  year="2005",
  pages="536--541",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2890-2"
}
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru