自制编程语言（第二弹）语法编写

上周发烧，于是更新拖了好久。上一期链接

---

上下文无关语法

在第一章之中，我们表达了我们所期望的中文脚本语言所期待的样子。然而，如果让别的程序员来实现，往往是一头雾水。我们不能凭空表达我们的想法，因此我们需要更加规范的一种语言来描述我们的想法。

先来看百度百科的定义：

上下文无关文法（英语：context-free grammar，缩写为CFG），在计算机科学中，若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下的形式：V->w，则谓之。其中 V∈N ，w∈(N∪Σ)* 。上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w 自由替换，而无需考虑字符 V 出现的上下文。一个形式语言是上下文无关的，如果它是由上下文无关文法生成的（条目上下文无关语言）。

太长了，总而言之，就是一套规则，规定语句是怎么生成的。

语法参考《一起构建一个简单的解释器》(推荐可以去阅读一下，写的很不错。)

• | 或运算。(MUL|DIV) 表示MUL 或者DIV
• (...) 表示一个组
• (...)* 表示此组将重复0 次或多次

此外，我还参考了Python语法、C语言语法，最终语法如下：

program: (NEWLINE | stmt)*
stmt: simple_stmt | compound_stmt
simple_stmt: small_stmt NEWLINE
small_stmt: (fun | assign_stmt)?
fun: (NAME)? COLON args
assign_stmt: NAME trailer* = expr

compound_stmt: if_stmt | case_stmt
if_stmt: IF expr suite (ELSEIF expr suit)* (ELSE suite)?
case_stmt: CASE expr NEWLINE (WHEN expr? suite)*
suite: NEWLINE INDENT stmt* DEDENT

expr: or_test
or_test: and_test (OR and_test)*
and_test: not_test (AND not_test)*
not_test: NOT not_test | comparsion
comparsion: calculator (comp_op calculator)*
comp_op: < | > | == | >= | <= | !=
calculator:term ((+|-) term)*
term:factor (( * | / | % | // ) factor)*
factor: ( + | - ) factor | power
power: atom trailer* (** factor)*
atom: LPAREN expr RPAREN | fun | NAME | INT_CONST 
	| REAL_CONST | STR | TRUE | FALSE | NONE 
trailer: LPAREN args RBARCK | . NAME
args: (expr)*