Program Block Constdecl Vardecl Proceduredecl Statement Condition Expr Term Factor A B C D E F CONST VAR IF THEN ELSE WHILE DO ODD PROCEDURE BEGIN END CALL number ident . , ; ! ? + - ( ) <= < = := * / # >= > _end Block . using _ System; $ using _ System.Collections; $ class _ Pl0Program $ { $ _ static _ int[] _ S=new _ int[100],V=new _ int[100]; $ _ static _ int _ SC=0; $ _ static _ void _ push(int _ i) _ {S[SC++]=V[i];} $ _ static _ void _ pop(int _ i) _ {V[i]=S[--SC];} $ Block _ public _ static _ int _ Main() $ _ { $ _ _ PL0_Main(); $ _ _ return _ 0; $ _ } $ } Constdecl Vardecl Proceduredecl Statement Proceduredecl _ static _ void _ _ResolveCurrentLevelToString(_) () $ _ { $ _All(_:_:push(:_ResolveAddress({Def}):);:$,const:int) Constdecl Vardecl Statement _AllR(_:_:pop(:_ResolveAddress({Def}):);:$,const:int) _ } $ _eps CONST ident = number B ; _Define({1},const) _MakeAddress({1}) _ _ V[ _ResolveAddress({1}) ]={3}; $ B _eps VAR ident A ; _Define({1},int) _MakeAddress({1}) A _eps PROCEDURE ident ; Block ; Proceduredecl _Define({1},function) _EnterLevel({1}) Block _LeaveLevel() Proceduredecl _eps ident := Expr _CheckDefine({0},int) _ _ V[ _ResolveAddress({0}) ]= Expr ; $ CALL ident _CheckDefine({1},function) _ _ _ResolveLevelToString({1},_) (); $ ? ident _CheckDefine({1},int) _ _ Console.Write("Please _ enter _ {1} _ > _ "); $ _ _ V[ _ResolveAddress({1}) ]=Convert.ToInt32(Console.ReadLine()); $ ! Expr _ _ Console.WriteLine( Expr ); $ BEGIN Statement C END _ _ { $ Statement C _ _ } $ IF Condition THEN Statement _ _ if( Condition ) $ _ _ { $ Statement _ _ } $ WHILE Condition DO Statement _ _ while( Condition ) $ _ _ { $ Statement _ _ } $ Term D Term D + Term D Term D - Term D - Term D Factor E Factor E ident _CheckDefine({0},int:const) V[ _ResolveAddress({0}) ] number {0} ( Expr ) ( Expr ) _eps , ident A _Define({1},int) _MakeAddress({1}) A _eps , ident = number B _Define({1},const) _MakeAddress({1}) _ _ V[ _ResolveAddress({1}) ]={3}; $ B _eps ; Statement C Statement C Expr F Expr F ODD Expr ( Expr )%2 _ == _ 1 _eps + Term D + Term D - Term D - Term D _eps * Factor E * Factor E / Factor E / Factor E = Expr == Expr # Expr != Expr > Expr > Expr >= Expr >= Expr < Expr < Expr <= Expr <= Expr