Обычный метод. Пример 7.12

Составить обычный метод, обеспечивающий выполнение операции сложения в троичной системе счисления. Алфавит будет содержать знаки: А = {0, 1, 2, +}; система подстановок: 0 + 1 → 1, 1 + 1 → 2, 2 + 1 → +10, +1 → 1. Применим метод для разных начальных слов:

Разные обычные методы отличаются друг от друга алфавитами и системами допустимых подстановок. Обычный метод Маркова можно рассматривать как стандартную форму для задания хоть какого метода. Данная форма представления метода принципиальна не только лишь исходя из убеждений проведения исследовательских работ в теории алгоритмов, но она послужила основой спец языка символьных преобразований в системах искусственного ума.