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.