Title
Adding Global Forbidding Context To Context-Free Grammars
Abstract
A 1S grammar generalizes a context-free grammar in the following way: a production A → α can be applied to a string uAv (to rewrite the designed occurence of A ) provided that all letters from u belong to a fixed alphabet X and all letters from v belong to a fixed alphabet Z (the alphabets X and Z are independent of the production). It is proved that a language is generated by a 1S grammar if and only if it is context-free: this solves an open problem from the theory of selective substitution grammars (Kleijn and Rozenberg, 1981/82).
Year
DOI
Venue
1985
10.1016/0304-3975(85)90096-9
THEORETICAL COMPUTER SCIENCE
Keywords
DocType
Volume
one sequential grammars,Selective substitution grammars,F.4.2,F.4.3,context-free languages
Journal
37
Issue
ISSN
Citations 
3
0304-3975
1
PageRank 
References 
Authors
0.36
7
3
Name
Order
Citations
PageRank
A. Ehrenfeucht11823497.83
H.C.M. Kleijn293.29
G. Rozenberg339645.34