Initial draft of AutomatonConverter