NFA

constructor(states: Set<State> = setOf())