def __init__(self, nfa):
# stores a map of states-key -> state while we build the DFA
known_states = {}
initial = self.__processNFAState([nfa.initial], known_states)
StateMachine.__init__(self, initial, known_states.values())
def __init__(self, initial, states=[]): StateMachine.__init__(self, initial, states)
