LL(1)语法分析器，在任何时候，总控程序都是按照栈顶符号X和当前输入符号a行事的。对于任何（X，a），总控程序每次都执行下述三种可能的动作之一：

若X＝a＝’＃’，则宣布分析成功，停止分析过程；

若X＝a≠’＃’，则把X从栈顶逐出，让a指向下一输入符号；

若X是一个非终结符，则查看分析表M。若M中存放着一条关于X的产生式，那么，首先把X逐出栈顶，然后，把产生式的右部符号按反序一一推进栈，同时做这个产生式相应的语义动作（目前不管）。若M[X，a]中存放着一条出错标志，则调用出错诊查程序Error。