Úprava RV - distributivnost - performance killer
Distributivnost ( pravidla x(y+z) -> xy+xz
a (x+y)z -> xz+yz
) se budou muset zakázat, nebo upravovat doleva. Jsou totiž docela performance killer. Například, Thompsonův NFA je pak docela dost velký (zvlášť pokud se předtím převádí na RV pomocí metody rovnic/eliminace) a aepsilon
to chroupe někdy i několik minut/hodin, protože na automatu s 490k stavy to fakt chvilku trvá.