Машина Маркова (52, 61)

Машина Маркова представляет собой абстрактный исполнитель алгоритмов, основанный на обработке цепей знаков (строк). Принцип работы состоит в следующем. На вход машине подаётся слово, в качестве алгоритма - набор правил (формул) подстановки, содержащих заменяемые и заменяющие фрагменты. За один шаг работы производится одна замена, правила проверяются по порядку. Если совпадений с текущим …