LALBLC

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.
Sorted by year (citations)

  1. Jančar, Petr: Equivalences of pushdown systems are hard (2014)
  2. Henry, Patrick; Sénizergues, Géraud: LALBLC: a program testing the equivalence of dpda’s (2013)