Automaton.complement() fixed - pridane odpadove stavy do determinizacie