2nd stage - 50%

added working nondeterministic automata without symbol rejection