qq_37264150的博客

原创 《Formal Methods》第二章学习心得

记录一下《Formal Methods》第二章的学习心得 本章节主要介绍了GC语言，分：语法、语义、程序图、可替代部分以及扩展的控制结构这几个方面。 第一部分语法，主要讲了两个比较重要的语法点，赋值符号（：=）和跳过符号（skip），其中赋值符号的作用是对变量进行赋值，skip结合后边对边（edge）的定义，指得是从一条边的起点跳到终点。命令可以是三种不同的组成方式，按照写定的顺序执行和在条件语句处进行判定以及循环。书中C和GC主要定义了操作和条件的集合。根据语法可以做出相应的语法树，同时语法树不需要括