其他分享
首页 > 其他分享> > [Computation]有穷自动机

[Computation]有穷自动机

作者:互联网

 有穷自动机


 

    *太简单辽,可以跳过*
    有穷自动机:受到严格限制的实际计算机的模型
     字符串被送入称作输入带的设备,带被划分成方格,每个方格写一个符号。机器的主要部分是一个带有内部结构的“黑盒子”(有穷控制器),在任一特定的时刻它处于有穷个不同的内部状态中的一个,通过可移动的读头能够了解输入带的任何位置上写着什么符号。开始时候,读头放在带的最左边的方格上,有穷控制器处于一个指定的初始状态。每隔一定时间有穷自动机从输入带上读一个符号,然后进入一个新的状态,与当前状态和刚读到的符号有关(确定型有穷自动机。)读一个符号后,读头在输入带上向右移一格,即下一步将读到的符号。最后读到输入串的结尾。有穷自动机通过它最后所处的状态表明批准与否,接受即结束在一个终结状态。
     
     确定型有穷自动机
     非确定型有穷自动机:多个“下一个状态”
     
     
     有穷自动机与正则表达式:并、连接、Kleene、补、交
     (正则语言封闭)
     
     状态最小化

有穷自动机的算法:

   字符串匹配

标签:状态,读头,符号,有穷,Computation,自动机,输入
来源: https://www.cnblogs.com/HuisClos/p/10355776.html