Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков

Дудаков, С.М. (2020) Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков. Вестник ТвГУ. Серия: Прикладная математика (4). С. 5-13. ISSN 1995-0136

[thumbnail of Прикладная математика-5-13.pdf]

PDF - Опубликованная версия
346kB

Абстракт

Мы рассматриваем алгебру всех конечных языков над многосимвольным алфавитом с операцией конкатенации. Ранее было показано, что если взять подобную алгебру, но состоящую из всех регулярных многосимвольных языков, то в ней можно интерпретировать алгебру регулярных односимвольных языков, откуда следует, что теория обеих этих алгебр эквивалентна элементарной арифметике. В настоящей работе мы доказываем аналогичный результат для алгебры конечных языков: в ней определима подалгебра односимвольных языков, а сама она имеет теорию алгоритмически эквивалентную элементарной арифметике

Абстракт (англ.)

We consider an algebra of all finite languages with the concatenation operation. For one-symbol languages it is known that its theory is equivalent to the first-order arithmetic. Earlier it was proved that for regular languages a one-symbol algebra can be interpreted in multi-symbol algebras. Here we show how to define a one-symbol subalgebra in multi-symbol algebras for finite languages

Тип объекта:	Статья
Сведения об авторах:	Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского госуниверситета.
Ключевые слова:	язык, конечный язык, конкатенация, элементарная арифметика
Ключевые слова (англ.):	language, finite language, concatenation, first-order arithmetic
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения 5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики
Подразделения:	Университеты > Тверской государственный университет
ID Code:	10251
Deposited On:	09 Янв 2021 14:50
Последнее изменение:	09 Янв 2021 14:50

Repository Staff Only: item control page