コンピュータサイエンス

オートマトン、言語および計算論の入門書。演習問題も掲載する。基礎的な部分の直観的な理解を確実にすることをめざして説明を詳しくした、86年刊の第2版。

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
--このテキストは、絶版本またはこのタイトルには設定されていない版型に関連付けられています。

computational complexity as a coherent theory. It includes end-of-chapter questions, bibliographies, and exercises. Problems of highest and intermediate difficulty are marked respectively with double or single stars. 020102988XB04062001
--このテキストは、絶版本またはこのタイトルには設定されていない版型に関連付けられています。

野崎 昭弘
1959年東京大学理学部数学科卒業。1961年東京大学大学院修士課程修了。現在、大妻女子大学教授。理学博士

高橋 正子
1962年お茶の水女子大学理学部数学科卒業。1972年ペンシルバニア大学大学院博士課程修了。現在、国際基督教大学教授。Ph.D.

町田 元
1970年東京大学理学部数学科卒業。1974年東京大学大学院修士課程修了。現在、一橋大学教授。博士(数理科学)

山崎 秀記
1972年東京大学教養学部基礎科学科卒業。1975年東京大学大学院修士課程修了。現在、一橋大学教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)