predpodladam ze jako parsovaci algoritmus pouzivate CYK, kdyz zminujes slozitost n**3. Tam ten problem s disjunkci porad nevidim.
Jediny co me napada je ze kombinace konjunkce a disjunkce by mohla zpusobit exponencialni rust neterminalu pri prevodu do chomskeho normalni formy. Je tohle to co myslis?
