Нормальные алгоритмы Маркова

Теория нормальных алгоритмов была разработана советским математиком Андреем Андреевичем Марковым в

Эти алгоритмы представляют собой некоторые правила по переработке слов в каком-либо

Алфавитом будем называть любое непустое множество.
Его элементы называются буквами, а любая

Марковской подстановкой (Р,Q) называется следующая операция над словами:
в заданном слове R

Замечание:
1) Полученное слово называется результатом применения марковской подстановки (Р,Q) к слову

Частными случаями марковских подстановок являются подстановки с пустыми словами:
(Λ,Q), (P, Λ),

Для обозначения марковской подстановки (Р,Q) используют запись Р → Q
Эту запись

Пример
Данное слово: 521421
Подстановка: 21 → 3
Результат подстановки:

53421

Пример
Данное слово: 521421
Подстановка: 21 → Λ
Результат подстановки:

5421