馬爾可夫算法

馬爾可夫算法是使用類似形式文法的規則在符號串上操作的字符串重寫系統 。 馬爾可夫算法被證明是圖靈完全的 ， 這意味着它們適合作爲一般的計算模型 ， 並可以用它的簡單概念表示任何數學表達式 。 Refal是基於馬爾可夫算法的編程語言 。