parsing - 删除左直接和间接递归

Question

    S->(L)|a
    L->L,S|S

    //Step 1

    i=1,j=1

    //do nothing



    //Step 2 

    //Substituting S in L production by productions of S
    i=2,j=1 to 1

    S->(L)|a
    L->L,(L)|(L)|L,a|a

    //removing left recursion

    S->(L)|a

    L->aA'|(L)A'             

    A'->,(L)A'|,aA'|epsilon

但是在 A' 生产中仍然存在间接递归

那么如何删除这个或者我做错了什么

这是编译器原则实践和工具中的问题 4.3.1