LALBLC公司 swMATH ID: 9901 软件作者: 帕特里克·亨利;塞尼泽格斯,热罗 描述: LALBLC:测试DPDA等效性的程序。我们描述了LALBLC程序,该程序测试两个确定性下推自动机是否识别同一语言。 主页: http://dept-info.labri.u-bordeaux.fr/~ges/LALBLC/ciaa13.pdf 关键词: 确定性下推自动机;确定性上下文无关文法;等价问题 相关软件: 快速;塔马林;阿克斯;阿普特;亚帕 引用于: 4文件 全部的 前5名7位作者引用 2 斯特凡尼德劳恩 1 雷米·克雷蒂安 1 维罗尼克·科尔蒂尔 1 帕特里克·亨利 1 卢卡·赫斯基 1 彼得·扬查尔 1 塞尼泽格斯,热罗 2篇连载文章中引用 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 4 计算机科学(68至XX) 2 信息与通信理论、电路(94-XX) 按年份列出的引文