Automata Language and Computation