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

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

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

PDF - Published Version
382kB

Abstract

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

Abstract (en)

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

Item Type:	Article
Additional Information:	Карлов Борис Николаевич доцент кафедры информатики Тверского государственного университета. Россия, 170100, г. Тверь, ул. Желябова, 33, ТвГУ
Uncontrolled Keywords:	формальный язык, теория, разрешимость, унар, ортогональная конкатенация
Keywords (en):	formal language, theory, decidability, unar, orthogonal concatenation
Subjects:	5 Математика. Естественные науки 5 Математика. Естественные науки > 51 Математика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории
Divisions:	Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:	14384
Deposited On:	19 Dec 2024 05:09
Last Modified:	19 Dec 2024 05:09

Repository Staff Only: item control page