标记系统

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

标记系统

点击查看词条快照

标记系统是 Emil Leon Post 在1943年创立的确定性计算模型，作为一种简单形式的字符串重写系统。标记系统也可以看作抽象机，叫做 Post 标记机（不要混淆于Post-图灵机）——简单的说，其唯一的磁带是无限长度的FIFO队列的有限状态自动机，在每次状态转变中机器读在队列头部的符号，从头部删除固定数目的符号，并可以向尾部增加符号。定义. "标记系统"是三元组 ("m", "A", "P")，这里的术语m-标记系统经常用来强调删除数。定义在文献 [1][2][3][4] 有着不同，上面的定义（来自[4]）可能最适合作为计算模型：对于每个 "m" > 1，"m"-标记系统的集合是图灵完全的。特别是，Rogozhin [4] 建立了 2-标记系统普遍性的类，使用字母表 {"a1", ..., "an", H} 和相应的产品 {"ananW1", ..., "ananWn-1", "anan", H}，这里的 "Wk" 是非空字。注意不像标记系统的某些可替代的定义那样，当前的定义中一个计算的“输出”可以编码在最终的字中。

马太受难曲

九龙工业学校

长野新干线

美国职棒大联盟年度最佳教练奖

美国职棒大联盟年度最佳新人奖

Rolaids大联盟救援投手奖

蓝莓

波森省

日本神社列表

杜威 (足球运动员)

东亚三国的近现代史

南极-艾特肯盆地