一种获得有限自动机状态间关系的高效算法.PDF

一种获得有限自动机状态间关系的高效算法 1,3,4 2,3,4 1,4 1,4 乔登科 , 柳厅文 , 孙 永 , 郭 莉 1 (中国科学院 信息工程研究所,北京 100093) 2 (中国科学院 计算技术研究所,北京 100190) 3 (中国科学院 研究生院,北京 100049) 4 (信息内容安全技术国家工程实验室,北京 100190) qiaodengke@ An Ef