zrychlena determinizacia - stavy sa uz ukladaju ako cisla, ne ako mnoziny