Automaton from Shpilkes#0 1, 2