Generate the automachine