Nondeterministic_Finite_State_Machine