tbfo Implementation of Formal Language & Automata Theory Current feature: Deterministic Finite Automata (DFA) implementation