LogoTver State University Repository

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

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

[img] PDF - Published Version
346kB

Abstract

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

Abstract (en)

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

Item Type:Article
Additional Information:Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского госуниверситета.
Uncontrolled Keywords:язык, конечный язык, конкатенация, элементарная арифметика
Keywords (en):language, finite language, concatenation, first-order arithmetic
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения
5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики > 519.76 Математические вопросы семиотики
Divisions:Университеты > TverSU
ID Code:10251
Deposited By: С.Б. Федорова
Deposited On:09 Jan 2021 14:50
Last Modified:09 Jan 2021 14:50

Repository Staff Only: item control page