Module: تسلسل القوس الصحيح (PRS)


Problem

3 /6


تيلدا-أوميغا-لامدا-حساب التفاضل والتكامل

Theory Click to read/hide

في حالة وجود عدة أنواع من الأقواس ، يصبح كل شيء أكثر تعقيدًا. نقوم بإنشاء مكدس ليكون بمثابة متغير التوازن هذا. هذا ضروري لأن الأقواس لا يمكن أن تتداخل. عندما نسير عبر خط ونواجه قوسًا مفتوحًا ، ندفعه إلى المكدس. عندما نواجه قوس إغلاق ، نحاول أن نخرج الدعامة الافتتاحية من هذا النوع من المكدس. إذا كان هناك قوس من نوع مختلف على المكدس ، فإن التسلسل غير صالح. إذا كان المكدس غير فارغ في النهاية ، فإن التسلسل غير صالح أيضًا. & nbsp؛

Problem

تعد Tilda-omega-lambda-calculus تطورًا أكثر ابتكارًا لشركة & quot؛ British Scientists، Inc & quot؛ في مجال البرمجة الوظيفية. اختلافها عن حساب التفاضل والتكامل أوميغا لامدا هو فقط في القدرة على وضع أقواس مربعة ومتعرجة. تم تخطيط الأقواس على شكل فيل أيضًا ، لكن الشركة فشلت في تغيير معيار UNICODE. & nbsp؛
الإدخال عبارة عن تعبير tilde-omega-lambda لا يزيد عن 10 ^ 7 حرفًا. تحتاج إلى طباعة نتيجة تصغير التلدة ، والذي يعمل بنفس طريقة الاختزال izzy لتعبيرات أوميغا لامدا ، ولكن مع أقواس مربعة ومتعرجة.

تذكر أن & nbsp؛ izzy-Red هو إحدى العمليات على هذه التعبيرات. عند تنفيذه ، يتم التحقق مما إذا كان تسلسل الأقواس في التعبير صحيحًا. يتم تجاهل الشروط. إذا كان التسلسل صحيحًا ، فإنه يصبح مصطلح gg ، وإذا لم يكن كذلك ، فإنه يصبح مصطلح wp. & nbsp؛
نبسب ؛

نبسب ؛

أمثلة <الجسم>
# إدخال الإخراج
1 main {izzy [lol] (ttt)} gg