US8943006B2 - Automaton Determinization Method, Device, and Computer Program Product That Involves a Plurality of States and Deleting States That Are Next States to First Transitions