|
Элементарная определимость класса универсальных планарных автоматов в классе полугрупп
В. А. Молчанов Саратовский государственный университет им. Н. Г. Чернышевского, ул. Астраханская, 83, Саратов 410012
Аннотация:
Универсальные планарные автоматы являются универсальными притягивающими объектами в категории полугрупповых автоматов, у которых множества состояний и множества выходных сигналов наделены алгебраическими структурами плоскостей, инвариантными относительно действий функций перехода и выхода. Доказана элементарная определимость класса универсальных планарных автоматов в классе полугрупп и исследована проблема элементарной классификации универсальных планарных автоматов с помощью теорий первого порядка полугрупп входных сигналов таких автоматов.
Ключевые слова:
элементарная определимость, автомат, плоскость, полугруппа, элементарная классификация.
Статья поступила: 05.03.2019 Окончательный вариант: 08.04.2019 Принята к печати: 15.05.2019
Образец цитирования:
В. А. Молчанов, “Элементарная определимость класса универсальных планарных автоматов в классе полугрупп”, Сиб. матем. журн., 60:6 (2019), 1397–1410; Siberian Math. J., 60:6 (2019), 1089–1098
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3157 https://www.mathnet.ru/rus/smj/v60/i6/p1397
|
Статистика просмотров: |
Страница аннотации: | 268 | PDF полного текста: | 137 | Список литературы: | 31 | Первая страница: | 4 |
|