摘要：检测无用的转换的算法：向前过程中构建一个有限自动机，以捕捉推动自动机运行过程中可能出现的堆栈内容，并确定可达的转换；然后在向后过程中使用该自动机，确定哪些转换可以导致最终状态的达成
作者：Wan Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
论文ID：1306.1947
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-06-11
PDF 下载： 英文版 中文版pdf翻译中