Semigroups and Automata on Infinite Words
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORYInternational Journal of Algebra and Computation, 1991
- Languages and scannersTheoretical Computer Science, 1991
- Saturating right congruencesRAIRO - Theoretical Informatics and Applications, 1990
- Factors of wordsPublished by Springer Nature ,1989
- On a natural extension of Jacob's ranksJournal of Combinatorial Theory, Series A, 1986
- A syntactic congruence for rational ω-languagesTheoretical Computer Science, 1985
- Application of model theoretic games to discrete linear orders and finite automataInformation and Control, 1977
- Decision problems forω-automataTheory of Computing Systems, 1969
- Definability in the monadic second-order theory of successorThe Journal of Symbolic Logic, 1969
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960