Augmenting Automaton