كتاب نظرية الحوسبة - منشورات جامعة تشرين
يتناول الكتاب سنة فصول هي:
الفصل الأول: أساسيات نظرية الحوسبة
- مقدمة
- الأبجدايات والمتسلسلات 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
التحميل: