phase.txt

一门课程的proj

S0 → PROGRAM $ID ; S1 BEGIN S2 END. 
S1 → CONST S3 
S1 → S4 
S1 → S5 
S3 → $ID = S6 ;
S3 → $ID = S6 ; S3
S6 → $INT
S6 → $REAL
S6 → TRUE
S6 → FALSE
S4 → S7 : S8 ;
S4 → S7 : S9 ;
S4 → S7 : S8 ; S4
S4 → S7 : S9 ; S4
S7 → INTEGER
S7 → REAL
S7 → BOOLEAN
S8 → $ID
S8 → $ID , S8
S9 → ARRAY $ID [ S10 ] 
S9 → ARRAY $ID [ S10 ] , S9
S10 → $INT
S10 → $INT , S10
S2 → S11 ;
S2 → S11 ; S2
S11 → $ID := S12
S11 → IF S12 THEN S11
S11 → IF S12 THEN S11 ELSE S11
S11 → WHILE S12 DO S11
S11 → REPEAT S2 UNTIL S12
S11 → FOR $ID := S12 TO S12 DO S11
S11 → BEGIN S2 END
S11 → READ S8
S11 → WRITE S12
S11 → S14 
S12 → S12 , S12
S12 → S12 < S12
S12 → S12 <= S12
S12 → S12 > S12
S12 → S12 >= S12
S12 → S12 <> S12
S12 → S12 OR S12 
S12 → S12 AND S12
S12 → S12 + S12
S12 → S12 - S12
S12 → S12 * S12
S12 → S12 / S12
S12 → NOT S12
S12 → ( S12 )
S12 → $ID
S12 → S14
S12 → $INT
S12 → $REAL
S5 → FUNCTION $ID ( S4 ) : S7 ;
S14 → FUNCTION $ID ( S12 )