Update State.js

added function addNFATransition which adds a transition to the state whether a transition for the current character exists or not.