マルコフアルゴリズム(英: Markov algorithm)とは、記号の文字列に対して一種の文法的規則を適用していく文字列書き換え系である。マルコフアルゴリズムはチューリング完全であることがわかっており、計算の汎用モデルとして使え、任意の数式を単純な記法で表現できる。 考案者のアンドレイ・マルコフ・ジュニア(英語版)は、マルコフ連鎖のアンドレイ・マルコフの息子である。 マルコフアルゴリズムに基づいた関数型プログラミング言語としてRefalがある。 アルゴリズム[編集] 規則を上から順にチェックし、矢印の左辺の文字列が記号文字列にないか調べる。 1つも見つからない場合、アルゴリズムの実行を停止する。 1つ以上見つかった場合、記号文字列の中でも最も左端に近い部分にマッチした規則を適用し、矢印の右辺の文字列と置換する。 適用した規則が停止規則(terminating rule)であった場合、ア