解释器2

解释器2 模型编程语言的解释器。 该解释器是对的修改。 形式语法 形式为⎬α⎬的条目表示链α的迭代，即在生成的链中，ε，α，αα或ααα可以位于此位置，等等。 [α]形式的输入表示此时可以在所需链中找到α或ε。 〈Program〉::= program {〈Descriptions〉〈Operators〉} 〈Descriptions〉 ::= ⎨〈Description〉;⎬ 〈Description〉::=〈Type〉〈Variable〉⎨,〈Variable〉⎬ 〈Type〉::= int | string | boolean | real 〈Variable〉::=〈identifier〉|〈Identifier〉=〈Constant〉 〈Constant〉::= 〈IntegerConstant〉|〈StringConstant〉|〈BoolConstant〉|〈RealC