uz sa dokaze vytvorit nezavisla instancia toho isteho automatu