自动机理论gydF4y2Ba
自动机理论gydF4y2Ba
快速的事实gydF4y2Ba
媒体gydF4y2Ba
更多的gydF4y2Ba

自动机分类gydF4y2Ba

所有gydF4y2Ba自动机gydF4y2Ba指从这一点上可以理解为是图灵机分类数量,长度,和运动的磁带和读写操作的使用。这个词gydF4y2Ba离散状态自动机有时被用来强调内部状态的离散性质。主要的类gydF4y2Ba传感器gydF4y2Ba和gydF4y2Ba受体。在自动机理论中,传感器是一个与输入和输出自动机;任何gydF4y2Ba图灵机gydF4y2Ba计算部分gydF4y2Ba递归函数gydF4y2Ba如前所述,可以站为例。一个受体是一个自动机没有输出,在一个特殊的意义上,承认或接受单词字母的机器上。受体的输入通常是写在磁带,磁带是空白的计算,和接受输入的单词是由一个特殊的状态称为最终状态。因此,一个字gydF4y2BaxgydF4y2Ba从一个字母或符号序列gydF4y2Ba表示gydF4y2Ba通过这封信gydF4y2Ba年代gydF4y2Ba,据说是被一个受体gydF4y2Ba一个gydF4y2Ba如果gydF4y2Ba一个gydF4y2Ba计算,从一个初始状态开始gydF4y2Ba问gydF4y2Ba0gydF4y2Ba与gydF4y2BaxgydF4y2Ba在磁带上,停止与磁带被完全空白的最终状态。指定的一个子集gydF4y2BaUgydF4y2Ba的gydF4y2Ba集gydF4y2Ba的单词gydF4y2Ba年代gydF4y2Ba*一个字母gydF4y2Ba年代gydF4y2Ba就是如果有一个自动机一组接受gydF4y2Ba一个gydF4y2Ba接受任何单词gydF4y2BaxgydF4y2Ba∊gydF4y2BaUgydF4y2Ba。gydF4y2Ba

受体gydF4y2Ba

自动机理论的基本结果是每个递归可枚举集,或部分递归函数的范围一般是一组接受。受体是双向无界带自动机。gydF4y2Ba

引入了一个有用的分类受体结合的理论gydF4y2Ba生成语法gydF4y2Ba开发的gydF4y2Ba美国gydF4y2Ba由一个语言学家,gydF4y2Ba诺姆·乔姆斯基gydF4y2Ba。一个gydF4y2Ba生成语法gydF4y2Ba是一个系统的gydF4y2Ba分析gydF4y2Ba通常与gydF4y2Ba语言学gydF4y2Ba。由其意味着一种语言可以被视为一组规则,人数有限,可以产生的句子。生成语法的使用,gydF4y2Ba上下文gydF4y2Ba语言学或自动机理论,是生成和标定的全部语言的语法结构,面向自然或自动机。一个简单的英语语法的片段,由12(见规则gydF4y2Ba7gydF4y2Ba),可以推出的主要思想。gydF4y2Ba

在这个简单的语法,每个规则的形式gydF4y2BaggydF4y2Ba→gydF4y2BaggydF4y2Ba′(阅读,”gydF4y2BaggydF4y2Ba′取代gydF4y2BaggydF4y2Ba”),这意味着gydF4y2BaggydF4y2Ba′可能重写gydF4y2BaggydF4y2Ba在字符串的符号。的gydF4y2Ba象征gydF4y2Ba年代gydF4y2Ba出现规则可能被理解为代表的语法范畴”的句子,“gydF4y2Ba公关gydF4y2Ba“代词”gydF4y2Ba副总裁gydF4y2Ba“动词词组”,gydF4y2BaNPgydF4y2Ba“名词短语”,等等。符号用系带(gydF4y2Ba- - - - - -gydF4y2Ba)gydF4y2Ba构成gydF4y2Ba一组gydF4y2BaVgydF4y2BaNgydF4y2Ba的非终结符号。她英语表达”,“等等,发生在规则构成一组gydF4y2BaVgydF4y2BaTgydF4y2Ba终端的符号。gydF4y2Ba年代gydF4y2Ba是初始的象征。gydF4y2Ba

开始gydF4y2Ba年代gydF4y2Ba,英语的句子可能衍生的应用规则。推导始于gydF4y2Ba年代gydF4y2Ba;第一个规则允许gydF4y2Ba公关gydF4y2Ba副总裁gydF4y2Ba被重写为gydF4y2Ba年代gydF4y2Ba收益率,gydF4y2Ba公关gydF4y2Ba副总裁gydF4y2Ba;第四个规则允许gydF4y2BaVgydF4y2BaNPgydF4y2Ba被重写为gydF4y2Ba副总裁gydF4y2Ba收益率,gydF4y2Ba公关gydF4y2BaVgydF4y2BaNPgydF4y2Ba;等等(见gydF4y2Ba8gydF4y2Ba)。最后一步收益率终端字符串或句子;它完全由终端词汇表的元素gydF4y2BaVgydF4y2BaTgydF4y2Ba。没有一个规则适用于;所以不可能的进一步措施。gydF4y2Ba

语法生成的组句子因此被称为语言。除了微不足道的示例中,语法生成可数的gydF4y2Ba无限gydF4y2Ba语言。gydF4y2Ba

递归地gydF4y2Ba可列举的语法和图灵受体gydF4y2Ba

如上所述,自动机理论的基本结果是每个递归可枚举集gydF4y2Ba构成gydF4y2Ba一组接受。一般来说,受体是双向无界带自动机。另一方面,语法规则组成gydF4y2BaggydF4y2Ba→gydF4y2BaggydF4y2Ba′,gydF4y2BaggydF4y2Ba和gydF4y2BaggydF4y2Ba′是任意的(gydF4y2BaVgydF4y2BaTgydF4y2Ba∪gydF4y2BaVgydF4y2BaNgydF4y2Ba)*,是一个无限制的重写系统,任何递归可枚举的组词gydF4y2Ba也就是说,gydF4y2Ba语言生成的礼物却让一些这样的系统。这些非常通用语法从而对应双向受体,称为图灵受体,接受的递归可枚举集。gydF4y2Ba

有限状态文法和有限状态受体gydF4y2Ba

移动带只剩下受体,阅读符号,符号和擦除,是最简单的,有限状态受体。这些自动机有完全相同的gydF4y2Ba能力gydF4y2Ba作为gydF4y2Ba麦卡洛克gydF4y2Ba- - - - - -gydF4y2Ba皮特gydF4y2Ba自动机和接受集称为正则集。中相应的语法分类讨论有限状态文法。在这些系统中规则gydF4y2BaggydF4y2Ba→gydF4y2BaggydF4y2Ba′这是受到限制的gydF4y2BaggydF4y2Ba是一个非终结符gydF4y2BavgydF4y2Ba的gydF4y2BaVgydF4y2BaNgydF4y2Ba(如上例所示)gydF4y2BaggydF4y2Ba′的形式gydF4y2BaugydF4y2Ba年代gydF4y2Ba,gydF4y2BaugydF4y2Ba∊gydF4y2BaVgydF4y2BaNgydF4y2Ba和gydF4y2Ba年代gydF4y2Ba∊gydF4y2BaVgydF4y2BaTgydF4y2Ba。有限状态文法生成的语言,由于这个信件,被称为正则语言。gydF4y2Ba

虽然这些简单的语法和受体的一些兴趣gydF4y2Ba信息理论gydF4y2Ba而在gydF4y2Ba神经网络gydF4y2Ba造型,他们不是叙述地适合英语或算法等标准的计算机语言,因为他们不能解释短语结构。特别是有限状态文法不能产生self-embedded句子,如“人狗咬跑了”,他们生产的句子也不能与几个读数,如“她是一个漂亮的小女孩。”gydF4y2Ba