Keywords: Automaton