NFA

fun NFA(states: Set<State> = setOf())