scala-automata

Models of finite automata, and various extensions of the basic idea.