Rabin automaton

1. REDIRECT Ω-automaton#Rabin automaton

{{Redirect category shell|1=

{{R to anchor}}

}}