×

LALBLC公司

swMATH ID: 9901
软件作者: 帕特里克·亨利;塞尼泽格斯,热罗
描述: LALBLC:测试DPDA等效性的程序。我们描述了LALBLC程序,该程序测试两个确定性下推自动机是否识别同一语言。
主页: http://dept-info.labri.u-bordeaux.fr/~ges/LALBLC/ciaa13.pdf
关键词: 确定性下推自动机;确定性上下文无关文法;等价问题
相关软件: 快速;塔马林;阿克斯;阿普特;亚帕
引用于: 4文件

按年份列出的引文