Formal Languages and Automata Theory Some implementations of Formal Languages and Automata theory algorithms to help teaching the subject.