Skip to content

Modified Polach's algorithm

Filip Dilmaghanirequested to merge
dilmafil/alt-bachelor-thesis-fork:BP-dilmafil-only-rte-to-npda into master

This merge request contains the addition of modified Polach's conversion from RTE to NPDA using incremental construction.

Merge request reports