Выходные сведения:
Ганов, В. А. Алгоритмические проблемы конечных автоматов: монография / В. А. Ганов, Р. В. Дегтярева ; АлтГУ. - Барнаул : Изд-во АлтГУ, 2014. - 40 с.
Аннотация:
Строится базис конечных автоматов, связанный выводимостью слов в нормальном исчислении Поста. Определяются операторы, реализуемые логическими сетями над этим базисом. Они являются вычислимыми на автоматах Мура, но их класс не является алгоритмически разрешимым. Рассматриваются различные способы обобщения этих конструкций. Формулируются задачи для продолжения этих исследований. Книга предназначена для студентов математических и прикладных специальностей университетов.
