基于FSA的模型检测算法研究.pdfVIP

第29卷第5期 贵州大学学报(自然科学版) V01．29No·5 ofGuizhou Sciences) Oct．2012 2012年10月 Journal University(Natural 文章编号1000—5269(2012)05—0058—05 基于FSA的模型检测算法研究 王扣武h，张琚铭2，龙士工1，董方1 (1．贵州大学计算机科学与信息学院，贵州贵阳550025；2．贵州大学理学院。贵州贵阳550025) 摘要：自动机就是描述系统行为的模型，通过它可以检测出系统实I乐-Y-作时发生的状态，经过 反复测试，诊断，以达到理想的模型。在基于自动机的模型检测中，前提是需要把非确定性FSA 转化为确定性FSA，本文给出了非确定性自动机转换为确定性自动机的算法，最后分析该算法。 关键词：有限状态自动机；语言；字；模型检测 中图分类号：TP309文献标识码：A 在计算机系统中，状态描述了系统中某些特定