机读格式显示(MARC)

• 000 01297nam0 2200313 450

• 001 0000659983

• 005 20171211113100.0

• 010 __ |a 978-7-5635-4997-9 |d CNY29.00

• 100 __ |a 20170228d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 形式语言与自动机 |A xing shi yu yan yu zi dong ji |f 杨娟, 石川, 王柏主编

• 205 __ |a 第2版

• 210 __ |a 北京 |c 北京邮电大学出版社 |d 2017

• 215 __ |a 210页 |c 图 |d 26cm

• 320 __ |a 有书目 (第210页)

• 330 __ |a 本书扼要地介绍了形式语言与自动机的基本体系, 是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性, 包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。本教材不追求过多形式化讨论, 强调基本概念的直观背景和主要定理证明的思路分析, 书中配有较多的例题和习题。

• 333 __ |a 普通高等教育“十二五”规划教材

• 606 0_ |a 形式语言 |A xing shi yu yan |x 高等教育 |j 教材

• 606 0_ |a 自动机理论 |A zi dong ji li lun |x 高等教育 |j 教材

• 690 __ |a TP301.2 |v 5

• 701 _0 |a 杨娟 |A yang juan |4 主编

• 701 _0 |a 石川 |A shi chuan |4 主编

• 701 _0 |a 王柏 |A wang bai |4 主编

• 801 _0 |a CN |b HDUL |c 20171211

• 905 __ |a HDUL |d TP301.2/440

• 920 __ |a 233030 |z 1