Formal Definition Of Regular Language Properties