內容簡介
計算理論是計算機科學的理論基礎。本書介紹了計算理論核心、基本的內容,包括形式語言與自動機、可計算性和計算復雜性三大部分。全書共分七章,分別為:集合、關繫和語言;有窮自動機;上下文無關語言; Turing機;不可判定性;計算復雜性;NP完全性。本書突出了算法,從而使計算機專業的學生更易接受,也更有收益。
本書適合作為計算機專業及數學專業本科生或研究生的教材,也可供從事計算機科學的教學與研究人員參考。
本書適合作為計算機專業及數學專業本科生或研究生的教材,也可供從事計算機科學的教學與研究人員參考。