Module: सही ब्रैकेट अनुक्रम (पीआरएस)


Problem

2 /6


ओमेगा लैम्ब्डा कैलकुलस

Theory Click to read/hide

नियमित ब्रैकेट अनुक्रम में एक या अधिक प्रकार के ओपनिंग और क्लोजिंग ब्रैकेट होते हैं, प्रत्येक ओपनिंग ब्रैकेट में क्लोजिंग ब्रैकेट होता है, और (कई प्रकार के मामले में) उनके प्रकार ओवरलैप नहीं होते हैं। 
सही एसपी: 
( ( ) ) ( ) ( ) 
{ } [ ( ) ] ( ) 
{ [( { } ) ] } 
अमान्य एसपी: 
)) ( ( ) ) ( ( 
{ [ ( ] ) } 
( ( ] } 
 
यह जांचने के लिए कि कोष्ठकों का एक कोष्ठक अनुक्रम एक ही प्रकार का है, बस शेष राशि की जांच करें। 
अर्थात, हम शून्य (संतुलन) के बराबर एक चर प्रारंभ करते हैं। फिर हम स्ट्रिंग के माध्यम से दौड़ते हैं (यदि आप नहीं जानते कि यह कैसे करना है - RUN, STUPID!), जब यह ओपनिंग ब्रैकेट से मिलता है तो बैलेंस बढ़ाता है और जब यह क्लोजिंग ब्रैकेट से मिलता है तो इसे घटाता है। यदि किसी भी स्तर पर शेष ऋणात्मक हो जाता है या अंत में यह शून्य के बराबर नहीं होता है, तो अनुक्रम गलत है। 

Problem

ओमेगा लैम्ब्डा कैलकुलस - "ब्रिटिश वैज्ञानिक, इंक" औपचारिक तर्क के दायरे में। ओमेगा-लैम्ब्डा कैलकुलस की किसी भी अभिव्यक्ति में कोष्ठक और शब्द होते हैं (एक शब्द लैटिन अक्षरों का कोई भी क्रम हो सकता है)। 
इज़ी रिडक्शन इस तरह के एक्सप्रेशंस पर एक ऑपरेशन है। जब इसे निष्पादित किया जाता है, तो यह जांचा जाता है कि अभिव्यक्ति में ब्रैकेट अनुक्रम सही है या नहीं। शर्तों की अनदेखी की जाती है। यदि अनुक्रम सही है, तो यह शब्द gg बन जाता है, यदि नहीं, तो यह शब्द wp बन जाता है। 
107 वर्णों से अधिक का ओमेगा-लैम्ब्डा व्यंजक इनपुट के रूप में उपयोग किया जाता है। आपको इसकी इज़ी रिडक्शन का परिणाम प्रदर्शित करने की आवश्यकता है।
 

 

उदाहरण
<टेबल क्लास = "टेबल-बॉर्डर्ड टेबल-लिस्ट-टेस्ट टेबल-एसएम टेबल-स्ट्राइप्ड"> <सिर> <वें># <वें>इनपुट <वें>आउटपुट <शरीर> 1 ए(बी(एक्सएक्स)एफ(जी(एक्स))एम(वाई)) जीजी