×

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].

MSC:

68Q45 Formal languages and automata

Software:

LALBLC
PDFBibTeX XMLCite
Full Text: DOI