Finally fixed extraneous state. Added blank constructor for NFA.