马尔可夫算法是使用类似形式文法的规则在符号串上操作的字符串重写系统。马尔可夫算法被证明是图灵完全的，这意味着它们适合作为一般的计算模型，并可以用它的简单概念表示任何数学表达式。Refal是基于马尔可夫算法的编程语言。
例子.下列例子展示了马尔可夫算法的基本操作。
符号串."I bought a B of As from T S."
执行.如果算法应用于上述例子，符号串将被以如下方式变更。算法接着就终止了。