Пусть R - слово, полученное на предыдущем шаге работы алгоритма (или
исходное слово, если текущий шаг является первым).
Шаг работы нормального алгоритма
1) Если в схеме алгоритма среди формул подстановки нет такой, левая часть которой входила бы в R, то работа алгоритма считается завершённой, и результатом этой работы считается слово R
2) Если в схеме алгоритма имеются формулы подстановки, левые части которых входят в R, то к слову R применяется марковская подстановка, соответствующая первой такой формуле в схеме