Create automaton.lua