Module: 正しいブラケット シーケンス (RSP)


Problem

2 /6


オメガラムダ計算

Theory Click to read/hide

通常の括弧シーケンスは 1 つ以上のタイプの開き括弧と閉じ括弧で構成され、各開き括弧には閉じ括弧があり、（複数のタイプの場合）それらのタイプは重複しません。
正しい SP: 
( ( ) ) ( ) ( ) 
{ } [ ( ) ] ( ) 
{ [ ( { } ) ] } 
無効な SP: 
) ) ( ( ) ) (( 
{ [ ( ] ) } 
( ( ] } 
 
一連の括弧が同じタイプであるかどうかを確認するには、バランスを確認するだけです。
つまり、ゼロ (残高) に等しい変数を開始します。次に、文字列を実行します (やり方がわからない場合は、走れ、バカ!)。開始括弧に達するとバランスが増加し、終了括弧に達するとバランスが減少します。いずれかの段階で残高がマイナスになったり、最後に残高がゼロにならなくなったりした場合、順序は間違っています。

Problem

オメガ ラムダ計算 - 「British Scientists, Inc」の革新的な開発形式論理の領域で。オメガ ラムダ計算の式は、括弧と用語で構成されます (用語はラテン文字の任意のシーケンスにすることができます)。 
Izzy リダクションは、そのような式に対する操作の 1 つです。実行されると、式中のブラケットシーケンスが正しいかどうかがチェックされます。条件は無視されます。順序が正しければ用語 gg になり、正しくない場合は用語 wp になります。 
107  文字以下のオメガ ラムダ式が入力として使用されます。その izzy リダクションの結果を表示する必要があります。
 

 

例
<頭> <本体>

time 2000 ms
memory 256 Mb
Rules for program design and list of errors in automatic problem checking

Teacher commentary

Your Program

Attach a file with the source code of the program:

or select a programming language and type your program

Auto

       

Program check result To check the solution of the problem, you need to register or log in!

# 入力 出力
1 a(b(xx)f(g(x))m(y)) gg