Enhancement: Mostly structuring for representating an automaton