杨娟、石川、王柏主编的《形式语言与自动机(第2版普通高等教育十二五规划教材)》扼要地介绍了形式语言与自动机的基本体系,是学习计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机模型以及形式语言与自动机的等价性,包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时也介绍了形式语言与自动机的主要理论成果和应用实例。本书不追求过多形式化讨论,强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题,可作为工科计算机专业本科生的教材和研究人员的参考书。
"synopsis" may belong to another edition of this title.
Seller: liu xing, Nanjing, JS, China
paperback. Condition: New. Paperback.Pub Date:2017-02-01 Pages:210 Language:Chinese Publisher:Beijing University of Posts and Telecommunications Press Formal Language and Automata (2nd Edition)/General Higher Education Twelfth Five-Year Plan Textbook briefly introduced The basic system of formal language and automata is a textbook and reference book for learning the basics of computer science.?The book mainly introduces the basic concepts of formal languages. automata models. and the equivalence between formal language. Seller Inventory # NS043144