オートマトン理論(計算の理論、形式言語理論を含む)の基本結果をコンパクトにまとめ、最近著しい発展を見せている計算量理論についても詳述。
1939年,兵庫県に生まれる.1962年,東京大学工学部応用物理学科卒業.日本電気株式会社,日本大学理工学部助教授を経て,東京工業大学理学部教授.理学博士. 「1992年 『数学定理・公式小辞典』 で使われていた紹介文から引用しています。」