Саратовский государственный университет
имени Н.Г. Чернышевского,
г. Саратов, ул. Астраханская, 83
т.(8452)-22-51-06
международная научная конференция
"КОМПЬЮТЕРНЫЕ НАУКИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
памяти А.М.Богомолова
Саратовский государственный университет
имени Н.Г. Чернышевского
Факультет компьютерных наук и
информационных технологий
информационных технологий
О ПРОБЛЕМАХ РАЗРЕШИМОСТИ ЭЛЕМЕНТАРНЫХ ТЕОРИЙ УНИВЕРСАЛЬНЫХ ПЛАНАРНЫХ АВТОМАТОВ
Работа посвящена исследованию проблем разрешимости элементарных теорий полугрупповых автоматов, у которых множество состояний и множество выходных сигналов наделены дополнительной структурой плоскости, сохраняющейся функцией переходов и функцией выходов автомата.
Материалы конференции:
Секция:
Тип доклада:
Личное участие