说了这么多，来看一个涉及C语言部分语句的文法
stmt -> id = expression; | if(expression) stmt | if(expression) stmt else stmt | do stmt while (expression); | while(expression) stmt | {stmts} stmts -> stmts stmt | epsilon上面用id表示标识符，expression表示实际程序语句。注意这个文法中的分号的使用，非常严谨，不多不少。