Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 635212)
Контекстум
Руконтекст антиплагиат система
Вестник Воронежского государственного университета. Серия: Физика. Математика  / №2 2015

ИТЕРАЦИИ ЯЗЫКОВ И МАКСИМАЛЬНЫЕ ПРЕФИКСНЫЕ КОДЫ (90,00 руб.)

0   0
Первый авторКорабельщикова
АвторыМельников Б.Ф.
Страниц15
ID512027
Аннотацияв статье рассматривается связь максимальных префиксных кодов с бесконечными итерациями языков. Приведено необходимое условие коммутирования в глобальном надмоноиде свободного моноида и рассмотрены частные случаи такого коммутирования: когда один из языков состоит из одного или двух слов. В терминах максимальных префиксных кодов сформулирован критерий эквивалентности пары конечных языков. Произведён подсчёт числа максимальных префиксных кодов с ограничением длины слов над алфавитом произвольной мощности. Приведён ряд нерешённых задач, сформулированы гипотезы необходимых условий коммутирования, требующие проверки в будущем
УДК519.713
Корабельщикова, С.Ю. ИТЕРАЦИИ ЯЗЫКОВ И МАКСИМАЛЬНЫЕ ПРЕФИКСНЫЕ КОДЫ / С.Ю. Корабельщикова, Б.Ф. Мельников // Вестник Воронежского государственного университета. Серия: Физика. Математика .— 2015 .— №2 .— С. 105-119 .— URL: https://rucont.ru/efd/512027 (дата обращения: 12.05.2024)

Предпросмотр (выдержки из произведения)

С. Ю. Корабельщикова, Б. Ф. Мельников УДК 519.713 ИТЕРАЦИИ ЯЗЫКОВ И МАКСИМАЛЬНЫЕ ПРЕФИКСНЫЕ КОДЫ С.Ю. <...> М. В. Ломоносова, 2) Самарский государственный университет Поступила в редакцию 17.02.2014 г. Аннотация: в статье рассматривается связь максимальных префиксных кодов с бесконечными итерациями языков. <...> Приведено необходимое условие коммутирования в глобальном надмоноиде свободного моноида и рассмотрены частные случаи такого коммутирования: когда один из языков состоит из одного или двух слов. <...> В терминах максимальных префиксных кодов сформулирован критерий эквивалентности пары конечных языков. <...> Произведён подсчёт числа максимальных префиксных кодов с ограничением длины слов над алфавитом произвольной мощности. <...> Приведён ряд нерешённых задач, сформулированы гипотезы необходимых условий коммутирования, требующие проверки в будущем. <...> Melnikov Abstract: in this paper we consider the relationship between maximal prefix codes and iterations of finite languages. <...> В настоящей статье мы опишем их связь с некоторыми вопросами теории формальных языков, в частности – с бесконечными итерациями языков, рассмотренными одним из авторов настоящей статьи в [2] и др. <...> Определяемое нами далее отношение эквивалентности A ≡ B, а также приведённые в [2] необходимые и достаточные условия его выполнения (прежде всего – в префиксном случае),  Корабельщикова С.Ю., Мельников Б. Ф., 2015 c 106 ВЕСТНИК ВГУ. <...> • На основе условий выполнения отношения A ≡ B можно сформулировать некоторые необходимые и достаточные условия коммутирования в глобальном надмоноиде (супермоноиде) свободного моноида и некоторых его подмоноидах – [3], [4]. <...> • В некоторых подклассах класса контекстно-свободных (КС) языков разрешима проблема эквивалентности — в отличие от всего этого класса; см. <...> . Важно отметить, что мы при этом имеем в виду не «пресловутый» класс детерминированных контекстносвободных языков, проблема эквивалентности для которого была сформулирована ещё в конце 1960-х, 1) и впоследствии была решена. <...> Однако с <...>