تقرير حول كتاب نظرية الحوسبة باللغة العربية
هذه محاضرات الدكتور ایمن حمارشھ في نظرية الحوسبة نقدمها لكم تلبية لطلب الاخ ahmed.magician و نرجو من الله له التوفيق في الامتحان و نرجو الا نكون تاخرنا علية
الحوسبة : تعريفا سلسلة الخطوات الوسيطة intermediate steps التي نستخدمها في انجاز خوارزمية مصممة لحل مشكلة أو مسألة ما بطريقة حاسوبية . يمكن تعريفها أيضا على انها خوارزمية algorithm نقوم بها لتحويل مدخلات input مسألة ما إلى مخرجات outputs (خرج , نتائج) أي حلول للمسألة المطروحة . أي حاسوب يقوم بعملية حوسبة computation عندما ينجز برنامجا ما program ليعطيك نتائج ما أعطيته .
نظریة الحوسبة
Theory of Computation
محتويات الكتاب
(Strings) والمتسلسلات (Alphabets) الأبجدیات
Ordering of Strings تنظیم المتسلسلات
تعتبر عملیة البحث Searching أكثر العملیات التطبیقیة وتكمن أھمیة ھذه العملیات في تسھیل عملیة البحث العامة التي یتم إجراؤھا على المعلومات Information عن المعلومات وفي عملیة تنظیمھا أیضا بغض النظر عن الطریقة التي تتم فیھا ھذه العملیات. وفي معظم الحالات فإن الوصول إلى ھذه الأھداف یعتمد على وجود علاقات یتم من خلالھا تعریف عملیة تنظیم مكونات أو كینونات المسألة المراد البحث فیھا. وفیما یتعلق بالمتسلسلات فإن العلاقة التي یتم تكرارھا ھو مقارنتھا أبجدیا كما یحدث في تنظیم الأسماء في دلیل الھاتف. ویمكن توضیح ذلك من خلال المثال التالي
: Languages اللغات
: Grammars القواعد
القواعد
القواعد
في كثیر من الأحیان یعتبر توصیف اللغة من خلال قواعد محددة أمرا مریحا. وتظھر الفائدة من ھذا –بشكل رئیسي- عند استخدام عدد قلیل من القوانین أو الأحكام Rules لوصف لغة تحتوي على عدد كبیر من الجمل.
: Programs البرامج
Choice of a Programming Language اختیار لغة البرمجة
التعلیمات غیر قطعیة Nondeterministic Instructions
.Deterministic Programs البرامج القطعیة
لبرامج غير قطعیة Nondeterministic Programs
نظریة الحوسبة وأقسامھا الرئیسیة:
عند دراسة نظریة الحوسبة فإنھ یجب التركیز على الأقسام الثلاثة الرئیسیة التي تكون ھذا العلم وھي:
Automata 1. نظریة التشغیل الذاتي
Computability Theory 2. نظریة التحسیب
Complexity Theory 3. نظریة التعقید الحسابي
عند دراسة نظریة الحوسبة فإنھ یجب التركیز على الأقسام الثلاثة الرئیسیة التي تكون ھذا العلم وھي:
Automata 1. نظریة التشغیل الذاتي
Computability Theory 2. نظریة التحسیب
Complexity Theory 3. نظریة التعقید الحسابي
: Finite Automata نماذج التشغیل الذاتي المحدودة
لنماذج التشغیل الذاتي المحدودة: Formal Definition التعریف الشكلي
: Designing Finite Automata تصمیم نماذج التشغیل الذاتي المحدود
تعليقات
إرسال تعليق