10.3969/j.issn.1002-137X.2006.03.074
下推自动机的状态转换图与下推自动机的化简
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示--PAD状态转换图,证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简.
状态转换图、标准下推自动机、化简、行为等价、状态等价
33
TP3(计算技术、计算机技术)
2006-04-25(万方平台首次上网日期,不代表论文的发表时间)
共4页
271-274