发表于2024-11-14
形式语言与自动机理论 2024 pdf epub mobi 电子书
图书标签: 形式语言 计算机 离散数学 形式语言与自动机 nobutdunbuy
形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外,对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。
全书共分8章:第1章介绍语言及其表示;第2章介绍正规表达式、正规文法与有限自动机;第3章介绍上下文无关文法与下推自动机;第4章介绍图灵机;第5章介绍乔姆斯基文法体系;第6章介绍语言的运算与封闭性质;第7章介绍判定问题与不可判定性;第8章介绍确定的上下文无关语言和LR-文法。
形式语言与自动机理论 2024 pdf epub mobi 电子书