汇报内容

1、汇报formal method书第一章：
（1）第一章PG（程序图）用来定义程序和系统的控制结构，类似于有向图。定义了Q点集、ACT行为、E边集。然后引入了有限自动机的概念，将PG与有限自动机对应起来，将自动机转移状态对应PG的边。但是与程序流程图有一定差异。
（2）接着引入语义S[[.]]，使用S将ACT行为明确，也就是拿上一步各个数据，通过ACT行为后修改对应变量数据后内存各个数据的状况。举例如何使用PG来表示，非确定系统和没有成功终止的系统，接着引入sita符号表示程序过程的内存状态。接着就是DS和ES（确定系统和演化系统）概念，定义语义和语言就能形成一种语言。

导师反馈内容

1、程序图静态、语义模型动态（解决是否等价、执行过程是否一致）
2、{指称语义（将其转化为数学对象，例如CSP的traces）、操作语义（状态迁移系统、可达性）、代数语义}。=>语义模型。
其中对指称语义和操作语义的主要形式和优点进行总结，分析经典模型等的概念和优点。
3、如何学习，了解物理上的场景（如何运作），对论文中、现实中的关注的核心问题进行建模->抽离简易问题，提炼核心问题->学完书，需要自己去练习，如何去建模等，思考如何运用，能否用经典的场景进行运用，如果不行，进行扩展，如果可以，那就完善。
4、把其他东西进行做对比，寻找的系统最好贴近生活（日常），从应用角度寻找，找到的东西一般都没人做。
5、why：为什么要做这个；what：是用来干什么的；how：如何分解步骤，一步步去做。