Nominal_Myhill_Nerode.Nominal_Myhill_Nerode