void Grammar::CalculateFollowSet() { if(pCanEmptyTable == 0) MakeCanReachEmptyTable(); for(int i = 0; i < nVn; i ++) { Set tempSet; FollowSet.push_back(tempSet); } FollowSet[Vn.FindPos(cStart)].Insert('#'); bool flag = false; do { flag = false; for(int i = 0; i < nP; i ++) { string strLeft, strRight; strLeft = P[i].GetLeft(); strRight = P[i].GetRight(); for ( unsigned int j = 0; j < strRight.length() - 1; j++) { char cChar = strRight[j]; if (Vn.Find(cChar)) { string temp; for(unsigned int k = j + 1; k < strRight.length(); k++) //temp.push_back(strRight[k]); temp += strRight[k]; Set firstset = GetFirstSet(temp); flag |= (FollowSet[Vn.FindPos(cChar)].Add(firstset - Set('@')) != 0); if (CanReachEmpty(temp)) { flag |= (FollowSet[Vn.FindPos(cChar)].Add(GetFollowSet(strLeft[0])) != 0); } } } if (Vn.Find(strRight[strRight.length() -1])) flag |= (FollowSet[Vn.FindPos(strRight[strRight.length() -1])].Add(GetFollowSet(strLeft[0])) != 0); } }while(flag); }这段代码详细解释
时间: 2024-03-30 12:38:08 浏览: 41
这段代码是一个计算文法中非终结符的Follow集的函数,函数名为CalculateFollowSet()。它首先判断是否已经计算了能够到达空串的非终结符的集合,如果没有就调用MakeCanReachEmptyTable()函数进行计算。然后对于每个非终结符,创建一个空的集合并将其添加到FollowSet中。接着将开始符号对应的Follow集合初始化为#。然后进入一个循环,首先将flag标志设置为false,然后遍历所有产生式。对于每个产生式的右部,如果其中的字符是非终结符,就将其后面的字符作为一个字符串,并计算该字符串的First集合,将其中不含空串的元素加入到当前非终结符对应的Follow集合中,如果该字符串可以推导出空串,就将产生式左部对应的非终结符的Follow集合加入到当前非终结符对应的Follow集合中。如果右部的最后一个字符是非终结符,同样将左部对应的非终结符的Follow集合加入到该非终结符对应的Follow集合中。最后检查是否有集合发生了变化,如果有就将flag标志设置为true,继续循环直到没有集合发生变化为止。
相关问题
void Grammar::CalculateFollowSet() { if(pCanEmptyTable == 0) MakeCanReachEmptyTable(); for(int i = 0; i < nVn; i ++) { Set tempSet; FollowSet.push_back(tempSet); } FollowSet[Vn.FindPos(cStart)].Insert('#'); bool flag = false; do { flag = false; for(int i = 0; i < nP; i ++) { string strLeft, strRight; strLeft = P[i].GetLeft(); strRight = P[i].GetRight(); for ( unsigned int j = 0; j < strRight.length() - 1; j++) { char cChar = strRight[j]; if (Vn.Find(cChar)) { string temp; for(unsigned int k = j + 1; k < strRight.length(); k++) //temp.push_back(strRight[k]); temp += strRight[k]; Set firstset = GetFirstSet(temp); flag |= (FollowSet[Vn.FindPos(cChar)].Add(firstset - Set('@')) != 0); if (CanReachEmpty(temp)) { flag |= (FollowSet[Vn.FindPos(cChar)].Add(GetFollowSet(strLeft[0])) != 0); } } } if (Vn.Find(strRight[strRight.length() -1])) flag |= (FollowSet[Vn.FindPos(strRight[strRight.length() -1])].Add(GetFollowSet(strLeft[0])) != 0); } }while(flag); } 代码超级详细解释
这是一个计算文法的Follow集的函数,主要实现以下功能:
1. 先判断是否已经计算出能够推出空串的非终结符集合,如果没有则调用MakeCanReachEmptyTable()函数计算。
2. 对于每个非终结符,都创建一个空的Follow集合。
3. 将起始符号的Follow集合设置为“#”。
4. 循环计算每个产生式的Follow集合,直到没有新元素加入集合为止。
5. 对于每个产生式A -> B1B2...Bn,将B1的Follow集合加入B2的Follow集合,B2的Follow集合加入B3的Follow集合,以此类推。
6. 如果Bn能够推出空串,则将A的Follow集合加入Bn-1的Follow集合。
7. 如果Bn是非终结符,则将A的Follow集合加入Bn的Follow集合。
现在我们来详细解释一下函数的具体实现:
首先,我们创建一个空的Follow集合,用于存储每个非终结符的Follow集合。
然后,我们将起始符号的Follow集合设置为“#”。
进入主循环,我们对于每个产生式A -> B1B2...Bn,从左到右扫描B1到Bn-1,进行如下操作:
1. 如果B1是非终结符,则将A的Follow集合加入B1的Follow集合。
2. 如果Bn能够推出空串,则将A的Follow集合加入Bn-1的Follow集合。
3. 对于B1到Bn-1中的每个非终结符B,将B的Follow集合加入B+1的Follow集合。
接下来,我们处理Bn,如果Bn是非终结符,则将A的Follow集合加入Bn的Follow集合。
最后,我们判断是否有新元素加入Follow集合,如果有则继续循环,否则跳出循环。
其中,Set是一个自定义的集合类型,Vn表示非终结符集合,P是产生式集合,cStart表示文法的起始符号。
void Grammar::CalculateFollowSet() { if(pCanEmptyTable == 0) MakeCanReachEmptyTable(); for(int i = 0; i < nVn; i ++) { Set tempSet; FollowSet.push_back(tempSet); } FollowSet[Vn.FindPos(cStart)].Insert('#'); bool flag = false; do { flag = false; for(int i = 0; i < nP; i ++) { string strLeft, strRight; strLeft = P[i].GetLeft(); strRight = P[i].GetRight(); for ( unsigned int j = 0; j < strRight.length() - 1; j++) { char cChar = strRight[j]; if (Vn.Find(cChar)) { string temp; for(unsigned int k = j + 1; k < strRight.length(); k++) //temp.push_back(strRight[k]); temp += strRight[k]; Set firstset = GetFirstSet(temp); flag |= (FollowSet[Vn.FindPos(cChar)].Add(firstset - Set('@')) != 0); if (CanReachEmpty(temp)) { flag |= (FollowSet[Vn.FindPos(cChar)].Add(GetFollowSet(strLeft[0])) != 0); } } } if (Vn.Find(strRight[strRight.length() -1])) flag |= (FollowSet[Vn.FindPos(strRight[strRight.length() -1])].Add(GetFollowSet(strLeft[0])) != 0); } }while(flag); } 代码实现详细思路解释
这段代码是用于计算文法中各个非终结符的Follow集合。下面是具体的实现思路:
1. 首先判断是否已经计算了能够到达空串的非终结符的集合,如果没有就调用MakeCanReachEmptyTable()函数进行计算。
2. 为每个非终结符创建一个空的集合,并将其添加到FollowSet中。对于开始符号,将其对应的Follow集合初始化为#。
3. 进入一个循环,首先将flag标志设置为false,然后遍历所有产生式。对于每个产生式的右部,如果其中的字符是非终结符,就将其后面的字符作为一个字符串,并计算该字符串的First集合。将其中不含空串的元素加入到当前非终结符对应的Follow集合中。
4. 如果该字符串可以推导出空串,就将产生式左部对应的非终结符的Follow集合加入到当前非终结符对应的Follow集合中。
5. 如果右部的最后一个字符是非终结符,同样将左部对应的非终结符的Follow集合加入到该非终结符对应的Follow集合中。
6. 最后检查是否有集合发生了变化,如果有就将flag标志设置为true,继续循环直到没有集合发生变化为止。
7. 循环结束后,FollowSet中存储了每个非终结符的Follow集合。
通过这种方法,可以通过文法中的产生式推导出各个非终结符的Follow集合,从而方便进行语法分析。
阅读全文