机读格式显示(MARC)

• 000 01303nam 2200313 450

• 001 0000311392

• 005 20081017142400.0

• 010 __ |a 978-7-111-23776-1 |d CNY29.00

• 100 __ |a 20080922d2008 em y0chiy0121 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 |d = Formal languages and automata |f 陈有祺编著 |F Chen You Qi Bian Zhu |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2008

• 215 __ |a 11, 227页 |c 图, 表 |d 26cm

• 225 2_ |a 面向计算机科学与技术专业规范系列教材 |A Mian Xiang Ji Suan Ji Ke Xue Yu Ji Shu Zhuan Ye Gui Fan Xi Lie Jiao Cai

• 314 __ |a 陈有祺，研究领域包括编译理论、人工智能、自然语言理解、形式语言等。

• 320 __ |a 有书目

• 330 __ |a 本书以四类形式语言(短语结构语言、上下文有关语言、上下文无关语言、正则语言)和四种自动机(有穷自动机、下推自动机、图灵机、线性有界自动机)为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。

• 410 _0 |1 2001 |a 面向计算机科学与技术专业规范系列教材

• 510 1_ |a Formal languages and automata |z eng

• 606 0_ |a 形式语言 |A Xing Shi Yu Yan |j 教材

• 606 0_ |a 自动机理论 |A Zi Dong Ji Li Lun |j 教材

• 690 __ |a TP301 |v 4

• 701 _0 |a 陈有祺 |A Chen You Qi |4 编著

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

• 905 __ |a HDUL |d TP301/743

• 920 __ |a 233030 |z 1