最新形式语言自动机——图灵机二PPT课件.ppt
《最新形式语言自动机——图灵机二PPT课件.ppt》由会员分享,可在线阅读,更多相关《最新形式语言自动机——图灵机二PPT课件.ppt(11页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、形式语言自动机形式语言自动机图灵图灵机二机二具有双向无限带的图灵机具有双向无限带的图灵机带头(带头(tape head)带带(tape)单元格单元格(cell)空白(空白(blank)带符)带符带符(带符(tape symbol)2School of Computer Science&Technology,BUPT以多带图灵机模拟普通计算机以多带图灵机模拟普通计算机 可以用多带图灵机模拟典型的存储程序式计算机,参可以用多带图灵机模拟典型的存储程序式计算机,参 见以下示意图见以下示意图.必要时,可增加更多的带必要时,可增加更多的带.9School of Computer Science&Tech
2、nology,BUPT图灵机的本质特征图灵机的本质特征 图灵机的本质特征:图灵机的本质特征:可以无限制的访问无限的存储器。可以无限制的访问无限的存储器。这一特征将它和有限自动机,下推自动机等某些较弱这一特征将它和有限自动机,下推自动机等某些较弱的模型区别开来。的模型区别开来。已经证明:所有有此特点的模型在能力上都是等价的,已经证明:所有有此特点的模型在能力上都是等价的,只要它们满足一些合理的必要条件即可(如只要它们满足一些合理的必要条件即可(如“在一步中只能在一步中只能执行有限的工作量执行有限的工作量”)语言中的例子:语言中的例子:LISPPASCAL 描述了相同语法类。描述了相同语法类。10School of Computer Science&Technology,BUPT
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 最新 形式语言 自动机 图灵机 PPT 课件
限制150内