当前位置：文献详情>形式语言与自动机导论

形式语言与自动机导论图书

原作名： = An introduction to formal languages and automata

作者：林茨(Linz, Peter) 著

罗杰(Rodger, Susan H.) 著

译者：王春宇译

袁永峰译

出版：机械工业出版社，2025

定价： 129.0

页数： 477页

学科：工学-计算机类

主题：形式语言

ISBN： 978-7-111-76752-7

丛书：计算机科学丛书

内容简介

本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性, 但在形式化证明中又非常注重符合直觉的理解, 避免多余的数学细节。本书分为理论和应用两个部分: 理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容, 应用部分主要介绍编译器和解析、LL解析以及LR解析。

馆藏情况

馆藏号	馆藏地名称	索书号	文献状态
001691854	西校理科（西区图书馆主楼五楼）定位	TP301.2 4444	在馆
001691856	西校理科（西区图书馆主楼五楼）定位	TP301.2 4444	在馆
001691855	西校理科（西区图书馆主楼五楼）定位	TP301.2 4444	在馆

预约情况：当前已有0人预约，还可 1人预约

预约

形式语言与自动机导论 图书

形式语言与自动机导论图书