构造LR(1)自动机(没有需要合并的状态):没有状态存在冲突,因而是LALR(1)文法.构造LR(0)自动机:在状态I6,由于’a’∈FOLLOW(A),因而对于SLR(1)分析而言,存在移进-归约,所以这一文法不是SLR(1)文法.