マルコフアルゴリズム
規則を上から順にチェックし、矢印の左辺の文字列が記号文字列にないか調べる。
1つも見つからない場合、アルゴリズムの実行を停止する。
1つ以上見つかった場合、記号文字列の中でも最も左端に近い部分にマッチした規則を適用し、矢印の右辺の文字列と置換する。
適用した規則が停止規則(terminating rule)であった場合、アルゴリズムを停止する。
ステップ1に戻って繰り返す。