LL(1)文法系列(一)first集和follow集

Problem Description

已知文法G[S]的表达式,计算文法中终结符的first集和follow集。在文法G[S]中使用’@代表空。

 

现在我们规定文法G[S]中每个表达式只包含一个语句,也就是说不会含有S->A|B这样的表达式。

Input

第一行输入一个n(n<10),表示表达式的个数,接下来n行,每行一个表达式。终结符和非终结符的个数都小于10

Output

按照终结符和非终结符输入的顺序输出。如果集合中包含@’#’要求@’位于第一个,#’位于最后一个。
输出格式为:
first[c] = a b c
follow[c] = a b c
每个非终结符后都有空格

Sample Input

4
S->ABC
A->a
B->@
C->c

Sample Output

first[S] = a 
first[A] = a 
first[B] = @ 
first[C] = c 
follow[S] = # 
follow[A] = c 
follow[B] = c 
follow[C] = # 

code:

#include <bits/stdc++.h>

using namespace std;

struct node
{
    char s1[50], s2[50];
}g[100];

char s[110];
int num;
map<char, int> Map1;
map<char, int> Map2;

int Map1_num;
int Map2_num;

char s1[110], s2[110];

int first[50][50];
int follow[50][50];

int vis[110];
int acc[50];

int select1[100][50];

int c[50][50];
char sta[110];

int cnt;

void dfs1(char ch, int dis[])
{
    if(acc[Map1[ch]])
    {
        for(int i = 1;i<=Map2_num;i++)
        {
            dis[i] = first[Map1[ch]][i];
        }
        return;
    }
    int value[20];
    memset(value, 0, sizeof(value));
    for(int i = 1;i<=num;i++)
    {
        if(vis[i]) continue;
        if(g[i].s1[0]!=ch) continue;
        int j, k, len = strlen(g[i].s2);
        for(j = 0;j<len;j++)
        {
            if(Map1[g[i].s2[j]])
            {
                vis[i] = 1;
                dfs1(g[i].s2[j], value);
                for(k = 2;k<=Map2_num;k++)
                {
                    if(value[k]) dis[k] = 1;
                }
                if(value[1] == 0) return;
            }
            else
            {
                dis[Map2[g[i].s2[j]]] = 1;
                break;
            }
        }
        if(j == len)
        {
            dis[1] = 1;
        }
    }
    return;
}

void dfs2(char ch, int dis[])
{
    int i, j, k, len, flag = 0;
    if(acc[Map1[ch]])
    {
        for(int i = 1;i<=Map2_num;i++)
        {
            dis[i] = follow[Map1[ch]][i];
        }
        return;
    }
    for(i = 1;i<=num;i++)
    {
        len = strlen(g[i].s2);
        for(j = 0;j<len;j++)
        {
            if(g[i].s2[j] == ch)
            {
                flag = 1;
                continue;
            }
            if(!flag) continue;
            if(Map1[g[i].s2[j]])
            {
                for(k = 2;k<=Map2_num;k++)
                {
                    if(first[Map1[g[i].s2[j]]][k])
                    {
                        dis[k] = 1;
                    }
                }
                if(!first[Map1[g[i].s2[j]]][1])
                {
                    flag = 0;
                }
            }
            else
            {
                dis[Map2[g[i].s2[j]]] = 1;
                flag = 0;
            }
        }
        if(!flag||vis[i]) continue;
        int value[20];
        memset(value, 0, sizeof(value));
        vis[i] = 1;
        dfs2(g[i].s1[0], value);
        for(i = 1;i<=Map2_num;i++)
        {
            if(value[i]) dis[i] = 1;
        }
    }
}

int main()
{
    int i, j, len;

    num = Map1_num = Map2_num = 0;
    Map1.clear();
    Map2.clear();

    Map2['@'] = ++Map2_num;
    s2[Map2_num] = '@';
    int m;
    scanf("%d", &m);
    while(m--)
    {
        scanf("%s", s);
        len = strlen(s);
        num++;
        for(i = 0;i<1;i++)
        {
            g[num].s1[i] = s[i];
            if(!Map1[s[i]])
            {
                Map1[s[i]] = ++Map1_num;
                s1[Map1_num] = s[i];
            }
        }

        g[num].s1[i] = '\0';
        for(i = 3;i<len;i++)
        {
            g[num].s2[i-3] = s[i];
            if(s[i]>='A'&&s[i]<='Z')
            {
                if(!Map1[s[i]])
                {
                    Map1[s[i]] = ++Map1_num;
                    s1[Map1_num] = s[i];
                }
            }
            else
            {
                if(!Map2[s[i]])
                {
                    Map2[s[i]] = ++Map2_num;
                    s2[Map2_num] = s[i];
                }
            }
        }
        g[num].s2[i-3] = '\0';
    }

    memset(first, 0, sizeof(first));
    memset(acc, 0, sizeof(acc));

    for(i = 1;i<=Map1_num;i++)
    {
        int value[20];
        memset(vis,0,sizeof(vis));
        memset(value,0,sizeof(value));
        dfs1(s1[i],value);
        for(j = 1 ; j <= Map2_num; j++)
        {
            first[i][j] = value[j] ;
        }
        acc[i] = 1 ;
        printf("first[%c] = ", s1[i]);
        for(j = 1 ; j <= Map2_num ; j++)
        {
            if( first[i][j] )
            {
                printf("%c ", s2[j]);
            }
        }
        printf("\n");
    }

    Map2['#'] = ++Map2_num ;
    s2[ Map2_num ] = '#' ;
    memset(follow,0,sizeof(follow));
    memset(acc,0,sizeof(acc));
    for(i = 1 ; i <= Map1_num ; i++)
    {
        int value[20] ;
        memset(vis,0,sizeof(vis)) ;
        memset(value,0,sizeof(value));
        if( s1[i] == 'S' ) 
        {
            value[ Map2['#'] ] = 1 ;
        }
        dfs2(s1[i],value);
        for(j = 1 ; j <= Map2_num; j++)
        {
            follow[i][j] = value[j] ;
        }
        acc[i] = 1 ;
        printf("follow[%c] = ", s1[i]);
        for(j = 1 ; j <= Map2_num ; j++)
        {
            if( follow[i][j] )
            {
                printf("%c ", s2[j]);
            }
        }
        printf("\n");
    }
    return 0;
}

 

  • 0
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: LL(1)文法的First是指对于每个非终结符,它所能推导出的所有字符串的首字符的合。例如,对于文法S->aB|bC,B->c,C->d,S的First为{a,b},B的First为{c},C的First为{d}。 LL(1)文法Follow是指对于每个非终结符,它所在产生式右侧的所有符号的Follow的并。例如,对于文法S->aB|bC,B->c,C->d,S的Follow为{$},B的Follow为{$},C的Follow为{$}。其中,$表示输入串的结束符号。 ### 回答2: LL(1)文法是一种上下文无关文法,它具有一个特殊的性质,即在输入符号、栈和向前看符号(特定的字符序列)给定时,可以唯一确定要采取的产生式。这种文法对于语法分析非常重要,因为它是可以实现自顶向下解析的。在LL(1)文法中,firstfollow是两个重要的合,它们被用来构造LL(1)分析表。 First是一个合,它包含所有的终结符串,也可以是空串,它可以首先出现在生成式中的非终结符的合。换句话说,First可以表示由某个符号开始的所有终止符号串的合。具体的说,对于一个非终结符A,它的first包含A的一个直接导出终止符T的合,即First(A) = {T1,T2,T3,...}。如果一个非终结符可以推导出一个或多个规则,那么它的first是所有规则的first的并。如果一个非终结符可以推导出空,那么空也被认为是first中的一部分。 Follow是一个非终结符的合,它表示在任何可能的情况下,这个非终结符可能出现的终止符号合。在语法分析器中,它用于识别符号串中结束非终结符后的终止符号。具体的说,对于一个非终结符A,它的follow合是以A的右侧的非终结符为起点,或者在其他位置以A开始的所有规则的first的并。如果A是输入符号串中的第一个符号,则它的follow也包括输入符号串的结束符号。如果A可以推导出一个或多个规则,那么它的follow是所有规则的follow的并。如果一个非终结符可以推导出空,那么它的follow不会受到任何影响。一般来说,在LL(1)分析中,我们必须计算follow,因为它被用来区分在一个产生式中使用的非终结符。 在LL(1)分析器中,firstfollow非常重要,因为它们可以用来构造一个分析表。这个分析表可以根据输入符号的第一个符号和向前看符号,来决定采取哪个产生式。然后,我们可以在参数栈上推入符号串,直到我们获得输入符号串。当我们获得一个输入符号串时,我们将删除该符号串,并取出新符号串,继续处理直到结束。总之,firstfollowLL(1)文法中非常重要的工具,它们被用来构造LL(1)分析器,这是一种很有用的技术用于语法分析和编译器的开发中。 ### 回答3: LL(1)文法是一种文法范式,它对于识别LL(1)语法的字符串具有重要作用,最常见的用于编译器的前端分析,如语法检查、语法分析、语法规则等。其中最重要的两个合就是First合和Follow合。 First是指一个产生式(规则)中的首个终结符号,它可被统称为该规则的FIRST合。对于一个LL(1)文法G,G的每个非终结符号A的FIRST(A)合由以下规则构成: 1.如果 X 是一个终结符号,则 First(X) = {X} 2.如果 X 是一个非终结符号,则 First(规则中首个符号)∈First(X) 3.假设 X => ε*,则 First(X)∈First(A) 其中,第2条规则是First合的最关键的规则,它描述了非终结符号的FIRST合能够从规则的右边第一个符号合获得。这个规则告诉我们,在生成语法树过程中,第一个符号就是最重要的,它能够决定如何生成树。 另外,Follow是一个非终结符的后继符号合,它与First合紧密相关。对于LL(1)文法的每个非终结符号A,它的Follow(A)合创建的规则如下: 1. S(起始符号)∈Follow(S) 2. 如果有A -> BC,那么FIRST(C)∈Follow(B) 3. 如果有A -> B,或者 A -> Bx,其中FIRST(x)包含ε,则Follow(A)∈Follow(B) 其中,规则2告诉我们,在一个非终结符符号(B)后面输入C之前,需要知道C的FIRST合,这样就可以进行分析计算,方便从而生成语法树,并进行分析检测。 综上所述,FirstFollowLL(1)文法中非常重要的两个合,它们决定了该模型的生成语法树过程,因此,在进行编译器的错误检测、修正等操作的过程中,需要熟悉这些合的相关规则。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值