|
マルコフアルゴリズム（英: Markov algorithm）とは、記号の文字列に対して一種の文法的規則を適用していく文字列書き換え系である。マルコフアルゴリズムはチューリング完全であることがわかっており、計算の汎用モデルとして使え、任意の数式を単純な記法で表現できる。 Refal はマルコフアルゴリズムに基づいたプログラミング言語である。考案者のアンドレイ・マルコフは、マルコフ連鎖のアンドレイ・マルコフの同名の息子である。 == アルゴリズム == # 規則を上から順にチェックし、矢印の左辺の文字列が記号文字列にないか調べる。 # 1つも見つからない場合、アルゴリズムの実行を停止する。 # 1つ以上見つかった場合、記号文字列の中でも最も左端に近い部分にマッチした規則を適用し、矢印の右辺の文字列と置換する。 # 適用した規則が停止規則（terminating rule）であった場合、アルゴリズムを停止する。 # ステップ1に戻って繰り返す。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「マルコフアルゴリズム」の詳細全文を読む スポンサード リンク
|