MERZAK-X / DFA-Analyser

Deterministic Finite-State Automaton Analyser is a program that determins whether a string is accepted by a given DFSA.