كتاب نظرية الحوسبة - منشورات جامعة تشرين

يتناول الكتاب سنة فصول هي:

الفصل الأول: أساسيات نظرية الحوسبة

  • مقدمة
  • الأبجدايات والمتسلسلات Strings and Alphabets
  • تنظيم المتسلسلات Ordering of Strings
  • تمثيل المعلومات Representation of Information
  • اللغات Languages
  • القواعد Grammars
  • البرامج Programmes

الفصل الثاني: الحاسبة المنتهية (الأوتومات المنتهي Finite Automaton)

  • الحاسبة المنتهية المحددة Deterministic Finite Automaton
  • تكافؤ الحاسبات Equivalence Automaton
  • اختزال الحاسبة Reducibility
  • الحاسبة المنتهية غير المحددة Non Deterministic Finite Automaton

الفصل الثالث: الحاسبات التعاقبية Sequential Mechines

  • حاسبات (آلتا) ميلي ومور التعاقبيين Mealys and moor Sequential Mechines
  • الدالة التعاقبية Sequential Function
  • تحليل الحاسبات Analysis Mechines

الفصل الرابع: اللغات المنتظمة Regular Languages

  • العمليات على اللغات
  • بعض خصائص اللغات الممثلة بحاسبة منتهية
  • اللغات المنتظمة والتعابير المنتظمة
  • التطابق اليميني
  • الحاسبة المنتهية باتجاهين
  • المعادلات المنتظمة
  • متوالية ترتيب (تزامن) الأحداث

الفصل الخامس: القواعد الشكلية Formal Grammers

  • النظم الناسخة والقواعد
  • هيكلية تشومسكي Chomsky Hierarchy
  • القواعد شكل 3 واللغات المنتظمة

الفصل السادس: نظرية اللغات غير القرنية Non Contextual languages theories

  • شجرة الاشتقاق، المشتقة اليسرى، القواعد المختزلة
  • نموذج تشومسكي الطبيعي uvwxy
  • نموذج كريباخوف الطبيعي
  • الحاسبة المكدس (المخزن) Pushdown Automaton
إعداد: 
د. محمد حسن، أ. ثناء موسى
التحميل: