automata
regular expression
alphabet