Graph/Automata Domain

[nsmryan]

It would be cool to have an "evaluation domain" (a built-in problem domain that RGEP can solve) for graphs and/or finite state machines.

This could end up like Haskell alga, the graph algebra library, or might take another direction. In the paper describing algebraic graphs there is a note at the end about state machines as maps from symbols to graphs that might help.