Onω-Languages whose syntactic monoid is trivial

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.

[1]  David E. Muller,et al.  Infinite sequences and finite machines , 1963, SWCT.

[2]  George A. Miller,et al.  Finite State Languages , 1958, Inf. Control..

[3]  Ludwig Staiger,et al.  Finite-State omega-Languages , 1983, J. Comput. Syst. Sci..

[4]  Robert McNaughton,et al.  Testing and Generating Infinite Sequences by a Finite Automaton , 1966, Inf. Control..

[5]  Helmut Jürgensen,et al.  Disjunctive omega-Languages , 1983, J. Inf. Process. Cybern..