Journal article

MEDUNA Alexander and ZEMEK Petr. On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars. Theoretical Computer Science. Paris: Elsevier Science, 2013, vol. 477, no. 1, pp. 67-75. ISSN 0304-3975. Available from: http://www.sciencedirect.com/science/article/pii/S0304397513000066
Publication language:english
Original title:On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars
Title (cs):O generování vět následovaných jejich rozbory propagujícími gramatikami řízenými regulárním jazykem
Pages:67-75
Place:FR
Year:2013
URL:http://www.sciencedirect.com/science/article/pii/S0304397513000066
Journal:Theoretical Computer Science, Vol. 477, No. 1, Paris, FR
ISSN:0304-3975
Keywords
formal languages, context-free grammars, regular-controlled derivations, generation of sentences with their parses
Annotation
The present paper explains how to transform any regular-controlled (context-free) grammar with appearance checking G to a propagating regular-controlled (context-free) grammar with appearance checking G' whose language L(G') has sentences of the form wz, where w is in L(G) and z is a parse of w in G'. Consequently, for every recursively enumerable language K, there exists a propagating regular-controlled grammar with appearance checking G' with L(G') of the above form so that K results from L(G') by erasing all rules in L(G'). In addition, analogical results are established (a) in terms of these grammars without appearance checking and (b) in terms of these grammars that make only leftmost derivations. In the conclusion, we point out some consequences implied by the results achieved in this paper.
BibTeX:
@ARTICLE{
   author = {Alexander Meduna and Petr Zemek},
   title = {On the Generation of Sentences with Their Parses by
	Propagating Regular-Controlled Grammars},
   pages = {67--75},
   journal = {Theoretical Computer Science},
   volume = {477},
   number = {1},
   year = {2013},
   ISSN = {0304-3975},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9715}
}

Your IPv4 address: 54.224.68.56
Switch to IPv6 connection

DNSSEC [dnssec]