|
题名:
|
形式语言与自动机导论 / (美) 彼得·林茨, 苏珊·H.罗杰著 , 王春宇, 袁永峰译 |
|
ISBN:
|
978-7-111-76752-7 价格： CNY129.00 |
|
语种:
|
chi |
|
载体形态:
|
477页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2025 |
|
内容提要:
|
本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。 |
|
主题词:
|
形式语言 |
|
主题词:
|
自动机理论 |
|
中图分类法:
|
TP301.2 版次： 5 |
|
中图分类法:
|
TP301.1 版次： 5 |
|
主要责任者:
|
林茨 著 |
|
主要责任者:
|
罗杰 著 |
|
次要责任者:
|
王春宇 译 |
|
次要责任者:
|
袁永峰 译 |