Adding another note about NFA/DFA