- 从推导式的左边到右边成为推导，从右边到左边成为规约
- LL的分析是一个不断向右扩展的过程，类似一个循环，适合EBNF描述。因此LL是对语法树的一个前序遍历，它是从上到下的，从根节点的起始非终结符一直到叶子节点的终结符
- LR的shift-reduce过程则是一个递推-回归的过程，SR总是从终结符开始，将终结符规约为推导式左边的非终结符。这是一个对语法树的后序遍历，它是从低到顶的，即从终结符的叶子节点到起始非终结符的根节点。因此用递归的BNF描述更加合适。由于左规约等同于右推导，因此称为LR
-
Regular Language:
- chomsky norm form Context-Free
- Context-sensitive Grammar: