|
题名:
|
形式语言与自动机导论 xing shi yu yan yu zi dong ji dao lun / (美)[林兹]Peter Linz著 , 孙家骕译 |
|
ISBN:
|
7-111-16788-0 价格： CNY36.00 |
|
语种:
|
chi |
|
载体形态:
|
10,289页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2005 |
|
内容提要:
|
本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语文及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。 |
|
主题词:
|
形式语言 |
|
主题词:
|
自动机理论 |
|
中图分类法:
|
TP301 版次： 4 |
|
主要责任者:
|
林兹 lin zi 著 |
|
次要责任者:
|
孙家骕 sun jia su 译 |
|
附注:
|
译自：An introduction to formal languages and automata |
|
责任者附注:
|
Peter Linz，加利福尼亚大学戴维斯分校计算机科学系的荣誉教授，研究重点是：开发数值分析理论，以构建可靠的数值方法并将其用于科学计算中的问题求解环境的设计。 |
|
责任者附注:
|
孙家骕，北京大学软件学院教学指导委员会委员。北京大学信息科学技术学院计算机系教授、博士生导师。 |
|
索书号:
|
TP301/4970 |