马尔可夫算法 马尔可夫算法是使用类似形式文法的规则在符号串上操作的字符串重写系统马尔可夫算法被证明是图灵完全的这意味着它们适合作为一般的计算模型并可以用它的简单概念表示任何数学表达式 Refal是基于马尔可夫算法的编程语言