MARC状态：审校 文献类型：西文图书 浏览次数：18
- 题名/责任者:
- Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学理论导论 / Thomas A. Sudkamp.
- 出版发行项:
- 北京 : 清华大学出版社, 2007.
- ISBN:
- 9787302151722
- 载体形态项:
- xvii, 654 p. : ill. ; 25 cm.
- 变异题名:
- 语言与机器 : 计算机科学理论导论
- 丛编题名:
- 大学计算机教育国外著名教材系列
- 个人责任者:
- Sudkamp, Thomas A.
- 论题主题:
- Formal languages.
- 论题主题:
- Machine theory.
- 中图法分类号:
- TP391
- 书目附注:
- Includes bibliographical references (p. 641-647) and indexes.
- 内容附注:
- Introduction -- Mathematical preliminaries -- Languages -- Context-free grammars -- Normal forms for context-free grammars -- Finite automata -- Properties of regular languages -- Pushdown automata and context-free languages -- Turing machines -- Turing computable functions -- The Chomsky hierarchy -- Decision problems and the Church-Turing thesis -- Undecidability -- Mu-recursive functions -- Time complexity -- P, np and cook's theorem -- Np-complete problems -- Additional complexity classes -- Parsing: an introduction -- Ll(k) grammars -- Lr(k) grammars.
- 原版附注:
- Reprint. Originally published: Pearson/Addison-Wesley, 2006. 3rd ed. 0321322215
全部MARC细节信息>>