О разрешимых и неразрешимых теориях языков

Карлов, Б.Н. (2024) О разрешимых и неразрешимых теориях языков. Вестник ТвГУ. Серия: Прикладная математика (4). С. 30-39. ISSN 1995-0136

[thumbnail of ПРИКЛАДНАЯ МАТЕМАТИКА_4_2024-30-39.pdf]

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

Абстракт

В работе исследованы некоторые теории языков с различными операциями. Доказана разрешимость теорий языков с операциями дополнения, обращения, циклического сдвига, а также некоторых фрагментов теории конкатенации, когда один из языков фиксирован. Установлена неразрешимость теории ортогональной конкатенации

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

In this paper we study some theories of languages with different operations. We prove the decidability of such theories with the operations of complement, reversal, and cyclic shift, and also the decidability of some fragments of concatenation theory when one of the languages is fixed. We establish the undecidability of the theory of orthogonal concatenation

Тип объекта:	Статья
Сведения об авторах:	Карлов Борис Николаевич доцент кафедры информатики Тверского государственного университета. Россия, 170100, г. Тверь, ул. Желябова, 33, ТвГУ
Ключевые слова:	формальный язык, теория, разрешимость, унар, ортогональная конкатенация
Ключевые слова (англ.):	formal language, theory, decidability, unar, orthogonal concatenation
Категории:	5 Математика. Естественные науки 5 Математика. Естественные науки > 51 Математика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	14384
Deposited On:	19 Дек 2024 05:09
Последнее изменение:	19 Дек 2024 05:09

Repository Staff Only: item control page