8.2 正则表达式的匹配过程

正则表达式所使用的理论模型就是有穷自动机,其具体实现称为正则引擎(regex engine)。用正则表达式处理字符串,首先需要生成自动机(“编译”正则对象);之后无论输入什么字符串,正则引擎都只需要老老实实地在状态之间游走。

图8-2显示了正则表达式a(bb)+a对应的自动机。

[图片上传失败...(image-cd0daa-1545311176685)]

在这台有穷自动机中,s0、s1…、s4是各个状态,s0为开始状态,s4为最终状态;转移函数很直观:比如当前状态是s0,输入字符a,则转移到s1;如果当前状态s0,输入的不是a,则直接退出。这也很好理解:该正则表达式只能匹配以a开头的字符串,否则不匹配。

图8-3说明了这台有穷自动机对字符串abbbba的处理过程。

[图片上传失败...(image-d8d5d3-1545311176685)]

在经历了一系列对状态转移之后,字符串abbbba处理完毕,自动机停留在最终状态上,也就是说,字符串abbbba可以由正则表达式a(bb)+a匹配。

同一个正则表达式对应的有穷自动机不止一台,可能是若干台,这些有穷自动机是等价的。同样是a(bb)+a,它可以对应到如下对两台完全等价对有穷自动机。

[图片上传失败...(image-9e26f2-1545311176685)]

仔细观察发现,第二台自动机有些奇怪,在输入ab之后,再输入b,它所处第状态是不确定的:可能在s1,也可能在s3。但是输入a(bb)+a能匹配的字符串,它确实可以抵达最总状态s4.

图8-5所示的自动机看起来更加奇怪,但它仍于a(bb)+a是完全对应的。

[图片上传失败...(image-4ae298-1545311176685)]

在状态s3,即便没有输入任何字符,也不会停下来,而是凭空转义到s1。也就是说,在某个时刻,自动机到底处于s3还是s1,这时不确定的!但是对于这种不确定性,并不会影响自动机对于正则表达式a(bb)+a到匹配。也就是说,这台自动机与之前的两台自动机是完全等价的。

根据状态的确定与否,一般我们会把有穷自动机(正则引擎)分为两类:一类是确定型有穷自动机(definite finite automata,简称DFA),在任何时刻,它所处的状态是确定无疑的;另一台是非确定型有穷自动机(non-definite finite automata,简称NFA),在某个时刻,它所处的状态可能是不确定的。

图8-6把上面的三台自动机做了分类,第一台是DFA,另两台是NFA。

[图片上传失败...(image-c82872-1545311176685)]

可以证明,DFA和NFA之间存在等价关系:也就是说,每一台DFA都可以等价转换为一台NFA,反过来也成立(具体证明过程很复杂,这里略去,有兴趣可自行查阅计算理论相关资料)。

比较正则表达式a(bb)+a和这三台自动机,会发现NFA构造起来更直观,实际上这是普遍规律:从正则表达式出发,构造NFA的难度要小于DFA。但是正如之前说的,DFA在任意时刻必定处于某个确定的状态,而NFA可能处于若干状态之中的一个,所以,如果使用NFA,就必须保存所有可能的状态,并且在某种状态不可行时“回退”到之前保存的状态,这就是正则表达式匹配中的重要概念:回溯

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,688评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,559评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,749评论 0 226
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,581评论 0 191
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,741评论 3 271
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,684评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,122评论 2 292
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,847评论 0 182
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,441评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,939评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,333评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,783评论 2 236
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,275评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,830评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,444评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,553评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,618评论 2 249

推荐阅读更多精彩内容