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

Шушунов, А.С.

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

Дата публикации: 2011

Дата публикации в реестре: 2020-03-18T12:33:52Z

Аннотация:

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

Ключевые слова:
510.67 Теория моделей

Тип: Статья