Module: Urutan Kurungan Betul (RSP)


Problem

2 /6


Kalkulus Omega lambda

Theory Click to read/hide

Jujukan kurungan biasa terdiri daripada kurungan buka dan tutup satu atau lebih jenis, dengan setiap kurungan bukaan mempunyai kurungan penutup dan (dalam kes berbilang jenis) jenis kurungan itu tidak bertindih. 
SP yang betul: 
( ( ) ) ( ) ( ) 
{ } [ ( ) ] ( ) 
{ [ ( { } ) ] } 
SP tidak sah: 
) ) ( ( ) ) ( ( 
{ [ ( ] ) } 
( ( ] } 
 
Untuk menyemak sama ada urutan kurungan kurungan adalah daripada jenis yang sama, cuma semak baki. 
Iaitu, kita memulakan pembolehubah sama dengan sifar (baki). Kemudian kita berlari melalui rentetan (jika anda tidak tahu bagaimana untuk melakukan ini - RUN, BODOH!), meningkatkan baki apabila ia bertemu dengan pendakap pembukaan dan mengurangkannya apabila ia bertemu dengan penutup. Jika pada mana-mana peringkat baki menjadi negatif atau pada akhirnya ia tidak sama dengan sifar, maka urutannya adalah salah. 

Problem

Kalkulus Omega lambda - pembangunan inovatif "British Scientists, Inc" dalam bidang logik formal. Sebarang ungkapan kalkulus omega-lambda terdiri daripada kurungan dan istilah (istilah boleh menjadi sebarang urutan huruf Latin). 
Pengurangan Izzy ialah salah satu operasi pada ungkapan tersebut. Apabila ia dilaksanakan, ia diperiksa sama ada urutan kurungan dalam ungkapan itu betul. Terma diabaikan. Jika urutannya betul, ia menjadi istilah gg, jika tidak, ia menjadi istilah wp
Ungkapan omega-lambda tidak lebih daripada 107 aksara digunakan sebagai input. Anda perlu memaparkan hasil pengurangannya.
 

 

Contoh
# Input Output
1 a(b(xx)f(g(x))m(y)) gg