《Formal Methods》第二章學習心得

記錄一下《Formal Methods》第二章的學習心得 本章節主要介紹了GC語言，分：語法、語義、程序圖、可替代部分以及擴展的控制結構這幾個方面。 第一部分語法，主要講了兩個比較重要的語法點，賦值符號（：=）和跳過符號（skip），其中賦值符號的作用是對變量進行賦值，skip結合後邊對邊（edge）的定義，指得是從一條邊的起點跳到終點。命令可以是三種不同的組成方式，按照寫定的順序執行和在條件語句

>>阅读原文<<