complement mit RealFinalState.
Merge remote-tracking branch 'origin/masterFTJ' into masterFTJ

Conflicts:
	nfaAndDfa/src/automata/Automaton.java