Rabin automaton
A Rabin automaton is one of the many types of finite automata on infinite strings. For more details refer to the excellent survey by Wolfgang Thomas.
W. Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science (Vol. B), 1991.
Categories: Computational models | Mathematics stubs | Computer stubs