turingMachine (hackage): An implementation of Turing Machine and Automaton for language theory
Keywords: gpl|library|math