NFAlambda -> NFA -> DFA