有限状态自动机模型  

作　　者：刘威[1] 

机构地区：[1]大连海洋大学

出　　处：《新课程》2015年第27期87-87,共1页

摘　　要：当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计相应的算法对这些数据进行变换处理来获得问题的求解结果。因此,对问题进行建模和形式化表示,然后进行处理是进行计算机求解的基本途径。数理逻辑、自动机理论给出了如何描述一些基本问题以及如何建立问题的抽象表示,并通过对这些抽象化的表示的性质和它的变化方法进行研究。

关 键 词：有限状态自动机 自动机理论 问题表示 变换处理 问题求解 求解结果 有穷 形式化表示 状态机 终止状态 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]