| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
  |
|
| | 化妆品 | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 科学技术 -> 自动化与计算机信息技术 -> 计算机培训教材 -> |
|
| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
|
|
| | 化妆品 | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 科学技术 -> 自动化与计算机信息技术 -> 计算机培训教材 -> |
|
[数码照片·略有模糊]  
|  详情
| |||||||||||||||
|
小分类导航
|
介绍 " 形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外，对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。
全书共分8章：第1章介绍语言及其表示；第2章介绍正规表达式、正规文法与有限自动机；第3章介绍上下文无关文法与下推自动机；第4章介绍图灵机；第5章介绍乔姆斯基文法体系；第6章介绍语言的运算与封闭性质；第7章介绍判定问题与不可判定性；第8章介绍确定的上下文无关语言和LR-文法。" |
全新检索 |
||||||||||||||||||||||||||||||||||||||||||||
