Summary
We prove that it is decidable whether a two-symbol DOS system generates a regular language.
Similar content being viewed by others
References
Ehrenfeucht, A.H., Rozenberg, G.: DOS Systems and Languages. Proc. 7th ICALP, LNCS 85, 134–141 (1980)
Hagauer, J.: A Simple Variable Free Grammar Generating a Nonregular Language. Bull. EATCS 6, 28–33 (1979)
Harrison, M.A.: Introduction to Formal Language Theory. Reading: Addison Wesley 1978
Harju, T., Penttonen, M.: Some Decidability Problems of Sentential Forms. Internat. J. Comput. Math. 7, 95–108 (1979)
Linna, M.: On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars. Proc. 3rd FCT, LNCS 117, 244–249 (1981)
Maurer, H.A., Salomaa, A., Wood, D.: Pure Grammars. Information and Control 44, 47–72 (1980)
Salomaa, A.: On Sentential Forms of Context-Free Grammars. Acta Informat. 2, 40–49 (1973)
Salomaa, A.: Comparative Decision Problems between Sequential and Parallel Rewriting. Proc. Intern. Symp. Uniformly Structured Automata and Logic, Tokyo 1975
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bucher, W. Two-symbol DOS systems generating regular languages. Acta Informatica 20, 133–142 (1983). https://doi.org/10.1007/BF00289411
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00289411