Weak Bisimulation Finiteness of Pushdown Systems With Deterministic $\epsilon$-Transitions Is 2-ExpTime-Complete

Stefan Göller, Paweł Parys

We consider the problem of deciding whether a given pushdown system all of whose $\epsilon$-transitions are deterministic is weakly bisimulation finite, that is, whether it is w…