Done a implementation of AutomatonConverter