Journal article

MEDUNA, A. and ZEMEK, P.. One-Sided Forbidding Grammars and Selective Substitution Grammars. International Journal of Computer Mathematics. 2012, vol. 89, no. 5, pp. 586-596. ISSN 0020-7160. Available from: http://www.tandfonline.com/doi/abs/10.1080/00207160.2011.642300
Publication language:english
Original title:One-Sided Forbidding Grammars and Selective Substitution Grammars
Title (cs):Jednostranné zakazující gramatiky a selektivní gramatiky
Pages:586-596
Place:GB
Year:2012
URL:http://www.tandfonline.com/doi/abs/10.1080/00207160.2011.642300
Journal:International Journal of Computer Mathematics, Vol. 89, No. 5, GB
ISSN:0020-7160
Keywords
Formal language theory, regulated rewriting, one-sided forbidding grammars, selective substitution grammars, generative power
Annotation
In one-sided forbidding grammars, the set of rules is divided into the set of left forbidding rules and the set of right forbidding rules. A left forbidding rule can rewrite a nonterminal if each of its forbidding symbols is absent to the left of the rewritten symbol in the current sentential form while a right forbidding rule is applied analogically except that this absence is verified to the right. Apart from this, they work like ordinary forbidding grammars.

As its main result, the present paper proves that one-sided forbidding grammars are equivalent to selective substitution grammars. This equivalence is established in terms of grammars with and without erasing rules. Furthermore, the paper proves that one-sided forbidding grammars in which the set of left forbidding rules coincides with the set of right forbidding rules characterize the family of context-free languages. In the conclusion, the significance of the achieved results is discussed.

BibTeX:
@ARTICLE{
   author = {Alexander Meduna and Petr Zemek},
   title = {One-Sided Forbidding Grammars and Selective Substitution
	Grammars},
   pages = {586--596},
   journal = {International Journal of Computer Mathematics},
   volume = {89},
   number = {5},
   year = {2012},
   ISSN = {0020-7160},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=9716}
}

Your IPv4 address: 54.211.73.232
Switch to IPv6 connection

DNSSEC [dnssec]