Formal Definition Of Regular Language In Theory