ИСТИНА

Автоматы-преобразователи в качестве модели последовательных реагирующих программы используются в системном программировании, в компьютерной лингвистике, в криптографии, при проектировании микроэлектронных схем и др. Преобразователь принимает на входе последовательность сигналов и выполняет некоторую последовательность действий, преобразуя тем самым конечные слова входного алфавита в полугрупповое выражение, значения которых и являются результатами вычислений. Преобразователь $\pi$ называется $k$-значным, если для любого входного слова количество различных результатов всех возможных вычислений преобразователя на этом слове не превосходит некоторого $k$. Цель наших исследований - показать, что можно для любого $k, k\geq 1,$ за полиномиальное время проверять свойство $k$-значности конечных автоматов-преобразователей, работающих над полугруппой, вложимой в конечно порожденные разрешимые группы.