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集合，从而方便进行语法分析。

相关问题

void Grammar::CalculateFirstSet() { if(pCanEmptyTable == 0) MakeCanReachEmptyTable(); for(int i = 0; i < nVn; i ++) { Set tempSet; FirstSet.push_back(tempSet); } bool flag; do { flag = false; string strLeft, strRight; for(int i = 0; i< nP; i ++) { strLeft = P[i].GetLeft(); strRight = P[i].GetRight(); int iPos = Vn.FindPos(strLeft[0]); if (Vn.Find(strLeft[0])) { if ((strRight == "@")||(Vt.Find(strRight[0]))) flag |= FirstSet[iPos].Insert(strRight[0]); else { unsigned int j = 0; do { char cChar = strRight[j]; if (Vn.Find(cChar)) { flag |= (FirstSet[iPos].Add((GetFirstSet(cChar) - Set('@'))) != 0); if (!CanReachEmpty(cChar)) break; } j ++; }while(j < strRight.length()); if (j == strRight.length()) flag |= FirstSet[iPos].Insert('@'); } } } }while(flag); }代码详细解释

这是一个计算文法的First集的函数，主要实现以下功能：

1. 先判断是否已经计算出能够推出空串的非终结符集合，如果没有则调用MakeCanReachEmptyTable()函数计算。

2. 对于每个非终结符，都创建一个空的First集合。

3. 循环计算每个产生式的First集合，直到没有新元素加入集合为止。

4. 对于每个产生式A -> B1B2...Bn，如果B1是终结符或者空串，则将B1加入A的First集合。

5. 如果B1是非终结符，则将B1的First集合中除空串之外的元素加入A的First集合，如果B1能够推出空串，则继续判断B2，以此类推。

6. 如果所有的B都能够推出空串，则将空串加入A的First集合。

其中，Set是一个自定义的集合类型，Vn表示非终结符集合，Vt表示终结符集合，P是产生式集合。

void Grammar::CalculateFirstSet() { if(pCanEmptyTable == 0) MakeCanReachEmptyTable(); for(int i = 0; i < nVn; i ++) { Set tempSet; FirstSet.push_back(tempSet); } bool flag; do { flag = false; string strLeft, strRight; for(int i = 0; i< nP; i ++) { strLeft = P[i].GetLeft(); strRight = P[i].GetRight(); int iPos = Vn.FindPos(strLeft[0]); if (Vn.Find(strLeft[0])) { if ((strRight == "@")||(Vt.Find(strRight[0]))) flag |= FirstSet[iPos].Insert(strRight[0]); else { unsigned int j = 0; do { char cChar = strRight[j]; if (Vn.Find(cChar)) { flag |= (FirstSet[iPos].Add((GetFirstSet(cChar) - Set('@'))) != 0); if (!CanReachEmpty(cChar)) break; } j ++; }while(j < strRight.length()); if (j == strRight.length()) flag |= FirstSet[iPos].Insert('@'); } } } }while(flag); }代码详细解释

这段代码是一个计算非终结符的First集的函数。具体来说，函数的实现过程如下：

1. 首先，判断是否已经计算出能够推导出空的非终结符的集合，如果没有，就先计算出来。这个过程通过调用MakeCanReachEmptyTable()函数实现。

2. 然后，为每个非终结符创建一个空的First集。这个过程通过一个循环实现，每次循环都创建一个空的Set对象，并将其添加到FirstSet数组中。

3. 接下来，通过一个do-while循环不断计算First集，直到没有新的元素被加入到任何一个First集中为止。循环中的flag变量用于记录是否有元素被加入到任何一个First集中。

4. 在每次循环中，遍历所有的产生式，对于每个产生式：

- 获取产生式的左部非终结符和右部字符串。
- 根据左部非终结符的位置计算出对应的First集的下标。
- 如果左部非终结符是一个非终结符，那么根据右部字符串的内容计算出该非终结符的First集。

5. 具体地，如果右部字符串是空字符串或者右部的第一个字符是终结符，则将其加入当前非终结符的First集中。

6. 否则，遍历右部的每个字符，如果是非终结符，则将其对应的First集中除空之外的字符加入当前First集中，并判断该非终结符能否推导出空字符串，如果不能，则停止计算该非终结符的First集。

7. 最后，如果右部字符串中的所有字符都是非终结符，并且这些非终结符都能够推导出空字符串，则将空字符加入当前非终结符的First集中。

8. 最后，循环计算，直到没有新的元素被加入到任何一个First集中为止。