ISSN 2305-9052 · EISSN 2410-7034
Языки: ru · en

ВЕСТНИК ЮЖНО-УРАЛЬСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. СЕРИЯ: ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА И ИНФОРМАТИКА

ОБ ОДНОЙ ГИПОТЕЗЕ ТЕОРИИ ФОРМАЛЬНЫХ ЯЗЫКОВ. ЧАСТЬ I (2023)

Основной предмет статьи - рассмотрение задач, возникающих при исследовании необходимых условий равенства бесконечных итераций конечных языков. В предыдущих публикациях автором рассматривались примеры применения соответствующего этому равенству специального бинарного отношения эквивалентности на множестве конечных языков, причем рассматривались как примеры, описывающие необходимые условия его выполнения, так и примеры его использования. К одному из таких необходимых условий применены два варианта сведeния рассматриваемой задачи: к конечным автоматам и к бесконечным итерационным деревьям. Также в статье приведены несколько вариантов важной гипотезы, формулируемой для множества конечных языков; ее исследование дает и иные варианты сведeния рассматриваемой задачи к специальным задачам для недетерминированных конечных автоматов. При этом в случае выполнения сформулированной гипотезы некоторые из таких задач решаются за полиномиальное время, а некоторые не решаются; при продолжении работ по данной тематике последний факт может дать возможность переформулировки проблемы P = NP в виде специальной задачи теории формальных языков.

Тип: Статья
Автор (ы): Мельников Борис Феликсович
Ключевые фразы: ФОРМАЛЬНЫЕ ЯЗЫКИ, ИТЕРАЦИИ ЯЗЫКОВ, БИНАРНЫЕ ОТНОШЕНИЯ, МОРФИЗМЫ, ИНВЕРСНЫЕ МОРФИЗМЫ, АЛГОРИТМЫ, ПОЛИНОМИАЛЬНЫЕ АЛГОРИТМЫ

Идентификаторы и классификаторы

УДК
519.1. Комбинаторный анализ. Теория графов
519.713.1. Способы задания и реализации автоматов
519.713.2. Алгебраические вопросы теории автоматов
519.766. Модели языков и языковых структур
eLIBRARY ID
54647013
Текстовый фрагмент статьи