Formal Language In Automata