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


Problem

2 /6


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

Theory Click to read/hide

تتكون تسلسلات الأقواس العادية من أقواس فتح وإغلاق من نوع واحد أو أكثر ، مع وجود قوس إغلاق لكل قوس فتح ، و (في حالة الأنواع المتعددة) لا تتداخل أنواعها. & nbsp؛
تصحيح SP: & nbsp؛
(()) () () & nbsp؛
{} [()] () & nbsp؛
{[({})]} على & nbsp؛
SP غير صالح: & nbsp؛
)) (()) ((& nbsp؛
{[(])} على & nbsp؛
((]} على & nbsp؛
& nbsp؛
للتحقق مما إذا كان تسلسل الأقواس من نفس النوع ، فقط تحقق من التوازن. & nbsp؛
أي أننا نبدأ متغيرًا يساوي صفرًا (الرصيد). ثم نمرر عبر السلسلة (إذا كنت لا تعرف كيفية القيام بذلك - RUN ، STUPID!) ، ونزيد من التوازن عندما يقابل قوس الفتح وننقصه عندما يقابل الإغلاق. إذا أصبح الرصيد في أي مرحلة سالبًا أو في النهاية لا يساوي الصفر ، فإن التسلسل يكون خاطئًا. & nbsp؛

Problem

أوميغا لامدا حساب التفاضل والتكامل - تطور مبتكر لـ & quot؛ British Scientists، Inc & quot؛ في عالم المنطق الرسمي. يتكون أي تعبير عن حساب التفاضل والتكامل أوميغا لامدا من أقواس ومصطلحات (يمكن أن يكون المصطلح أي سلسلة من الأحرف اللاتينية). & nbsp؛
تقليل Izzy هي إحدى العمليات على مثل هذه التعبيرات. عند تنفيذه ، يتم التحقق مما إذا كان تسلسل الأقواس في التعبير صحيحًا. يتم تجاهل الشروط. إذا كان التسلسل صحيحًا ، يصبح المصطلح gg ، وإذا لم يكن كذلك ، فإنه يصبح المصطلح wp . & nbsp؛
يتم استخدام تعبير omega-lambda بما لا يزيد عن 10 أحرف 7 & nbsp؛ كمدخلات. تحتاج إلى عرض نتيجة تصغيرها izzy.
نبسب ؛

نبسب ؛

أمثلة <الجسم>
# إدخال الإخراج
1 a (b (xx) f (g (x)) m (y)) gg