机读格式显示(MARC)

• 000 01315nam 2200325 450

• 001 0000638202

• 005 20081118142600.0

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

• 099 __ |a CAL 012008145661

• 100 __ |a 20080922d2008 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 |d = Formal languages and automata |f 陈有祺编著 |z eng

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

• 215 __ |a xi, 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.2 |v 4

• 690 __ |a TP301.1 |v 4

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

• 801 _0 |a CN |b JG |c 20080922

• 905 __ |a JHUL |d TP301.2/6