怎样求FIRST集、FOLLOW集和SELECT集

本文介绍了形式语言与自动机理论中的几个基本概念,包括终结符与非终结符的区别、文法产生语言句子的基本思想、FIRST集、FOLLOW集及SELECT集的求法等。

一、终结符和非终结符

终结符:通俗的说就是不能单独出现在推导式左边的符号,也就是说终结符不能再进行推导。

非终结符:不是终结符的都是非终结符。(非男即女,呵呵)

如:A——>B,则A是非终结符。

(一般书上终结符用小写,非终结符用大写。)

二、文法产生语言句子的基本思想

从识别符号(开始符)开始,把当前产生的符号串中的非终结符替换为相应规则右部的符号串,直到全部由终结符组成。

三、FIRST集求法

    First集合最终是对产生式右部的字符串而言的,但其关键是求出非终结符的First集合,由于终结符的First集合就是它自己,所以求出非终结符的First集合后,就可很直观地得到每个字符串的First集合。

1. 直接收取:对形如U->a…的产生式(其中a是终结符),把a收入到First(U)中

2. 反复传送:对形入U->P…的产生式(其中P是非终结符),应把First(P)中的全部内容传送到First(U)中【意思就是只需要把第一个非终结符的First集传过去~这个地方是要注意的地方,也是难点】。

四、FOLLOW集的求法

    Follow集合是针对非终结符而言的,Follow(U)所表达的是句型中非终结符U所有可能的后随终结符号的集合,特别地,“#”是识别符号的后随符。注意Follow集合是从开始符号S开始推导。

1. 直接收取:注意产生式右部的每一个形如“…Ua…”的组合,把a直接收入到Follow(U)中。因a是紧跟在U后的终结符。

2.直接收取:对形如“…UP…”(P是非终结符)的组合,把First(P)直接收入到Follow(U)中【在这里,如果First(P)中有空字符,那么就要把左部(假设是S)的Follow(S)送入到Follow(U)中。还有就是Follow集中是没有空字符的】。

3. 直接收取:若S->…U,即以U结尾,则#∈Follow(U)

4.*反复传送:对形如U->…P的产生式(其中P是非终结符),应把Follow(U)中的全部内容传送到Follow(P)中。

五、SELECT集的求法

对于产生式A—>α。集合select(A—>α)定义如下:

1. 若α不能推出ε,则select(A—>α) = first(α)。

2. 若α能推出ε,则select(A—>α)= first(α)∪ follow(A)。

 

转载于:https://www.cnblogs.com/Patrick-L/p/5979011.html

在编译原理中,FirstFollowSelect是用于描述文法分析中的关键概念。这里简述它们的含义: 1. **First**:First合表示给定一个非终结符或 terminals (终结符) ,所有出现在它直接右部的字符串的第一个字符组成的合。例如,如果有一个非终结符A,其产生式是A -> aB | bC,那么A的第一就是{a}。 ```c typedef struct { int symbol; char* first_set[26]; // 假设我们用小写字母作为字符,大小是26 } FirstTable; void compute_first_set(FirstTable* table, const Grammar* grammar) { for (/* each production rule */) compute_first_of_production(table, grammar); } ``` 2. **Follow**:Follow是针对文法中的某个符号,紧跟在其后的最右边的终结符合。Follow(A) 包含 A->*的所有可能终结符序列中的最后一个字符,对于文法来说,这有助于确定何时结束识别过程。 ```c typedef struct { char* follow_set[26]; } FollowTable; void compute_follow_set(FollowTable* table, const Grammar* grammar) { for (/* each production rule */) compute_follow_of_production(table, grammar); } ``` 3. **Select**:Select在LR分析中特别重要,它是Follow的一种特殊形式,只包含那些在shift-reduce冲突解决中需要的终结符,即那些在状态机的reduce动作之后可以直接读取的终结符。 ```c typedef struct { char* select_set[26]; } SelectTable; void compute_select_set(SelectTable* table, const FollowTable& follow_table, const Grammar* grammar) { for (/* each state in LR parsing table */) compute_select_in_state(table, follow_table, grammar); } ``` 实现这些合通常会涉及到遍历文法规则,并基于上下文无关文法的性质来填充表。以上代码片段仅提供了一个基本的框架,实际实现可能会更复杂,需要考虑更多的细节,如处理左递归等特殊情况。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值