构造一个语法制导翻译程序将Pascal语言的循环语句 FOR V：＝m1 TO m2 DO S1 翻译成四元

式表示的如下语句序列。 BEGIN t1：==m1；t2：==m2； IF t1≤t2 THEN BEGIN V：==t1； S1 WHILE V≠t2 DO BEGIN V：==SUCC(V) S1 END END END