von A.A. Markow 1951 vorgeschlagenes Modell eines abstrakten Algorithmusbegriffs, mit der Zielsetzung, das Konzept der „Berechenbarkeit“ formal zu fassen (Algorithmus, Berechnungstheorie, Churchsche These).

Ein Markow-Algorithmus ist eine spezielle Form eines Semi-Thue-Systems, welches durch zusätzliche Vorschriften zu einem deterministischen Verfahren gemacht wird. Hier werden die endlich vielen Operationen, welche geordnete Paare von Wörtern über einem Alphabet sind, in einer Reihenfolge angeordnet: (x₁,y₁), (x₂,y₂),…,(x_n, y_n). Darüberhinaus wird mindestens eine der Operationen als haltend erklärt. Ausgehend von dem Eingabewort als Startwort des Semi-Thue-Systems werden diese Operationen solcherart angewandt, daß immer nur die erste (gemäß der angegebenen Reihenfolge) anwendbare Ersetzungsoperation durchgeführt wird. Hierbei wird immer nur das am weitesten links vorkommende Teilwort x_i durch y_i ersetzt. Solcherart entsteht eine eindeutige deterministische Rechnung, die ggf. dadurch endet, daß eine haltende Regel angewandt wird.