Module: Trình tự khung chính xác (PRS)


Problem

2 /6


Phép tính lambda Omega

Theory Click to read/hide

Trình tự dấu ngoặc thông thường bao gồm dấu ngoặc mở và đóng của một hoặc nhiều loại, với mỗi dấu ngoặc mở có một dấu ngoặc đóng và (trong trường hợp có nhiều loại) loại của chúng không trùng nhau. 
SP chính xác: 
( ( ) ) ( ) ( ) 
{ } [ ( ) ] ( ) 
{ [ ( { } ) ] } 
SP không hợp lệ: 
) ) ( ( ) ) ( ( 
{ [ ( ] ) } 
( ( ] } 
 
Để kiểm tra xem một chuỗi dấu ngoặc vuông có cùng loại hay không, chỉ cần kiểm tra số dư. 
Tức là chúng ta bắt đầu một biến bằng 0 (số dư). Sau đó, chúng tôi chạy qua chuỗi (nếu bạn không biết cách thực hiện việc này - CHẠY, NGỐT LẠI!), Tăng số dư khi nó gặp dấu ngoặc mở và giảm khi nó gặp dấu ngoặc đóng. Nếu ở bất kỳ giai đoạn nào, số dư trở thành số âm hoặc ở cuối số dư không bằng 0, thì trình tự đó là sai. 

Problem

Tính toán omega lambda - một bước phát triển sáng tạo của "British Scientist, Inc" trong lĩnh vực logic hình thức. Bất kỳ biểu thức nào của phép tính omega-lambda đều bao gồm dấu ngoặc đơn và thuật ngữ (thuật ngữ có thể là bất kỳ chuỗi ký tự Latinh nào). 
Giảm Izzy là một trong những thao tác trên các biểu thức như vậy. Khi nó được thực thi, nó sẽ kiểm tra xem chuỗi dấu ngoặc trong biểu thức có đúng không. Các điều khoản được bỏ qua. Nếu trình tự đúng, nó sẽ trở thành thuật ngữ gg, nếu không, nó sẽ trở thành thuật ngữ wp
Một biểu thức omega-lambda không quá 107 ký tự được sử dụng làm đầu vào. Bạn cần hiển thị kết quả giảm izzy của nó.
 

 

Ví dụ
<đầu>
# Đầu vào Đầu ra
1 a(b(xx)f(g(x))m(y)) gg