Version 0 of finite automaton