(defun mycons (x y)
(lambda ( s z)
(funcall (funcall s x y ) z)
(defun wrapcar (s)
(lambda (a b)
(lambda (z)
(funcall a s z)
(defun mycar (n)
(lambda (s z)
(funcall n (wrapcar s) z)
(defun wrapcdr ( s)
(lambda (a b)
(lambda (z)
(funcall b s z)
(defun mycdr (n)
(lambda ( s z)
(funcall n (wrapcdr s ) z)
(setq one (lambda (s z) (funcall s z) ))
(setq two (lambda (s z) (funcall s (funcall s z) )))
(setq three (lambda (s z) (funcall s (funcall s (funcall s z) ))))
(defun chenbing (value)
(list 'chenbing value)
(funcall one 'chenbing nil)
(funcall two 'chenbing nil)
(funcall three 'chenbing nil)
(setq a (mycons two one) )
(setq b (mycons three (mycons two one ) ) )
(funcall (mycar a) 'chenbing nil)
(funcall (mycar b) 'chenbing nil)
(funcall (mycar (mycdr b) ) 'chenbing nil)
形式化 半形式化和非形式化
形式化 半形式化和非形式化是三種類 型的規範風 格。形式化規範就是用一套基於明確定義的數學概念的符號來書寫，並且通常伴隨著支援性的解釋 非形式化 語句。這些數學概念被用來定義符號的句法和語義，以及支援邏輯推理的證明規則。支援形式化符號的句法和語義規則應該定義如何明確地識別其結構和確定其含義。並且必須...
形式化方法
軟體形式化方法最早可追溯到20世紀50年代後期對於程式語言編譯技術的研究，即 j.backus 提出bnf 描述algol60 語言的語法，出現了各種語法分析程式自動生成器以及語法制導的編譯方法，使得編譯系統的開發從 手工藝製作方式 發展成具有牢固理論基礎的系統方法。形式化方法的研究高潮始於20 世...
形式化方法
1 形式化方法的發展 軟體形式化方法最早可追溯到20世紀50年代後期對於程式語言編譯技術的研究，即j.backus提出bnf描述algol60語言的語法，出現了各 種語法分析程式自動生成器以及語法制導的編譯方法，使得編譯系統的開發從 手工藝製作方式 發展成具有牢固理論基礎的系統方法。形式化方法的研究...