Recursive Definition Of Language In Automata