Formal Definition | PDF | Automata Theory | Regular Expression