النظرية الاحتسابية

يتكون الكتاب من سبعة فصول حيث عمد الفصل الاول الى تذكير القارىء بالاساسيات الرياضياتية ، اما الفصل الثاني فقد وضع اللبنات الاولى لهذا الموضوع ، كي يخوض الفصل الثالث في التعبير التام للغات الشكلية . اما الفصل الرابع فقد غاص في الاتمتة تعريفا و شكلا بنوعيها القرارية و اللاقرارية كي يثبت ان لكل اوتومات لاقراري له مقابل اوتومات قراري . الفصل الخامس يشرح القواعد التي تنتج اللغة كي يعقبه الفصل السادس الذي يضع بين يدي القارىء الاوتومات الدافع للاسفل وهو الحل لصياغة اوتومات لللغات التامة و غير التامة . اما مكائن تورنج فقد شغلت الفصل السابع ، وسيجد القارىء انها تختلف بمواصفاتها عن مكائن الدفع للاسفل.