correct wirth and automata