递归下降解析器中的无限递归

如何解决递归下降解析器中的无限递归

我正在尝试为以下语法设计递归下降解析器-

S -> SSyy|A|epsilon
A -> AAzz|x|B
B -> BBxx|y|epsilon

去除左递归和左分解后，我得到以下语法-

S  -> AS'|epsilon
S' -> SyyS'|epsilon
A  -> xA'|BA'
A' -> AzzA'|epsilon
B  -> yB'|epsilon
B' -> BxxB'|epsilon

然后我用C写了下面的代码来实现解析器-

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
char str[50];
int i = 0,f = 0;
void S();
void Sd();
void A();
void Ad();
void B();
void Bd();
void S()
{
printf("In S(). i = %d\n",i);
A();
Sd();
}

void Sd()
{
printf("In Sd(). i = %d\n",i);
S();
if(str[i] == 'y')
{
i++;
if(str[i] == 'y')
{
i++;
Sd();
}
else
i--;
}
}


void A()
{
printf("In A(). i = %d\n",i);
if(str[i] == 'x')
{
i++;
Ad();
}
else
{
B();
Ad();
}
}

void Ad()
{
printf("In Ad(). i = %d\n",i);
A();
if(str[i] == 'z')
{
i++;
if(str[i] == 'z')
{
i++;
Ad();
}
else
i--;
}
}

void B()
{
printf("In B(). i = %d\n",i);
if(str[i] == 'y')
{
i++;
Bd();
}
}

void Bd()
{
printf("In Bd(). i = %d\n",i);
B();
if(str[i] == 'x')
{
i++;
if(str[i] == 'x')
{
i++;
Bd();
}
else
i--;
}
}



void main()
{
printf("Enter: ");
scanf("%s",str);
S();
if(strlen(str) == i && f == 0)
{
printf("Successfully parsed.");
}
else
{
printf("Errroorrrr");
}
}

我根据一些关于此主题的 YouTube 视频撰写了这篇文章。程序无限运行，直到出现分段错误。我可以理解为什么会发生无限递归调用，但我不知道如何解决。有人可以帮我为给定的语法设计一个解析器吗？