What Is Formal Language In Automata