Abstract
This paper places the work of H. Walter on classification of grammars and languages via topology in a more general framework and provides short proofs of his main results. Also, it is proved that every grammar is topologically equivalent to one in normal form, that the discrete topology can be realized on every context-free language, and that a language is finite if and only if every topology on it can be realized as one of the topologies proposed by Walter. In addition, a new and straightforward approach is provided to yield the necessary background results, on divisibility and cancellation in categories of derivations, due to D. Benson and G. Hotz.
Similar content being viewed by others
References
D. B. Benson, The basic algebraic structure in categories of derivations.Inf. and Control 28, 1–29 (1975).
G. Birkhoff,Lattice Theory. AMS, Providence R.I. 1968.
T. V. Griffiths, Some remarks on derivations in general rewriting systems.Inf. and Control 12, 27–54 (1968).
G. Hotz, Eindeutigkeit und Mehrdeutigkeit formaler Sprachen.E.I.K. 2, 235–246 (1966).
S. MacLane,Categories for the Working Mathematician. Springer, 1971.
H. Walter, Topologies on Formal Languages.Math. Systems Theory 9, 142–158 (1975).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nelson, E. Categorical and topological aspects of formal languages. Math. Systems Theory 13, 255–273 (1979). https://doi.org/10.1007/BF01744299
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01744299