Giters

tympanix / ppdr

(P)rovenance-preserving (P)olicy (D)ata (R)epository

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Minimise NBA

MarcStorm opened this issue · comments

commented

Minimise the size of the NBA, i.e. the minimised NBA should be equivalent to the original one but contains less states. This could be done by looking for existing algorithms for doing so.

The advantage of minimising the NBA is that it directly reduces the size of the product automaton, as the size of the product is quadratic in the size of the NBA and transition system.