原文地址:编译原理 词法分析

编译原理

词法分析

词法分析的主要任务是从左至右逐个字符地对源程序进行扫描,产生一个个单词序列,用于语法分析。

1.正则表达式

对给定的字符集∑={c1,c2,...,cn},归纳定义:
1.空串ε是正则表达式
2.对于任意c∈∑,c是正则表达式
3.如果M和N是正则表达式,则下列表达式也是正则表达式
(1)选择 M|N={M,N}
(2)连接 MN={mn|m∈M,n∈N}
(3)闭包 M*={ε,M,MM,MMM,...}

2.正则表达式的扩展

(1)[c1-cn]==c1|c2|c3|...|cn
(2)e+==一个或多个e
(3)e?==零个或一个e
(4)"a*"==a*自身,不是a的Kleen闭包
(5)e{i,j}==i到j个e的连接

3.状态转换图

状态转换图有一组被称为“状态”的结点或圆圈。词法分析器在扫描输入串的过程中寻找和某个模式匹配的词素,而
转换图中的每个状态代表一个可能在这个过程中出现的情况。

对于

的状态转换图为

4.有穷自动机

有穷自动机是识别器,只能对每个可能的输入串简单地回答“是”或“否”。

(1)有穷自动机分两种

1)不确定的有穷自动机(NFA):对其边上的标号没有任何限制。一个符号标记离开同一状态的多条边,
并且空串ε也可以作为标号。
2)确定的有穷自动机(DFA):对于每个状态及自动机输入字母表中的每个符号,有且只有一条离开该状态、以该符
号为标号的边。

(2)不确定的有穷自动机(NFA)

一个不确定的有穷自动机(NFA)由以下几个部分组成:
1)一个有穷的状态集合S。
2)一个输入符号集合∑,即输入字母表。(ε∉∑)
3)一个转换函数,它为每个状态和∑∪{ε}中的每个符号都给出了相应的后继状态的集合。
4)S中的一个状态s0被指定为开始状态,或者初始状态。
6)S的一个子集F被指定为接受状态(或终止状态)的集合。

(3)确定的有穷自动机(DFA)

确定的有穷自动机是不确定有穷自动机的一个特例。其中:
1)没有输入ε之上的转换动作。
2)对于每个状态s和每个输入符号a,有且只有一条标号为a的边离开s。

5.从正则表达式构造NFA(Thompson算法)

输入:字母表∑上的一个正则表达式r.
输出:一个接受L(r)的NFA N.
方法:首先对r进行语法分析,分解出组成它的子表达式。构造一个NFA的规则分为基本规则和归纳规则两组。
基本规则处理不包含运算符的子表达式,而归纳规则根据一个给定表达式的直接子表达式的NFA构造出这个表达式的NFA。

(1)基本规则:

1)对于表达式ε,构造下面的NFA
2)对于字母表中的子表达式a,构造下面的NFA

(2)归纳规则:假设正则表达式s和t的NFA分别为N(s)和N(t)

3)假设r=s|t,构造下面的NFA,这里i和f是新状态,分别是N(r)的开始状态和接受状态。从i到N(s)和N(t)的开始状态各
有一个ε转换,从N(s)和N(t)到接受状态f也各有一个ε转换。
4)假设r=st,构造下面的NFA,N(s)的开始状态变成了N(r)的开始状态。N(t)的接受状态成为N(r)的唯一接受状态。N(s)的
接受状态和N(t)的开始状态合并为一个状态,合并后的状态拥有原来进入和离开合并前的两个状态的全部转换。
5)假设r=s*,构造下面的NFA,i和f是两个新状态,分别是N(r)的开始状态和唯一的接受状态。要从i到达f,我们可以沿着新引入
的标号为ε的路径前进,这个路径对应于L(s)的一个串。我们也可以到达N(s)的开始状态,然后经过该NFA,再零次或多次从它的
接受状态回到它的开始状态并重复上述过程。

(3)利用Thompson算法为正则表达式r=(a|b)*abb构造一个NFA

1)首先画出语法分析树
2)对于表达式r1=a,r2=b构造NFA
3)对于表达式r3=r1|r2构造NFA
4)对于表达式r5=r3*构造NFA
5)对于表达式r6=r1r2构造NFA
6)对于表达式r7=r5r6构造NFA
7)同理最后可以得到NFA

6.由NFA构造DFA的子集构造算法(subset construction)

输入:一个NFA N.
输出:一个接受同样语言的DFA D.
方法:我们为D构造一个转换表Dtran,D的每个状态是一个NFA状态集合,我们将构造Dtran,使得D"并行地"模拟N在遇到一个
给定输入串时可能执行的所有动作。我们面对的第一个问题是正确处理N的ε转换。

下面给定了一些函数的定义,这些函数描述了一些需要在这个算法中执行的N的状态集上的基本操作,s表示N的单个状态,T代表N的一个状态集。

我们需要找出当N读入了某个输入串之后可能位于的所有状态集合。
首先,在读入第一个输入符号之前,N可以位于集合ε-closure(s0)中的任何状态上,其中s0是N的开始状态。下面进行归纳定义,
假定N在读入输入串x之后可以位于集合T中的状态上。如果下一个输入符号是a,那么N可以立即移动到move(T,a)中的任何状态。
然而,N可以在读入a后再执行几个ε转换,因此N在读入xa之后可位于ε-closure(move(T,a))中的任何状态上。
ε-closure(T)的计算:从一个状态集合开始,所有只存在标号为ε的边都加入T

对于上面由Thompson算法为正则表达式r=(a|b)*abb构造一个NFA,我们将这个NFA转换成一个DFA

首先,NFA的开始状态A是ε-closure(0),即A={0,1,2,4,7},NFA的输入字母表是{a,b},则
Dtran[A,a]=ε-closure(move(A,a))=ε-closure({3,8})={1,2,3,4,6,7,8},令B=Dtran[A,a]
Dtran[A,b]=ε-closure(move(A,b))=ε-closure({5})={1,7},令C=Dtran[A,b]
Dtran[B,a]=ε-closure(move(B,8}=B
Dtran[B,b]=ε-closure(move(B,b))=ε-closure({5,9})={1,5,9},令D=Dtran[B,b]
Dtran[C,a]=ε-closure(move(C,8}=B
Dtran[C,b]=ε-closure(move(C,7}=C
Dtran[D,a]=ε-closure(move(D,8}=B
Dtran[D,b]=ε-closure(move(D,10})={1,10},令E=Dtran[D,b]
Dtran[E,a]=ε-closure(move(E,8}=B
Dtran[E,b]=ε-closure(move(E,7}=C

所有DFA的转换表Dtran

根据转换表可以得到DFA

7.最小化一个DFA的状态数量

输入:一个DFA D,其状态集合为S,输入字母表为∑,开始状态为s0,接受状态为F。
输出:一个DFA D',它和D接受同样的语言,且状态数最少。
方法:
1)首先构造包含两个组F和S-F的初始划分II,这两个组分别是D的接受状态组和非接受状态组。
2)用下面的构造新的分划IInew
3)如果IInew=II,令IIfinal=II并接着执行步骤4),否则,用IInew替换II并重复步骤2)。
4)在分划IIfinal的每个组中选取一个状态作为该组的代表。这些代表构成了状态最少DFA D'的状态。
D'的其他部分按如下步骤构建:
(a)D'的开始状态是包含了D的开始状态的组的代表。
(b)D'的接受状态是那些包含了D的接受状态的组的代表。
(c)令s是IIfinal中某个组G的代表,并令DFA D中在输入a上离开s的转换到达状态t。令r为t所在组H的代表。
那么在D'中存在一个从s到r在输入a上的转换。

对上面的DFA最小化

首先初始划分包括两个组{A,B,C,D},{E},分别是非接受状态组和接受状态组。构造IInew时,考虑这两个组
和输入符号a和b,因为组{E}只包含一个状态,不能再被分割,所以{E}被原封不动的保留在IInew中。对于
{A,D},是可以被分割的,因此我们必须考虑各个输入符号的作用,在输入a上,这些状态中的每一个都
转到B,因此使用以a开头的串无法区分这些状态。但对于输入b,状态A、B、C都转换到{A,D}的某个成
员上,而D转到另一组中的成员E上,因此在IInew中,{A,D}被分割成{A,C},{D},现在IInew中有
{A,C},{D},{E}。对于{A,C},在输入b上,A和C都到达{A,C}中的元素,B却到达D上,所有IInew
有{A,C},{B},{D},对于{A,C}无法在分割。
所有最后有{A,{E},构造如下的DFA

编译原理 词法分析的更多相关文章

  1. HTML5数字输入仅接受整数的实现代码

    这篇文章主要介绍了HTML5数字输入仅接受整数的实现代码,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下

  2. ios – 使用大写符号在字符串swift中获取URL的正则表达式

    我尝试在文本中获取URL.所以,在此之前,我使用了这样一个表达式:但是当用户输入带有大写符号的URL时(例如Http://Google.com,它与它不匹配)我遇到了问题.我试过了:但什么都没发生.解决方法您可以使用正则表达式中的i内联标志关闭区分大小写,有关可用正则表达式功能的详细信息,请参阅FoundationFrameworkReference.(?ismwx-ismwx)Flagsetti

  3. ios – 如何在Swift 3中使用正则表达式?

    解决方法我相信.当没有其他选项适用时,将使用.allZeros.因此,使用Swift3,您可以传递一个空的选项列表或省略options参数,因为它默认为无选项:要么请注意,在Swift3中,您不再使用error参数.它现在抛出.

  4. ios – lldb断点在类目标c中的所有方法

    如何使用lldb在ObjectiveC类中的所有方法上自动设置断点?

  5. Swift与Objective-C:重新认识苹果的编程语言(1)

    Objective-C那极为有限的使用面也带来负面影响,即迫使该语言不得不面向利基市场。iPhoneSDK的迅速走红让一切有了转机,由于它只允许开发者选择Objective-C,这款面向对象的语言也开始席卷世界各地。Objective-C与苹果一直拥有难以置信的默契与出人意料的和谐。这是由于Objective-C与Cocoa框架之间存在着紧密的联系,Objective-C所使用的一系列设计模式能够显著提高该框架的执行效率。

  6. [翻译]Swift编程语言——高级操作符

    高级操作符在前面的基本操作符之外,为了做更复杂的值操作,Swift还提供了若干高级操作符。不同于C中的算术操作符,Swfit中的算术操作符不会默认溢出。Swift使得为这些自定义的类型量身打造标准操作符的实现变得很轻松。预定义操作符没有任何限制,Swift提供了定制中缀、前缀、后缀和指派操作符的自由。Swfit提供所有的C支持的按位操作符,下文有具体描述。CSS颜色值#CC6699依据Swift的十六进制表示法被写作0xCC6699。)有符号整型用它们的第一个bit来表示正负。

  7. swift的正则表达式(NSRegularExpression)

    init(_pattern:String){varerror:NSError?

  8. swift 正则表达式运用实例选自《swifter 100个swift开发必备tip 》

  9. swift算法实践4)-trie自动机

    1、trie自动机是识别字符串的确定性有向无环自动机2、图示3、构造代码F包括了状态q所对应的P中的字符串

  10. swift手记-trie自动机

    1、trie自动机是识别字符串的确定性有向无环自动机2、图示3、构造代码F包括了状态q所对应的P中的字符串

随机推荐

  1. 法国电话号码的正则表达式

    我正在尝试实施一个正则表达式,允许我检查一个号码是否是一个有效的法国电话号码.一定是这样的:要么:这是我实施的但是错了……

  2. 正则表达式 – perl分裂奇怪的行为

    PSperl是5.18.0问题是量词*允许零空间,你必须使用,这意味着1或更多.请注意,F和O之间的空间正好为零.

  3. 正则表达式 – 正则表达式大于和小于

    我想匹配以下任何一个字符:或=或=.这个似乎不起作用:[/]试试这个:它匹配可选地后跟=,或者只是=自身.

  4. 如何使用正则表达式用空格替换字符之间的短划线

    我想用正则表达式替换出现在带空格的字母之间的短划线.例如,用abcd替换ab-cd以下匹配字符–字符序列,但也替换字符[即ab-cd导致d,而不是abcd,因为我希望]我如何适应以上只能取代–部分?

  5. 正则表达式 – /bb | [^ b] {2} /它是如何工作的?

    有人可以解释一下吗?我在t-shirt上看到了这个:它似乎在说:“成为或不成为”怎么样?我好像没找到’e’?

  6. 正则表达式 – 在Scala中验证电子邮件一行

    在我的代码中添加简单的电子邮件验证,我创建了以下函数:这将传递像bob@testmymail.com这样的电子邮件和bobtestmymail.com之类的失败邮件,但是带有空格字符的邮件会漏掉,就像bob@testmymail也会返回true.我可能在这里很傻……当我测试你的正则表达式并且它正在捕捉简单的电子邮件时,我检查了你的代码并看到你正在使用findFirstIn.我相信这是你的问题.findFirstIn将跳转所有空格,直到它匹配字符串中任何位置的某个序列.我相信在你的情况下,最好使用unapp

  7. 正则表达式对小字符串的暴力

    在测试小字符串时,使用正则表达式会带来性能上的好处,还是会强制它们更快?不会通过检查给定字符串的字符是否在指定范围内比使用正则表达式更快来强制它们吗?

  8. 正则表达式 – 为什么`stoutest`不是有效的正则表达式?

    isthedelimiter,thenthematch-only-onceruleof?PATTERN?

  9. 正则表达式 – 替换..与.在R

    我怎样才能替换..我尝试过类似的东西:但它并不像我希望的那样有效.尝试添加fixed=T.

  10. 正则表达式 – 如何在字符串中的特定位置添加字符?

    我正在使用记事本,并希望使用正则表达式替换在字符串中的特定位置插入一个字符.例如,在每行的第6位插入一个逗号是什么意思?如果要在第六个字符后添加字符,请使用搜索和更换从技术上讲,这将用MatchGroup1替换每行的前6个字符,后跟逗号.

返回
顶部