reglangrec The deterministic finite automaton (DFA) implemented in this work License Released under the GPLv3 license.