Add some automata-related API methods.

This is now 1.3-SNAPSHOT