مقدمة في نظرية الأوتوماتا واللغات والحوسبة

يُعد كتاب " مقدمة في نظرية الأوتوماتا واللغات والحوسبة" مرجعًا هامًا في علوم الحاسوب ^{[ 1 ]} من تأليف جون هوبكروفت وجيفري أولمان، ويتناول اللغات الرسمية ونظرية الحوسبة . وقد ساهم راجيف موتاني في الطبعات اللاحقة بدءًا من عام 2000.

يسجل موقع "ملف المصطلحات" لقب الكتاب، " كتاب سندريلا" ، على النحو التالي: "سُمي بهذا الاسم لأن غلافه يصور فتاة (يُفترض أنها سندريلا) جالسة أمام آلة روب غولدبيرغ وتمسك بحبل يخرج منها. وعلى الغلاف الخلفي، تظهر الآلة في حالة فوضى بعد أن سحبت (حتماً) الحبل." ^{[ 2 ]}

ظهر الكتاب السابق لهذا الكتاب تحت عنوان " اللغات الرسمية وعلاقتها بالأوتوماتا" في عام 1969. وقد شكل هذا الكتاب أساسًا لإنشاء دورات تدريبية حول هذا الموضوع، بالإضافة إلى كونه أساسًا لمزيد من البحث، وقد أثر في مجال نظرية الأوتوماتا لأكثر من عقد من الزمان. ^{[ 3 ]}

• هوبكروفت، جون إي.؛ أولمان، جيفري د. (1969). اللغات الرسمية وعلاقتها بالأوتوماتا . أديسون-ويسلي. ISBN 9780201029833.
• هوبكروفت، جون إي.؛ أولمان، جيفري د. (1979). مقدمة في نظرية الأوتوماتا واللغات والحوسبة (الطبعة الأولى  ). أديسون-ويسلي. ISBN 0-201-02988-X.
• هوبكروفت، جون إي.؛ موتاني، راجيف؛ أولمان، جيفري د. (2000). مقدمة في نظرية الأوتوماتا واللغات والحوسبة (الطبعة الثانية  ). أديسون-ويسلي. ISBN 81-7808-347-7.
• هوبكروفت، جون إي.؛ موتاني، راجيف؛ أولمان، جيفري د. (2006) [1979]. مقدمة في نظرية الأوتوماتا واللغات والحوسبة (  الطبعة الثالثة). أديسون-ويسلي. ISBN 0-321-45536-3.
• هوبكروفت، جون إي.؛ موتاني، راجيف؛ أولمان، جيفري د. (2013). مقدمة في نظرية الأوتوماتا واللغات والحوسبة (طبعة دولية جديدة  ). بيرسون. ISBN 978-1292039053.

صدرت الطبعة الأولى من كتاب " مقدمة في نظرية الأوتوماتا واللغات والحوسبة" عام ١٩٧٩، والطبعة الثانية في نوفمبر ٢٠٠٠، والطبعة الثالثة في فبراير ٢٠٠٦. ومنذ الطبعة الثانية، انضم راجيف موتاني إلى هوبكروفت وأولمان كمؤلف ثالث. ابتداءً من الطبعة الثانية، يتميز الكتاب بتغطية موسعة لأمثلة تطبيق نظرية الأوتوماتا ، مع حذف أجزاء كبيرة من النظريات الأكثر تقدماً. ورغم أن هذا يجعل الطبعتين الثانية والثالثة أكثر سهولة للمبتدئين، إلا أنه يقلل من ملاءمتهما للمقررات الدراسية المتقدمة. ولا يُنظر إلى هذا التوجه الجديد نحو التركيز على الجانب النظري بشكل إيجابي من قِبل الجميع، فكما نقل شاليت عن أحد الأساتذة: "لقد حذفوا كل الأجزاء الجيدة". ^{[ ٤ ]}

شكّلت الطبعة الأولى بدورها مراجعةً شاملةً لكتابٍ سابقٍ من تأليف هوبكروفت وأولمان، بعنوان " اللغات الرسمية وعلاقتها بالأوتوماتا" . نُشر هذا الكتاب عام ١٩٦٩، ويُشار إليه في مقدمة طبعة ١٩٧٩. وفي ملاحظةٍ تاريخيةٍ شخصيةٍ حول كتاب ١٩٦٩، يقول هوبكروفت: "لعلّ نجاح الكتاب نابعٌ من جهودنا في عرض جوهر كلّ برهانٍ قبل تقديمه فعليًا". ^{[ ٣ ]} وبالمقارنة مع الكتاب السابق، وُسّع نطاق طبعة ١٩٧٩، وأُعيدت صياغة المادة لجعلها أكثر سهولةً للطلاب. ^{[ ٣ ]} لم يلقَ هذا التوجه نحو سهولة الفهم على حساب الإيجاز استحسان الجميع. كما يذكر هوبكروفت في تقريره عن ردود الفعل على طبعة 1979 المنقحة: "يبدو أن محاولاتنا لخفض مستوى العرض لصالح الطلاب من خلال تضمين المزيد من التفاصيل والشروحات كان لها أثر سلبي على أعضاء هيئة التدريس، الذين اضطروا بعد ذلك إلى فرز المواد المضافة لوضع مخططات لمحاضراتهم وإعدادها". ^{[ 3 ]}

ومع ذلك، يبدو أن طبعة عام 1979 هي الأكثر استشهاداً بالكتاب: فبحسب موقع CiteSeerX ، تشير أكثر من 3000 ورقة بحثية علمية متاحة مجاناً على الإنترنت إلى هذه الطبعة من الكتاب. ^{[ 5 ]}

• مقدمة في نظرية الحوسبة لمايكل سيبسر ، وهو كتاب دراسي قياسي آخر في هذا المجال.
• حلول تمارين مختارة ، جامعة ستانفورد

• المدخل "كتاب سندريلا". في: ملف المصطلحات (الإصدار 4.4.7، 29 ديسمبر 2003).
• هوبكروفت، جون إي. (1989). "ظهور علم الحاسوب - تعليق كلاسيكي على "اللغات الرسمية وعلاقتها بالآلات"" . المحتويات الحالية: الهندسة والتكنولوجيا والعلوم التطبيقية . 31 : 12.متوفر عبر الإنترنت (ملف PDF)
• شاليت، جيفري أو. (2008). دورة ثانية في اللغات الرسمية ونظرية الأوتوماتا . مطبعة جامعة كامبريدج. ص.  9. ISBN 978-0-521-86572-2.
• "مقدمة في نظرية الأوتوماتا واللغات والحوسبة - الصفحة الرئيسية" . جامعة ستانفورد . مؤرشف من الأصل في 7 يونيو 2023.
• "مقدمة في نظرية الأوتوماتا واللغات والحوسبة؛ الطبعة الأولى" .— متاح فقط لرواد أرشيف الإنترنت من ذوي الإعاقات البصرية