books genesis of logical expressions
If you do not find what you're looking for, you can use more accurate words.
نشأة التعبيرات المنطقية (Info)
نشأت التعبيرات المنطقية في عام 1951، عندما وصف العالم الرياضي ستيفن كول كلين اللغات العادية باستخدام تدوينه الرياضي المسمى "مجموعات منتظمة". نشأت هذه في علم الكمبيوتر النظري، في الحقول الفرعية لنظرية الأوتوماتا (نماذج الحساب) ووصف وتصنيف اللغات الرسمية. تتضمن التطبيقات المبكرة الأخرى لمطابقة الأنماط لغة SNOBOL، التي لم تستخدم تعابير عادية، ولكن بدلاً من ذلك تم بناء بنيات مطابقة خاصة بها. دخلت التعبيرات المنتظمة استخدامًا شائعًا منذ عام 1968 في استخدامين: مطابقة النمط في محرر النص والتحليل المعجمى في المترجم. من بين المظاهر الأولى للتعبيرات العادية في شكل برنامج كان كين ثومبسون يقوم بتأليف تدوين كلين في محرر المحرر (QED) كوسيلة لمطابقة الأنماط في الملفات النصية.للسرعة، قام تومبسون بتطبيق مطابقة التعبير المنتظم من خلال التجميع في الوقت المناسب (JIT) إلى كود IBM 7094 على نظام مشاركة الوقت المناسب. وقد أضاف لاحقًا هذه الإمكانية إلى محرر محرر Unix، مما أدى في النهاية إلى استخدام أداة البحث الشائعة grep"s للتعبيرات اللامنطقية ("grep" هي كلمة مشتقة من أمر البحث العادي في محرر التحرير: g/re/p تعني "البحث الشامل عن التعبير العادي وطباعة خطوط المطابقة". في نفس الوقت تقريباً عندما طور تومسون QED، قامت مجموعة من الباحثين بما في ذلك Douglas T. Ross بتطبيق أداة مبنية على التعبيرات العادية التي تستخدم في تحليل المفردات في تصميم المترجم.
