Update Automaton.lua

Header added.