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