手工打造编译器之词法分析2
2010-10-04 16:26
169 查看
1.5 正则表达式和有限自动机
有限自动机是状态的集合以及连接这些状态的边,边上的权值是转化的条件。每个有限自动机有初态和终态。典型的有限自动机如下图
正则表达式和有限自动机是一一对应的,而且有限自动机易于编程实现,所以判断一个字符串是否符合某个正则表达式可以用有限自动机来判断。
1.6 正则表达式向有限自动机的转换
Step 1:去掉特殊符号'.','-','\'。这些符号用字符集合代替,如a-z,转化为从a到z的字符集合。Step 2:根据符号优先级,生成逆波兰表达式。
Step 3:根据逆波兰表达式组装成有限自动机。
下表是典型的正则表达式向有限自动机的转换的中间步骤。
breakRegExp | RegExp_to_revPolishExp | |
[_a-zA-Z][_a-zA-Z0-9]* | symbol: [_a-zA-Z] act: e_cat symbol: [_a-zA-Z0-9] act: e_rep_0ormore | symbol: [_a-zA-Z] symbol: [_a-zA-Z0-9] act: e_rep_0ormore act: e_cat |
[0-9]* | 0123456789 act: e_rep_0ormore | symbol: 0123456789 act: e_rep_0ormore |
([0-9]+/.[0-9]*)| ([0-9]*/.[0-9]+) | act: e_lParenth symbol: 0123456789 act: e_rep_1ormore act: e_cat symbol: . act: e_cat symbol: 0123456789 act: e_rep_0ormore act: e_rParenth act: e_alt act: e_lParenth symbol: 0123456789 act: e_rep_0ormore act: e_cat symbol: . act: e_cat symbol: 0123456789 act: e_rep_1ormore act: e_rParenth | symbol: 0123456789 act: e_rep_1ormore symbol: . act: e_cat symbol: 0123456789 act: e_rep_0ormore act: e_cat symbol: 0123456789 act: e_rep_0ormore symbol: . act: e_cat symbol: 0123456789 act: e_rep_1ormore act: e_cat act: e_alt |
相关文章推荐
- 手工打造编译器之词法分析1
- 手工打造编译器之语义分析1
- 手工打造编译器之语义分析2
- 手工打造编译器之词法分析器3
- 超越极限,手工打造C#编译器
- 手工打造编译器之语法分析器1
- 手工打造编译器之语法分析器2
- 手工打造编译器之语法分析器3
- 打造一个实际的全系统污点分析系统--Towards Practical Taint Tracking
- 打造自己的编译器
- 分析编译器对C关键字的处理『跳过编译器的语法检查,完成很危险的操作』
- MYC编译器源码分析之程序入口
- 深入研究Clang(四) Clang编译器的简单分析
- 如何打造高性能大数据分析平台
- 手工打造编译器序
- PE手工分析-PE头
- 从编译器角度分析C语言中数组名和指针的区别
- 再写手工打造可执行程序
- i++和++i作为参数时的编译器处理方式分析~
- Tiny语言编译器开发之词法分析