Update automaton.lua