机读格式显示(MARC)

• 000 01565nam2 2200361 4500

• 000 0000079385

• 001 0000064347

• 005 20030616164217.0

• 010 __ |a 7-5635-0669-1 |d CNY16.00

• 092 __ |a CN |b 02-631-279

• 100 __ |a 20030612d2003 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 10 |a 形式语言与自动机 |9 Xingshiyuyanyuzidongji |P XSYYYZDJ |f 王柏, 杨娟编著

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

• 215 __ |a 288页 |d 21cm

• 225 2_ |a 21世纪计算机科学与技术系列教材 |A 21Shijijisuanjikexueyujishuxiliejiaocai

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

• 333 __ |a 读者对象：计算机专业的本科生及相关研究人员

• 410 _0 |1 2001 |a 21世纪计算机科学与技术系列教材

• 606 0_ |a 形式语言 |x 高等学校 |x 教材 |A Xingshiyuyan

• 606 0_ |a 自动机理论 |x 高等学校 |x 教材 |A Zidongjililun

• 690 __ |a TP301.1 |v 4

• 701 _0 |a 王柏 |4 编著 |9 Wangbai

• 701 _0 |a 杨娟 |4 编著 |9 Yangjuan

• 801 _3 |a CN |b CDSY |c 20030224

• 801 _2 |a CN |b 261060 |c 20030616

• 905 __ |a XATU |d TP301.1/2

• 991 __012003009450

• 995 __ |a 261060 |f TP301.1/2

• 999 __ |t C |A shxy |a 20030612 09:22:03 |M shxy |m 20030612 09:30:16 |I zw |i 20030616 16:42:17 |G zw |g 20030616 16:42:2