Similarly, the final substitution formulas are called words of the form L → ⋅ D {\displaystyle L\to \cdot D} , where L {\displaystyle L} and D {\displaystyle D} – are two arbitrary words in the alphabet of the algorithm.
Аналогично, заключительными формулами подстановки называются слова вида L → ⋅ D {\displaystyle L\to \cdot D} , где L {\displaystyle L} и D {\displaystyle D}  — два произвольных слова в алфавите алгоритма.