在惰性求值的情況下，形式化定義是可以完全正確執行的。
(defun fixpoint ( x y)
(funcall y (funcall x x y) )
(setq fun (fixpoint 'fixpoint
(lambda (s)
(lambda (n)
(if (> n 0)
(+ n (funcall s (- n 1) ) )
(funcall fun 10)
(funcall fun 100)
(setq fibs (fixpoint 'fixpoint
(lambda (s)
(lambda (n)
(if (> n 0)
(+ (funcall s (- n 2) ) (funcall s
(- n 1) ) )
(funcall fibs 5)
(funcall fibs 6)
(funcall fibs 7)
(funcall fibs 8)
文法的形式化定義
文法的形式化定義 產生式的簡寫 符號的約定 未用尖括號括起來的部分表示語言的基本符號，尖括號括起來的部分稱為語法成分 g vt,v n,p,s g v t,v n,p,s g vt vn p,s v nv n vn 非終結符集合終結符集合和非終結符集合都是字母表 終結符集合與非終結符集合是不相交的，...
李德毅院士 腦認知的形式化
摘要 李德毅院士認為，腦認知的內涵包括記憶力 計算認知和互動認知。計算固然重要，記憶更重要。腦認知的本質是統計認知，多次反覆在感知 認知 行動過程中形成不確定性，動態演化過程從時間上看是積分，就變成記憶。為了更好地引導和推動我國人工智慧領域的發展，由中國人工智慧學會發起主辦，csdn承辦的2015中...
你知道正規表示式的形式化定義嗎？
正規表示式想必大家都用過，確實是很好很強大的東東。但是正規表示式的形式化定義各位知道嗎？最近無聊看一本編譯方面的書時，裡面正好講到了這個，還是挺有意思的。發出來和大家分享。首先，正規表示式是一種符號表示法，是為了用有限的描述來詳細說明 可能 無限的語言。也就是說正規表示式是針對某個特定語言的，可以說...