1txt.txt

语法分析程序 必须先编写一个program的文本文件 再对该文本文件的程序进行语法分析

<program>→<proghead><block>27
<proghead>→1 34 28
<block>→<consexpl><varexl><procdefi> <compsent>
<consexpl>→2<condefi><conssuff> |ε
<consdefi>→34 20 33
<conssuff>→26<consdefi><conssuff> |ε
<varexl>→3<vandefi><varssuff> |ε
<vandefi>→34<idsuff>29<typeil>28
<idsuff>→26 34<idsuff> |ε
<varsuff>→<vandefi><varsuff> |ε
<typeil>→4| 5
<procdefi>→<procedh><block>28<procsuff>|ε
<procedh>→6 34<argument>28
<argument>→31 34 29 <typeil>32|ε
<procsuff>→<procedh><block>28<procsuff>|ε
<sentence>→<assipro>|<ifsent>|<whilsent>|<read>
|<write>|<compsent>|ε
<assipro>→34<suffix>
<suffix>→29 20<express>|31<express>32|ε
<ifsent>→7<conditio>8<sentence>
<whilsent>→9<conditio>10<sentence>
<read>→11 31 34<idsuff>32
<write>→12 31<express><exprsuff>32
<exprsuff>→26<express><exprsuff>|ε
<compsent>→13<sentence><sentsuff>14
<sentsuff>→28<sentence><sentsuff>|ε
<conditio>→<express><respoper><express>|15<express>
<express>→16<term><termsuff>|17<term><termsuff>|<term><termsuff>
<termsuff>→<addoper><term><termsuff>|ε
<term>→<factor><factsuff>
<factsuff>→<muloper><factor><factsuff>|ε
<factor>→34|33|31<express>32
<addoper>→16|17
<muloper>→18|19
<respoper>→20|21|22|22 20|24|24 20