Formal Definition Of Regular Language In Automata