Abstract
The types of codes delt with in detail are prefix codes, suffix codes, and two special classes of biprefix codes called infix codes and outfix codes. Conditions are given under which polynomially bounded DOL languages form codes of each of these types.
A concept of homomorphism is defined for DOL systems. It is demonstrated that when E is a homomorphie image of a DOL system D and L(E) is infinite then: If L(E) is a code of any of the types listed above, L(D) is also a code of the same type. A concept of derivative is defined for DOL systems that is related to a special type of homomorphism based on the erasure of finite symbols. Code properties of linearly bounded DOL languages are studied in detail. The results are then extended to apply to polynomially bounded DOL languages through the use of the newly introduced derivative concept.
It is shown that for every polynomially bounded DOL language L, L\{1} is a commutative equivalent of a prefix code. Every DOL language is shown to be the union of (1) a finite set, (2) a finite number of DOL languages each of which has a singleton as alphabet, and (3) a commutative equivalent of a prefix code.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Brzozowski, Open problems about regular languages, in R.V. Book, Ed., Formal Language Theory ( Academic Press, New York, 1980 ).
A. Ehrenfeucht and G. Rozenberg, On the structure of polynomially bounded DOL systems, Report #CU-CS-023–73, Dept. of C.S., Univ. of Colorado, Boulder, Colorado, July 1973.
A. Ehrenfeucht and G. Rozenberg, DOL systems with rank, in G.Rozenberg and A.Salomaa, Eds., L Systems ( Springer-Verlag, New York, 1974 ).
T. Head and G. Thierrin, Polynomially bounded DOL systems yield codes, in L.J. Cummings, Ed.,Combinatorics on Words: Progress and Perspectives ( Academic Press, New York, 1983 )
T. Head and J. Wilkinson, Finite DOL languages and codes, Theoretical Computer Science, 21 (1982) 357–361.
T. Head and J. Wilkinson, Code properties and homomorphisms of DOL systems, Theoretical Computer Science (to appear).
G. Lallement, Semigroups and Combinatorial Applications, ( Wiley, New York, 1979 ).
M. Linna, The decidability of the DOL prefix problem, Intern. J. of Computer Math., 6 (1977) 127–142.
D. Perrin, Ed., Theorie des Codes, (Ecole Nationale Superieure de Techniques Avancees, 1980 ).
G. Rozenberg, A survey of results and open problems in the mathematical theory of L systems, in: R.V.Book, Ed., Formal Language Theory ( Academic Press, New York, 1980 ).
G. Rozenberg and A. Salomaa, The Mathematical Theorx of L Systems, ( Academic Press, New York, 1980 ).
A. Salomaa, Jewels of Formal Language Theory, (Computer Science Press, Rockville, Maryland, 1981 ).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Head, T., Wilkinson, J. (1985). Code Properties and Derivatives of DOL Systems. In: Apostolico, A., Galil, Z. (eds) Combinatorial Algorithms on Words. NATO ASI Series, vol 12. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82456-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-82456-2_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-82458-6
Online ISBN: 978-3-642-82456-2
eBook Packages: Springer Book Archive