Talk:Parity automaton