Categories: Computational models
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.