贵州大学学报(自然科学版)
貴州大學學報(自然科學版)
귀주대학학보(자연과학판)
JOURNAL OF GUIZHOU UNIVERSITY(NATURAL SCIENCE)
2012年
5期
58-62
,共5页
王扣武%张珺铭%龙士工%董方
王釦武%張珺銘%龍士工%董方
왕구무%장군명%룡사공%동방
有限状态自动机%语言%字%模型检测
有限狀態自動機%語言%字%模型檢測
유한상태자동궤%어언%자%모형검측
自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型.在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法.
自動機就是描述繫統行為的模型,通過它可以檢測齣繫統實際工作時髮生的狀態,經過反複測試,診斷,以達到理想的模型.在基于自動機的模型檢測中,前提是需要把非確定性FSA轉化為確定性FSA,本文給齣瞭非確定性自動機轉換為確定性自動機的算法,最後分析該算法.
자동궤취시묘술계통행위적모형,통과타가이검측출계통실제공작시발생적상태,경과반복측시,진단,이체도이상적모형.재기우자동궤적모형검측중,전제시수요파비학정성FSA전화위학정성FSA,본문급출료비학정성자동궤전환위학정성자동궤적산법,최후분석해산법.