LALBLC: a program testing the equivalence of DPDA’s. We describe the program LALBLC which tests whether two deterministic pushdown automata recognize the same language.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Jančar, Petr: Equivalences of pushdown systems are hard (2014)
- Henry, Patrick; Sénizergues, Géraud: LALBLC: a program testing the equivalence of dpda’s (2013)