public Array GetFinalStates()
 {
     return(FinalStates.ToArray());
 }