Interactive tools for finite automata and formal languages. Visual implementations of core algorithms in Theory of Computation.