マルコフアルゴリズム

3行要約

1. 文字列の置換規則に基づいて計算を行う形式的な数理モデル。
2. 計算可能性理論において、チューリングマシンと同等の能力を持つ。
3. 記号処理やプログラミング言語の理論的基礎として利用される。