كتاب لطلبة علوم الحاسوب. يتضمن الكتاب خمسة فصول: الفصل الاول يعرض الاسس الرياضية التي قامت عليها النظرية الاحتسابية. بعرض الفصل الثاني آلات الحالات المنتهية FSM. و يعرض الفصل الثالث التعابير المنتظمة Regular Expressions بينما يعرض الفصل الرابع القواعد حرة السياق CFG واخيرا الفصل الخامس يعرض آلات تورنك Turing Machines. و هو كتاب جديد يعرض المادة بطريقة مبسطة من خلال عدد من الامثلة المحلولة. وهنا انشر الفصل الثاني من الكتاب. سعر الكتاب 8000 دينار عراقي او 7 دولار.