Under Construction.

Automata is a Mathematica package that manipulates finite state machines. A few operations and syntactic semigroups and one-dimensional cellular automata are also available. Usage examples can be found in the notebooks below.

automata-11.tgz Requires Mathematica 11.0.
Automata-Demo.nb Manipulating finite state machines.
Divisibility testing.
Abelian invertible Mealy automata.
State complexity and determinization.
Elementary cellular automata.