opravena determinizacia, pridane generovanie matic, podmnozin