自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(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

算符优先分析法

设有文法G[S]:S→SaF | F F→FbP | P P→c | d (1) 构造G[S]的算符优先关系表 (2) 分别给出cadbdac# 和 dbcabc# 的分析过程

2018-05-22

已经整合好的小型S2SH框架(完全注释+依赖jar包)

已经将Struts2和Hibernate与Spring整合,测试可用。含三个框架的核心依赖jar包,不含JDBC驱动,测试例子是用MySQL作为数据库的。请自行更换数据库,添加驱动,修改Hibernate设置和数据库配置。 含有大量注释,适合学生立即上手开发课程项目。

2018-05-13

举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程

上海大学课程研讨,题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。上海大学课程研讨,题目是举例说明汇编语言子程序递归调用过程中堆栈内容的变化过程。

2017-12-03

有关ADSL与调制技术

有关ADSL和相关的调制技术,计算机网络研讨课演讲PPT。

2017-10-04

有关Linux进程家族树

操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。操作系统课程研讨PPT,有关Linux进程家族树的形成,服务的自动开启。

2017-10-03

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除