Added toAutomaton to Experimental