可读取文法文件，可消除左递归，替换：当XVN时选相应产生式的右部去替换X。此时X出栈，逆序入栈。匹配：当XVT时它与a进行匹配，其结果可能成功，也可能失败，如果成功则符号栈中将X退栈并将输入流指针向前移动一位，否则报错。接受：当格局为（#，空#）时报告分析成功。报错：出错后，停止分析。并给出相应的错误提示信息。