Шушунов, А.С. (2011) Автоматность SA-структур. Вестник ТвГУ. Серия: Прикладная математика (22). С. 85-90. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
307kB |
Абстракт
В данной работе предлагается доказательство того, что любую структуру, описываемую SA-языками, можно описать классом регулярных языков. В работе [3] доказано, что класс SA-языков шире класса регулярных. Однако, это не даёт нового инструмента для исследования разрешимости теорий алгебраических систем.
Абстракт (англ.)
In this work we prove that any SA-structures are described by the regular language class. In the work [3] it is proved that the SA language class is bigger than the regular one. However, it does not provide with a new way to investigate the elementary theories decidability.
| Тип объекта: | Статья |
|---|---|
| Ключевые слова: | слова SA-языки, регулярные языки, разрешимости элементарных теорий |
| Ключевые слова (англ.): | SA-structures, Regular language, elementary theories decidability |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 1592 |
| Deposited On: | 08 Янв 2017 08:17 |
| Последнее изменение: | 08 Янв 2017 08:17 |
Repository Staff Only: item control page