Elements of the theory of computation

著者

• Lewis, Harry R.
• Papadimitriou, Christos H.

書誌事項

Elements of the theory of computation

Harry R. Lewis, Christos H. Papadimitriou

（Prentice-Hall software series）

Prentice-Hall , Prentice-Hall International, c1981

• : UK

注記

Includes bibliographical references and index

内容説明・目次

内容説明

A general, yet comprehensive, introduction to the classical and contemporary theory of computation.

目次

1. Sets, Relations, and Languages. 2. Finite Automata. 3. Context-Free Languages. 4. Turing Machines. 5. Church's Thesis. 6. Uncomputability. 7. Computational Complexity. 8. The Propositional Calculus. 9. The Predicate Calculus.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA04183799
• ISBN:
  • 0132734176
  • 0132734265
• LCCN: 80021293
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Englewood Cliffs, N.J.,London
• ページ数/冊数: xiv, 466 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA267
  • DC19 : 511
• 件名:
  • LCSH : Machine theory
  • LCSH : Formal languages
  • LCSH : Computational complexity
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA0001339X