Просмотр Монографии по автору "Ганов, Валерий Александрович"
Отображаемые элементы 1-1 из 1
-
Алгоритмические проблемы конечных автоматов
Ганов, Валерий Александрович; Дегтярева, Руслана Валерьевна (Барнаул: Издательство Алтайского государственного университета, 2014)Строится базис конечных автоматов, связанный выводимостью слов в нормальном исчислении Поста. Определяются операторы, реализуемые логическими сетями над этим базисом. Они являются вычислимыми на автоматах Мура, но их класс ...Алгоритмические проблемы конечных автоматов
Ганов, Валерий Александрович; Дегтярева, Руслана Валерьевна (Барнаул: Издательство Алтайского государственного университета, 2014)Строится базис конечных автоматов, связанный выводимостью слов в нормальном исчислении Поста. Определяются операторы, реализуемые логическими сетями над этим базисом. Они являются вычислимыми на автоматах Мура, но их класс ...