推导 <程序>→<分程序> (<程序>→<分程序>) <分程序>→<变量说明部分><语句> (<分程序>→<变量说明部分><语句>) VAR<标识符> BEGIN READI(<标识符>)END.→ VARA; BEGIN READ(<标识符>)END (标识符>→A) VARA; BEGIN READ(<标识符>)END VAR A; BEGIN READ(A) END. (<标识符>→A)10 推导 <程序><分程序>. (<程序>  <分程序>. ) <分程序>.  <变量说明部分> <语句>. (<分程序>  <变量说明部分> <语句>) VAR<标识符>;BEGIN READ(<标识符>)END.  VAR A;BEGIN READ(<标识符> ) END. (<标识符> A) VAR A;BEGIN READ(<标识符> ) END.  VAR A;BEGIN READ( A) END. (<标识符> A)