Talk:Rabin automaton

Informal definition
Please don't remove the redundant informal definition - it is much more useful to people like me who have trouble with Greek letters and long formulae. I wish all mathematical definitions had English translations.

Saber Cherry 18:19, 3 May 2007 (UTC)