资源大小: 1.94MB
发布时间: 2011-10-18
文件格式: zip
下载次数: 1
分享到:

下载地址:

下载地址1
(本站为飞网专业下载站,域名:down.cfei.net)

资源简介:

一. 本课的性质以及研究的内容任何一门学科都有它的基础和它的基本问题,如物质的本质是什么?有机体生命的基础和起源是什么?什么是计算机科学的基础?什么是计算机科学的基本问题? 诸如什么是形式语言?什么是计算?什么是能计算的?什么是不能计算的?什么是算法?如何评价算法?什么样的算法是可行的?这些问题能否判定?这又引出什么是可判定的?什么是不可判定的?这些问题就是计算理论要讨论的问题。1.1 形式语言基本概念( 1 )1.2 文法概念( )1.3文法的分类( )2.1确定的有限自动机( 1 )2.2 不确定的有限自动( )2.3 具有ε转移的NFA( )2.4 正规表达式及其与有限自动机之间的等价性( 1 )2.5 有限自动机的简化(1)2.6 正规集对运算的封闭性(1 )2.7 正规文法与有限自动机之间的等价性( 2 )2.8 正规集的判定问题( 1 )3.1 上下文无关文法的派生树(推导树) ( 1 )3.2 上下文无关文法的简化( 2 )3.3 上下文无关文法的Chomsky范式( 1 )3.4 CFG 的Greibach范式(GNF) (


飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。