Automata and languages: theory and applications
Automata and languages: theory and applications
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Hi-index | 0.00 |
The present paper discusses the uniform generation of languages by scattered context grammars. More specifically, it demonstrates that every recursively enumerable language can be generated by a scattered context grammar, G, so that every sentential form in a generation of a sentence has the form y_1...y_m u, where $u$ is a terminal word and each y_i is a permutation of either of two equally long words, z_1∈{A, B, C}* and z_2∈{A, B, D}*, where A, B, C, and D are G's nonterminals. Then, it presents an analogical result so that u precedes y_1...y_m.