Abstract
The bracket operation, [A, B]={a b ã' : (a, a') ε A, b ε B} is used jointly with product and union to define ultralinear languages. General properties of this operation and of the operator on families of languages associated with it are given. A decomposition of the family of ultralinear languages into a semilattice of principal semiAFLs is obtained by these means.
Preview
Unable to display preview. Download preview PDF.
References
R.B. BANERJI, Phrase structure language, finite machines and channel capacity, Information and Control 16, (1963), 153–162.
L. BOASSON, J.P. CRESTIN, M. NIVAT, Familles de langages translatables et fermées par crochet, Acta Informatica 2 (1973), 383–393.
L. BOASSON, M. NIVAT, Sur diverses familles de langages fermées par transduction rationnelle, Acta Informatica 2 (1973), 180–188.
N. CHOMSKY, M.P. SCHUTZENBERGER, The algebraic theory of context-free languages, in Computer Programming and Formal System, Ed. P. Braffort, D. Hirschberg, North-Holland, Amsterdam (1967), 118–161.
A.B. CREMERS, S. GINSBURG, Context-free grammar forms, in Automata, Languages and Programming, Ed. J. Loeckx, Springer Verlag, Berlin (1974), 364–382.
S. GINSBURG, E.H. SPANIER, Finite-turn pushdown automata, SIAM J. Control 4 (1966), 429–453
S. GREIBACH, Syntactic operators on full semiAFLs, J. Comput. System Sciences 6 (1972), 30–76
M. NIVAT, Transduction des langages de Chomsky, Annales de l'Institut Fourier 18 (1968), 339–456.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Crestin, J.P. (1975). Ultralinear expressions. In: Blikle, A. (eds) Mathematical Foundations of Computer Science. MFCS 1974. Lecture Notes in Computer Science, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07162-8_682
Download citation
DOI: https://doi.org/10.1007/3-540-07162-8_682
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07162-4
Online ISBN: 978-3-540-37492-3
eBook Packages: Springer Book Archive