النظرية الاحتسابية THEORY OF COMPUTATION
تاريخ النشر: 24/04/2005
الناشر: دار مجدلاوي للنشر والتوزيع
مدة التأمين: يتوفر عادة في غضون أسبوعين
نبذة المؤلف:غني عن البيان أن مادة هذا الكتاب هي الأسس التي يبني عليها القارئ قدراته اللاحقة في دراسة العديد من المواضيع الأساسية كبناء وتصميم المترجمات، معالجة اللغات الطبيعية (العربية والإنكليزية و...الخ)، تمييز الأصوات من قبل الحاسوب معالجة الصور، فإن استوهب ما قصده الكتاب فأمامه المجال واسعاً لكتابة بحوث في هذا الموضوع ...أو ما يبنى عليه، فإن كان الأساس صحيحاً فخطوات البناء التالي تكون بجهد لا يرقى إلى جهد الخطوات الأولى.
لقد وضعنا نصب أعيننا أن نأخذ بيد القارئ منذ البدء بتذكيره بالأساسيات الرياضياتية، وذاك ما عناه الفصل الأول. أما فصله الثاني فقد وضع اللبنات الأولى لهذا الموضوع، كي يخوض الفصل الثالث في التعبير التام للغات الشكلية. أما الفصل الرابع فقد غاص في الأتمتة تعريفاً وشكلاً بنوعيها القرارية واللاقرارية كي يثبت أن لكل أوتومات لإقراري له مقابل أوتومات قراري. الفصل الخامس يشرح القاعد التي تنتج اللغة كي يعقبه الفصل السادس الذي يضع بين يدي القارئ الأوتومات الدافع للأسفل وهو الحل لصياغة أوتومات اللغات التامة وغير التامة. أما مكائن تورنج فقد شغلت الفصل السابع، وسيجد القارئ أنها تختلف بمواصفاتها عن مكائن الدفع للأسفل.
لعلنا أسهبنا في وضع الأمثلة المحلولة في كل فصل وذلك إدراكاً منا أن كثرة الأمثلة خصوصاً إذا كانت تشد انتباه القارئ لكل خطوة فيها فسوف تأخذه إلى شاطئ استيعاب المثال، ولما عدنا فأكثرنا التمارين في نهاية كل فصل فلأننا توخينا أن القارئ الذي أدرك التمارين المحلولة سوف يكون قديراً في تحدي تلك التمارين. إقرأ المزيد