LogoTver State University Repository

Автоматность SA-структур

Шушунов, А.С. (2011) Автоматность SA-структур. Вестник ТвГУ. Серия: Прикладная математика (22). pp. 85-90. ISSN 1995-0136

[img]
Preview
PDF - Published Version
307kB

Abstract

В данной работе предлагается доказательство того, что любую структуру, описываемую SA-языками, можно описать классом регулярных языков. В работе [3] доказано, что класс SA-языков шире класса регулярных. Однако, это не даёт нового инструмента для исследования разрешимости теорий алгебраических систем.

Abstract (en)

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.

Item Type:Article
Uncontrolled Keywords:слова SA-языки, регулярные языки, разрешимости элементарных теорий
Keywords (en):SA-structures, Regular language, elementary theories decidability
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Divisions:Университеты > TverSU
ID Code:1592
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:17
Last Modified:08 Jan 2017 08:17

Repository Staff Only: item control page