Nonterminals, homomorphisms and codings in different variations of OL-systems
- 22 Downloads
The use of nonterminals versus the use of homomorphisms of different kinds in the basic types of deterministic OL-systems is studied. A rather surprising result is that in some cases the use of nonterminals produces a comparatively low generative capacity, whereas in some other cases the use of nonterminals gives a very high generative capacity. General results are obtained concerning the use of erasing productions versus the use of erasing homomorphisms. The paper contains a systematic classification of the effect of nonterminals, codings, weak codings, nonerasing homomorphisms and homomorphisms for all basic types of deterministic OL-languages, including table languages.
KeywordsInformation System Operating System Data Structure Communication Network Systematic Classification
Unable to display preview. Download preview PDF.
- 1.Čulik, K. II, Opatrny, J.: Literal homomorphisms of OL-languages. University of Waterloo, Research Report CS-73-25, 1973Google Scholar
- 2.Ehrenfeucht, A., Rozenberg, G.: The equality of EOL-languages and codings of OL-languages. To appear in: International J. Computer MathematicsGoogle Scholar
- 3.Ehrenfeucht, A., Rozenberg, G.: Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems. Acta Informatica 3, 265–283 (1974)Google Scholar
- 4.Herman, G., Rozenberg, G.: Developmental Systems and Languages. Amsterdam: North-Holland (to appear)Google Scholar
- 5.Lindenmayer, A., Rozenberg, G.: Developmental systems with locally catenative formulas. Acta Informatica 2, 214–248 (1973)Google Scholar
- 6.Nielsen, M.: The decidability of some equivalence problems for DOL-systems. Information and Control 25, 166–193 (1974)Google Scholar
- 7.Paz, A., Salomaa, A.: Integral sequential word functions and growth equivalence of Lindenmayer systems. Information and Control 23, 313–343 (1973)Google Scholar
- 8.Salomaa, A.: Formal languages. London-New York: Academic Press 1973Google Scholar