Henry, Patrick; Sénizergues, Géraud LALBLC: a program testing the equivalence of dpda’s. (English) Zbl 1298.68139 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 169-180 (2013). Summary: We describe the program LALBLC which tests whether two deterministic pushdown automata recognize the same language.For the entire collection see [Zbl 1268.68026]. Cited in 4 Documents MSC: 68Q45 Formal languages and automata Keywords:deterministic pushdown automata; deterministic context-free grammars; equivalence problem Software:LALBLC PDFBibTeX XMLCite \textit{P. Henry} and \textit{G. Sénizergues}, Lect. Notes Comput. Sci. 7982, 169--180 (2013; Zbl 1298.68139) Full Text: DOI