The adherences of languages as topological spaces
The problem of characterizing the topological spaces that arise as adherences of languages of specified types is raised and pertinent concepts of general topology are reviewed. It is observed that the spaces that arise as adherences of arbitrary languages may be characterized as either: (1) the closed subsets of the Cantor ternary set; (2) the zero-dimensional compact metrizable spaces; or (3) the Stone spaces of the countable Boolean algebras. R.S.Pierce's concept of a space of finite type is reviewed and his theorem characterizing the zero-dimensional compact metric spaces of finite type by means of an associated finite structural invariant is reviewed. It is shown that a topological space is homeomorphic with the adherence of a regular language if and only if it is zero-dimensional compact metrizable and of finite type. The structural invariant of the adherence of a regular language is algorithmically constructiole from any automaton recognizing the language. Comparing these invariants provides a procedure for deciding homeomorphism of adherences for regular languages.
KeywordsTopological Space Closed Subset Finite Type Regular Language Cardinal Number
Unable to display preview. Download preview PDF.
- 1.L. Boasson and M. Nivat, Adherences of Languages, Journal of Computer and System Sciences, 20 (1980) 285–309.Google Scholar
- 2.P.R. Halmos, Lectures on Boolean Algebras, D. Van Nostrand, Princeton, New Jersey, U.S.A., 1963.Google Scholar
- 3.T.Head, The Topological Structure of Adherences of Regular Languages, R.A.I.R.O., Informatique Theorique, (submitted).Google Scholar
- 4.J.G. Hocking and G.S. Young, Topology, Addison-Wesley, Reading, Mass., U.S.A., 1961.Google Scholar
- 5.P.J. Johnstone, Stone Spaces, Cambridge Univ. Press, Cambridge, England, 1982.Google Scholar
- 6.R. McNaughton and S. Papert,Counter-Free Automata, M.I.T. Press, Cambridge, Mass., U.S.A., 1971.Google Scholar
- 7.R.S. Pierce, Existence and Uniqueness Theorems for Extensions of Zero-dimensional Metric Spaces, Transactions of the Amer. Math. Soc., 148 (1970) 1–21.Google Scholar
- 8.R.S.Pierce, Compact zero-dimensional metric spaces of finite type, Memoirs of the American Mathematical Society, No.130, Providence, Rhode Island, U.S.A., 1972.Google Scholar
- 9.R.S.Pierce, Countable Boolean Algebras, to appear in: D.Monk and S.Koppelberg, Eds., Handbook of Boolean Algebra, North Holland Pub. Co., Amsterdam, (to appear).Google Scholar
- 10.S. Willard, General Topology, Addison-Wesley, Reading, Mass., U.S.A., 1970.Google Scholar