Шушунов, А.С. (2011) Автоматность SA-структур. Вестник ТвГУ. Серия: Прикладная математика (22). pp. 85-90. ISSN 1995-0136
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 On: | 08 Jan 2017 08:17 |
| Last Modified: | 08 Jan 2017 08:17 |
Repository Staff Only: item control page