If among formulas of substitution there is no left-hand side of which would be included in the V ′ {\displaystyle V'} , then the work of the algorithm is considered completed, and the result of this work is considered to be the word V ′ {\displaystyle V'} .
Если среди формул подстановки нет такой, левая часть которой входила бы в V ′ {\displaystyle V'} , то работа алгорифма считается завершённой, и результатом этой работы считается слово V ′ {\displaystyle V'} .