- 博客(4)
- 资源 (5)
- 收藏
- 关注
原创 【模型检测学习笔记】8:无限字上ω正则LT性质的验证
Bu¨chi自动机⇌ω正则语言⇌ω正则表达式Büchi自动机\rightleftharpoons \omega 正则语言 \rightleftharpoons \omega 正则表达式Bu¨chi自动机⇌ω正则语言⇌ω正则表达式1 无限字上的自动机1.1 Büchi自动机Büchi自动机(Büchi Automata)可以用于描述无限字上的LT性质。老师PPT上还是用了Peterson’s ...
2019-12-14 21:51:28 981
原创 【模型检测学习笔记】7:有限字上正则LT性质的验证
有限自动机⇌正则语言⇌正则表达式有限自动机\rightleftharpoons正则语言\rightleftharpoons正则表达式有限自动机⇌正则语言⇌正则表达式1 有限字上的自动机1.1 有限自动机有限自动机(Finite Automata)可以表示为确定性的DFA,或者更一般的非确定的NFA:A=(Q,Σ,σ,Q0,F)A=(Q, \Sigma, \sigma, Q_0, F)A=(...
2019-12-02 10:41:49 722
原创 【Bison学习笔记】1:生成简易的语法分析程序,使Bsion和Flex协同工作
简述Bison是在Yacc上改写并添加了大量特性后诞生的语法分析生成器,在编译前端(词法分析->语法分析->语义分析)中处在中间的位置,它可以用来生成特定的语法分析程序。安装Bison:apt-get install bison没有专用于Bison的IDE,可以在VSCode安装Lex Flex Yacc Bison插件,可以让Bison语法高亮。Bsion和Flex协同工...
2019-12-01 16:45:36 3871
原创 【Flex学习笔记】1:生成简易的词法分析程序
简述Flex是重写Lex诞生的快速词法分析生成器,在编译前端(词法分析->语法分析->语义分析)中处在最靠前的位置,它可以用来生成特定的词法分析程序。安装Flex:apt-get install flex没有专用于Flex的IDE,可以在VSCode安装Lex Flex Yacc Bison插件,可以让Flex语法高亮。Flex使用示例Flex程序通常写成.l文件,其中由...
2019-12-01 00:27:18 1401
算符优先分析法
2018-05-22
已经整合好的小型S2SH框架(完全注释+依赖jar包)
2018-05-13
举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程
2017-12-03
有关Linux进程家族树
2017-10-03
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人