Abstract
For a languageL the syntactic monoid SynL is trivial if and only if indeedL itself is trivial, that isL = Ø orL=X*. As a surprise one realizes that the syntactic monoid SynL of an ω-languageL being trivial by no means implies thatL be trivial. This situation is analyzed in this paper. The results may help clarify the difference between deterministically and nondeterministically finite state acceptable ω-languages.
Similar content being viewed by others
References
H. Jürgensen, H. J. Shyr, and G. Thierrin, Disjunctive ω-languages,EIK 19:267–278 (1983).
H. Jürgensen, H. J. Shyr, and G. Thierrin, Properties of the ω-languages in relation with some of their associated equivalence, Report TI 7/80, Institut für Theoretische Informatik, Technische Hochschule Darmstadt (1980).
R. Lindner and L. Staiger,Algebraische Codierungstheorie, Akademie-Verlag, Berlin (1977).
R. McNaughton, Testing and generating infinite sequences by a finite automaton,Information and Control 9:521–530 (1966).
D. E. Muller, Infinite sequences and finite machines, inAIEE Proc. 4th Annual Sympos. on Switching Circuit Theory and Logical Design, pp. 3–16 (1963).
L. Staiger, Finite state ω-languages. Forschungsergebnisse N/81/65, Friedrich-Schiller-Universität, Jena (1981);J. Comp. Syst. Sci. (to appear).
Author information
Authors and Affiliations
Additional information
This research was supported in part by Grant A7877 of the Natural Sciences and Engineering Research Council of Canada and partly also by Deutsche Forschungsgemeinschaft.
Rights and permissions
About this article
Cite this article
Jürgensen, H., Thierrin, G. Onω-Languages whose syntactic monoid is trivial. International Journal of Computer and Information Sciences 12, 359–365 (1983). https://doi.org/10.1007/BF01008047
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01008047