Exploring language theory algorithms, nfa, dfa, closures, regular expressions...