机读格式显示(MARC)
- 000 01490nam2 2200409 4500
- 010 __ |a 7-111-16788-0 |d CNY36.00 |b
- 100 __ |a 20050913d2005 em y0chiy0121 ea
- 200 1_ |a 形式语言与自动机导论 |A Xing Shi Yu Yan Yu Zi Dong Ji Dao Lun |d = An introduction to formal languages and automata |f (美) Peter Linz著 |g 孙家骕等译 |z eng |e
- 210 __ |a 北京 |c 机械工业出版社 |d 2005
- 225 __ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu
- 306 __ |a 本书中文简体字版由Jones and Bartlett Publishers Inc.授权机械工业出版社独家出版
- 320 __ |a 有书目 (第283-284页)和索引
- 330 __ |a 本书主要介绍形式语言、自动机、可计算性和相关内容,主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。
- 410 __ |1 2001 |a 计算机科学丛书
- 510 __ |a Introduction to formal languages and automata |z eng
- 606 __ |a 形式语言 |A Xing Shi Yu Yan
- 606 __ |a 自动机理论 |A Zi Dong Ji Li Lun
- 701 __ |a 林兹, |A Lin Zi |b P. |g (Linz, Peter) |4 著
- 702 __ |a 孙家骕 |A Sun Jia Su |4 译
- 801 __ |a CN |b ATSU |c 20070428
- 905 __ |a ASTU |d TP301/30
- 915 __ |b 554904-06 |d TP301 |e 30 |a