产生式.txt

本文是关于编绎原理中语法分析的重要内容,严格实验所以要求.

程序定义:
1.program->program id() ; var_explain() complex().
2.var_explain->var var_definition() | ε
3.var_definition->id_table() : kind() ; mid_var()
4.mid_var->var_definition | ε
5.id_talbe->id() mid_id()
6.mid_id->, id_talbe() | ε

表达式定义:
7.expression->a_expression() b_expression() c_expression()
算术表达示:
8.a_exprssion->a_1()  mid_a1() 
9.mid_a1->+ a_1() mid_a1() | - a_1() mid_a1() | ε
10.a_1-> a_2() mid_a2()
11.mid_a2->* a_2() mid_a2() | / a_2() mid_a2() | ε
12.a_2->a_3() | - a_2()
13.a_3->interger() | id() | ( expression() ) 
布尔表达示:
14.b_expression->b_1() mid_b1()
15.mid_b1->or b_1() mid_b1()| ε
16.b_1-> b_2() mid_b2()
17.mid_b2->and b_2() mid_b2() | ε
18.b_2->b_3() | not b_2()
19.b_3->boo_digit() | a_expression() mid()|( b_expression() ) 
20.mid->relation() id() | ε

语句定义:
21.sentence->evaluate() | IF() | WHILE() | REPEAT() | complex()
22.complex->begin sentence_table() end
23.sentence_table->sentence() mid_sentence()
24.mid_sentence->; sentence_table() | ε