Shorten some names - remove 'FromNFA' suffixes

All additions/checks are done using NFA state sets,
no need to clutter each method name with it
Remove public DFA.addState

Handle state adding in methods, which actualy need
states to be already existing in DFA.
This simplifies DFA interface a bit.