第八部分形式语言与自动机课件.ppt
《第八部分形式语言与自动机课件.ppt》由会员分享,可在线阅读,更多相关《第八部分形式语言与自动机课件.ppt(56页珍藏版)》请在三一办公上搜索。
1、第八章 形式语言与自动机,第八章 形式语言与自动机,自动机的概念在1936年首先由图灵(AMTuring)提出,他设计的自动机称为图灵机。,自动机的概念在1936年首先由图灵(AMTuri,以后,丘奇(Church)提出了一个假设:图灵机的计算能力代表着可实现的计算装置的基本范围。,以后,丘奇(Church)提出了一个假设:图灵机的计算能力,可以证明,任何能在电子计算机上实现的计算都能用图灵机进行描述。,可以证明,任何能在电子计算机上实现的计算都能用图灵机进行描述,形式语言大约于 1956年问世,N乔姆斯基(Noam Chomsky)给出一种文法的数学模型。,形式语言大约于 1956年问世,N
2、乔姆斯基(No,到了1959年,乔姆斯基又将文法分为四类,即0型(无限止)文法、1型(上下文有关)文法、2型(上下文无关)文法和3型(正则)文法。,到了1959年,乔姆斯基又将文法分为四类,即0型(无限止)文,现在已可以证明,它们分别和图灵机、不确定的线性界限自动机、不确定的下推自动机和有限自动机等价。,现在已可以证明,它们分别和图灵机、不确定的线性界限自动机、不,随着计算机高级语言的发展,人们发现 ALGOL语言可由上下文无关语言定义。因此,形式语言与编译理论有着密切的联系。,随着计算机高级语言的发展,人们发现 ALGOL语言可由上下文,此外,形式语言作为一个广泛的数学模型,它描述了科学技术
3、和各种工程中的变化过程。,此外,形式语言作为一个广泛的数学模型,它描述了科学技术和各种,从此之后,研究工作相当活跃,形式语言和自动机理论相互渗透,紧密结合,使它成为计算机科学的一个重要分支。,从此之后,研究工作相当活跃,形式语言和自动机理论相互渗透,紧,这些理论在编译程序理论、人工智能、可计算性和时序电路设计等领域中有着广泛的应用。,这些理论在编译程序理论、人工智能、可计算性和时序电路设计等,第八部分形式语言与自动机课件,第八部分形式语言与自动机课件,第八部分形式语言与自动机课件,第八部分形式语言与自动机课件,第八部分形式语言与自动机课件,第八部分形式语言与自动机课件,第八部分形式语言与自动机
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第八 部分 形式语言 自动机 课件
链接地址:https://www.31ppt.com/p-2111136.html