CC BY
5
О группоиде первичного автомата РЫ, определяемом для одного конечного языка
Мэн Линцянь, Б. Ф. Мельников
Аннотация—В настоящей работе мы продолжаем тематику наших предыдущих статей, посвященных важному отношению эквивалентности на множестве формальных языков - т. н. отношению эквивалентности в бесконечности; для его подробного изучения мы также рассматривали бинарное отношение покрытия. При исследовании этих отношений мы применяли бесконечные итерационные деревья морфизмов, для каждого из которых после объединения эквивалентных вершин получается детерминированный конечный автомат.
Среди нескольких похожих вариантов автоматов, соответствующих бесконечному итерационному дереву морфиз-ма, наибольший интерес вызывает т. н. первичный автомат (автомат PRI), специальным образом определяемый для заданной пары конечных языков. Он задаётся на подмножествах множества префиксов одного из этих языков -и эти подмножества мы рассматриваем как состояния определяемого автомата.
В настоящей статье мы продолжаем рассмотрение первичного автомата, построенного для любой пары конечных языков, - но определяем ещё и новые объекты: автомат, построенный только для одного конечного языка, а также соответствующие этому автомату группоид и полугруппу преобразований.
Опишем основной предмет настоящей статьи. Если структуры, возникающие в автомате PRI, «объединить построчно», то мы получим результат перехода каждого состояния - в случае, когда входом является некоторый язык. Вследствие этого можем изучать первичный автомат, построенный на основе только одного языка - и этот язык можно называть базовым. И для множества состояний, и для входного алфавита мы будем использовать подмножество множества собственных префиксов базового языка -либо полученный с помощью некоторого инверсного мор-физма его прообраз.
В статье рассмотрен получающийся при этом группоид и доказана теорема, что при этом можно определять полугруппу преобразований. Основная идея доказательства последнего факта такова. Если полугрупповое требование рассматривать с точки зрения конечного автомата, то про две части используемого в нём уравнения можно сказать следующее. Левая часть уравнения этого полугруппового требования описывает переход из текущего состояния в соответствии с первым подсловом (префиксом) входа в некоторое промежуточное состояние, а затем продолжение работы в соответствии со вторым подсловом (суффиксом) входа; то же самое мы можем сказать и для правой части уравнения - а строку-вход в обоих случаях можно считать одной и той же.
В настоящей статье также рассмотрены некоторые алгебраические свойства описанной полугруппы, в том числе приведены простые примеры. Более сложные примеры мы предполагаем рассмотреть в статье-продолжении.
Ключевые слова—формальные языки, итерации языков,
Статья получена 12 мая 2023 г.
Мэн Линцянь, Университет МГУ-ППИ в Шэньчжэне (kostya45e@ mail.ru).
Борис Феликсович Мельников, Университет МГУ-ППИ в Шэньчжэне ([email protected]).
морфизмы, детерминированные конечные автоматы, группоиды, полугруппы, алгоритмы.
I. ВВЕДЕНИЕ И МОТИВАЦИЯ
В настоящей статье мы продолжаем тематику статей [1], [2], [3], [4] и др. В этих статьях рассматривали важное отношение эквивалентности на множестве формальных языков - отношение эквивалентности в бесконечности, для подробного изучения которого мы рассматривали также бинарное отношение покрытия. При исследовании этих отношений мы применяли бесконечные итерационные деревья морфизмов, в каждом из которых после объединения эквивалентных вершин получается детерминированный конечный автомат.
При этом среди нескольких похожих вариантов автоматов, соответствующих бесконечному итерационному дереву морфизма, наибольший интерес вызывает т. н. первичный автомат (автомат РМ), специальным образом определяемый для заданной пары конечных языков. Он определяется на подмножествах множества префиксов одного из этих языков - и эти подмножества мы рассматриваем как состояния определяемого автомата (отождествляем с ними).
В настоящей статье мы продолжаем рассмотрение первичного автомата, построенного для любой пары конечных языков, - но определяем ещё и новые объекты:
• автомат, построенный для одного конечного языка;
• соответствующий этому автомату группоид;
• также соответствующую этому автомату полугруппу преобразований1.
Итак, мы выше кратко сформулировали первую часть мотивации к рассмотрению первичного автомата РИ и некоторых других объектов, которые строятся на его основе. Но независимо от неё можно назвать и вторую часть мотивации, практически не связанную с первой, -переходим к её описанию.
По нашему мнению, в литературе, посвящённой полугруппам и конечным автоматам (при этом автомат часто рассматривается без входов и без выходов, аналогично, например, [5]), а ещё точнее - в литературе, посвящённой связи этих объектов, давно утвердилось мнение о том, что такая связь уже показана и вряд ли заслуживает дополнительных рассмотрений. Однако возникает много вопросов - но сначала кратко опишем саму возможную связь.
Любой конечный автомат, как мы уже сказали, рассматривается со следующими упрощениями:
1 Соответственно, немного прокомментируем название статьи. Употребляя слово «одного», мы имеем в виду не «какого-либо», а то, что строим автомат и полугруппу по одному языку (а не по двум, как в предыдущих статьях).
• как детерминированный,
• без входов и без выходов;
то есть в стандартных обозначениях теории формальных языков его можно считать заданным в виде как тройки
(р,1,6),
в которой функцию переходов 6 достаточно определять как
6 : р х I -> р.
При этом для перехода от автомата к полугруппе необходимо «уровнять» число состояний в множестве и число букв в алфавите I - и для этого применяется2 добавление:
• либо неиспользуемых состояний в множество
• либо неиспользуемых букв в алфавит I. После этого получается структура
где 6 : р х
которую при дополнительном требовании на выполнение условия ассоциативности операции 6 можно назвать полугруппой: в стандартных алгебраических обозначениях множеством является а операцией - 6.
Но ассоциативность может и не выполняться - и пример такого невыполнения (т. е. когда мы не можем простейшим способом построить по автомату полугруппу) приведён на следующем рисунке.
Рис. 1. Пример автомата (функции переходов 6) без входов и выходов, соответствующего неассоциативной операции.
Действительно, получающийся группоид полугруппой не является - и чтобы показать последнее, достаточно привести хотя бы одну упорядоченную тройку
(а,Ъ,е), где а,Ъ,е е р = {0,1},
такую что
(а6Ь) 6е = а6 (Ь6е).
Несложно убедиться, что в качестве такой упорядоченной тройки можно взять
а = 1, Ь = 1, е = 0,
поскольку
(161) 6 0 = 1, но 16 (16 0)= 0.
Обратный же переход - от полугруппы к автомату -очевиден: детерминированный автомат может быть очевидным образом построен по любой таблице группоида, и требование ассоциативности3 при этом не является обязательным.
Однако перейдём к вопросам (и замечаниям), возникающим для подобной мини-теории о связи полугрупп и детерминированных конечных автоматов без входов и
2 По-видимому, всегда, т. е. во всех источниках.
3 То есть тот возможный факт, что группоид является полугруппой.
выходов - и мы уже начинали говорить об этих вопросах / замечаниях ранее.
• Во-первых, нам, вообще говоря, приходится добавлять в автомат состояния либо буквы - но ведь это меняет сам автомат!
• Во-вторых, мы как-то выбираем соответствие букв и состояний - но почему выбираем именно такое соответствие? Ведь даже при равном числе букв и числе состояний исходного автомата количество таких возможных соответствий, вообще говоря, равно п!.
• В-третьих, что имеется общего (у автоматов, у языков) для каждого из этих п! соответствий?
Ни на один из этих вопросов [6] не отвечает - более того, ни в каких других известных авторам монографиях ([7], [8], [9], [10], [11] и др.) мы не нашли даже постановки подобных вопросов.
С точки зрения морфизмов первый из языков можно рассматривать в качестве входного алфавита. А исследованный в [1], [2], [3], [4] (детерминированный) первичный автомат РИДА, В), множеством состояний которого является система подмножеств множества собственных префиксов второго языка (языка В), можно рассматривать в качестве инициального автомата, входным состоянием которого является язык-состояние, состоящий из единственного слова - пустого слова е, т. е. язык {е}.
В нашей работе мы будем чаще всего использовать табличное промежуточное представление. В подобных таблицах:
• каждый столбец соответствует входной букве4, мор-фический образ которой является словом в первом языке;
• каждая строка соответствует состоянию, которое является подмножеством множества собственных префиксов второго языка;
• а в каждой клетке таблицы - состояние после выполненного соответствующего перехода.
При этом мы можем использовать для состояний мор-физмо-подобное отображение - а именно, вместо самих состояний использовать их индексы.
Всё описанное выше являлось предметом предыдущих публикаций5 - а теперь опишем предмет настоящей статьи (сначала кратко). Если вышеуказанные структуры «объединить построчно», то мы получим результат перехода каждого состояния - в случае, когда входным сигналом является некоторое множество слов, т. е. некоторый язык. Этот язык мы будем кратко обозначать в виде некоторой новой буквы - которая и является прообразом при рассматриваемом морфизме.
Вследствие описанного «построчного объединения» мы можем изучать первичный автомат, построенный на основе одного языка - и этот язык можно называть базовым. У него и для множества состояний, и для входного алфавита мы будем использовать подмножество множества собственных префиксов базового языка - либо полученный с помощью некоторого инверсного морфизма
4 Заанее отметим, что при рассмотрении таблицы группоида (полугруппы) мы будем использовать другие соглашения: каждый столбец будет соответствовать некоторому языку. Ср. со следующим пунктом.
5 Однако важно отметить, что в настоящей статье употреблён совершенно новый вариант описания проделанных ранее действий. Этот вариант можно назвать «алгебраическим».
его прообраз. Вследствие этого сразу видно, что в качестве применяемого преобразования можно рассматривать используемую в автомате РИ индексацию.
Однако подобный переход - совсем не тривиален: кроме рассматриваемых автоматов мы одновременно рассматриваем соответствующие ему группоид и специальную полугруппу, вследствие чего в статье применяются некоторые вопросы, характерные для теории полугрупп. А именно, мы, используя конечность рассматриваемых автоматов6, а также естественную связь между конечной полугруппой и конечным автоматом, можем доказать корректность проводимых нами действий - то есть тот факт, что в результате рассмотрения множества преобразований получается ассоциативная операция и, следовательно, полугруппа. После этого мы получаем возможность непосредственно провести исследование свойств и основных элементов такой полугруппы - после чего можно, например, вернуться к рассмотрению первичного автомата РИ и продолжить исследование его7.
Основная идея доказательства того факта, что для множества преобразований получается именно полугруппа (а не какой-то группоид), заключается в следующем.
Если мы полугрупповое требование
(Уа,Ъ,е е д) ((абЪ) бе = аб (Ъбе))
рассмотрим с точки зрения конечного автомата, то про две части используемого в нём уравнения можно сказать следующее.
• Во-первых, используемые элементы полугруппы а, Ъ и е можно, не ограничивая общности рассуждений, рассматривать как результат работы нескольких операций автомата8.
• Во-вторых, левая часть уравнения описывает переход из текущего состояния в соответствии с первым подсловом (префиксом) входа в некоторое промежуточное состояние, а затем продолжение работы в соответствии со вторым подсловом (суффиксом) входа; а «опускаемая нами» часть уравнения (относящаяся к префиксу плюс суффиксу вместе) заключается в том, что мы непосредственно принимаем всю строку-вход, описывая всю работу автомата, т. е. весь его переход из начального состояния в конечное - игнорируя, какие состояния были пройдены «посередине».
То же самое мы можем сказать и для правой части уравнения - а строку-вход в обоих случаях можно считать одной и той же. (Таким образом, мы здесь очень кратко изложили, почему в нашем случае получается именно полугруппа - более подробно далее.)
Приведём содержание статьи по разделам.
В разделе II («Предварительные сведения ...») приведены некоторые основные понятия, связанные со следующими областями: формальными языками, конечными автоматами и полугруппами. К сожалению, некоторые
6 То есть не бесконечное число их элементов: все элементы в пятёрке определения автомата являются конечными множествами.
7 Дополнительно пользуясь полученными фактами о рассмотренной полугруппе преобразований.
8 Для полугруппы без единицы - не менее чем 1 операции. Но если
мы переходим к моноиду (об этом ниже) - то можно говорить и о 0 операций.
термины и обозначения этих предметных областей конфликтуют между собой - и мы постарались по возможности рассматривать «неконфликтующую» систему обозначений.
В разделе III мы продолжаем рассматривать предварительные сведения и приводим те основные понятия, которые связаны с ранее определённым автоматом РИ (А, В); специально отметим, что определяется такой автомат для заданной пары конечных языков. Но, кроме «старых» основных понятий, мы в этом же разделе вводим определения основного объекта настоящей статьи - полугруппы, специальным образом построенной для одного заданного конечного языка9.
В разделе IV доказана теорема, отражающее основное свойство рассматриваемого объекта - то, что это действительно полугруппа. Эта теорема связывает первичные автоматы, полученные из бесконечного итерационного дерева морфизма, определённого и исследованного в [1],
[2] и др., - с соответствующей полугруппой преобразований, введённой в разделе III.
В разделе V рассмотрены основные алгебраические свойства определённой здесь полугруппы автомата РМ. А в разделе VI рассмотрены несложные пример полугрупп автомата РЯ1.
В статье-продолжении мы предполагаем рассмотреть:
• существенно более сложный пример полугруппы автомата РМ;
• текст компьютерной программы, необходимой для построения полугруппы автомата РИ по заданному конечному языку В ;
• текст программы для исследования свойств этой полугруппы;
• некоторые полученные результаты работы этих программ -
и об этом кратко сказано в заключении настоящей статьи (раздел VII).
II. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ: ОПРЕДЕЛЕНИЯ И ОБОЗНАЧЕНИЯ ДЛЯ ПОЛУГРУПП
В настоящем разделе приведены некоторые основные понятия, связанные со следующими областями:
• формальными языками;
• конечными автоматами;
• полугруппами.
К сожалению, некоторые термины и обозначения этих предметных областей конфликтуют между собой - однако в настоящей работе таких ситуаций мало (и мы будем их отмечать). Также отметим, что для первых двух предметных областей в предыдущих работах ([1], [2],
[3], [4] и др.) были введены соответствующие термины и обозначения - поэтому здесь эту информацию мы повторять не будем. Отметим только некоторые обозначения, не указанные в упомянутых работах.
Свободный язык А+ - это множеством всех возможных последовательностей слов языка А. При этом среди «алгебраических» обозначений имеются соответствующие похожие понятия: над алфавитом £ рассматриваются свободная полугруппа и свободный моноид (1+)1
9 Условно - для объекта, обозначаемому нами в других формулах, прежде всего в предыдущих статьях на эту тему, как язык В.
([6, с. 28]). В настоящей работе мы постоянно используем эти два понятия, тесно связаны с рассматриваемой нами темой, - поэтому будем называть их просто полугруппой и моноидом.
Произведением (или прямым произведением, или конкатенацией) двух языков А • В является язык
с = {и • V | и е А, V е В},
т. е. все возможные конкатенации слов, принадлежащих этим двух языкам. V (А) представляет собой систему (множество) подмножеств множества (языка) А.
Теперь приведём некоторые основные понятия, относящиеся к полугруппам. Большинство из этих понятий являются стандартными - но важно определить конкретные обозначения, которые мы будем использовать в дальнейшем.
Полугруппой является структура (Б, •), для которой выполнено следующее:
• Б - некоторое множество;
• на этом множестве Б определена бинарная операция •, которая:
- замкнута относительно множества Б, т. е.
(V а, Ь е Б) (а • Ь е Б).
- обладает свойством ассоциативности, т. е.
(V а, Ь, е е Б) ((а • Ь) • е = а • (Ь • е)).
Обычно будем писать кратко «полугруппа Б», что не будет вызывать путаницы (поскольку всегда мы будем рассматривать только одну полугрупповую операцию). Эта операция часто называется «умножением», но надо отметить, что в приведённом определении нет требования коммутативности. Число элементов множества Б может быть бесконечным. Кроме того, обычно мы не будем различать полугруппу и соответствующий ей моноид.
В последних определениях формально участвуют всевозможные упорядоченные тройки элементов (то есть для конечной полугруппы, содержащей N элементов, чисто формально в худшем случае надо проверить N равенств, и, следовательно, выполнить умножений) -но сформулированное условие можно в определённом смысле «ослабить», для чего сначала нужно ввести понятие подполугруппы; мы продолжим обсуждение этих вопросов в разделе V.
Подполугруппой полугруппы Б называется структура А - или, точнее, (А, •) - где А С Б и
^х,у е А) (х • у е А)
(равенство х = у допускается). Очевидно, что подполугруппа также является полугруппой, так как условие ассоциативности не перестаёт быть истинным. Отметим, что ответ на вопрос о понимании ассоциативности над множеством, имеющим 2 элемента (или даже 1) на самом деле прост. Более того, в некоторых монографиях допускается даже возможность Б = 0.
Пока мы рассматривали основные понятия теории полугрупп, а также возможное получение конкретной интересующей нас полугруппы как группоида переходов автомата. Теперь введём понятия полугруппы преобразований - которые несколько сложнее, чем указанные выше основные понятия, и предоставляет собой более
сложный способ построения связанной с заданным автоматом полугруппы. Однако с применением такого метода полугруппа на основе автомата РИ1 получается всегда.
Из предыдущего следует, что следующие два способа задания функции переходов автомата фактически описывают одно и то же:
• в первом способе мы рассматриваем множество переходов из заданного состояния по заданной букве;
• а в другом способе мы рассматриваем множество букв, соответствующих переходам между двумя заданными состояниями.
В класической теории полугрупп считается, что понятие полугруппы неразрывно связано с понятием детерминированного конечного автомата ([6, с. 21 и с. 174], [7, с. 28] и мн. др.). Действительно, для автомата
а = (д,д,6,Б,п
любую входную букву а е А можно считать соответствующей некоторому преобразованию (функции)
Фа е Ш): д->д;
последнее отображает текущее состояние в некоторое новое состояние, обозначаемое иногда цфа = 6(ц,а). При этом любая конкатенация букв - т. е. любая последовательность
ат • а2 ••• ап , где (V г е 1,п)(щ. е А) —
представляет собой суперпозицию подобных функций
Фа, О Фа2 О • • • О фап.
Поэтому если мы будем рассматривать заданный входной алфавит как множество преобразований
А-> ЗД),
а соединение букв-входов - как вышеуказанную суперпозицию функций, то, согласно свойству свободного моноида, такое отображение может быть продолжено до гомоморфизма
та : А* —> ад).
При этом мы получаем соответствующую автомату полугруппу преобразований или, согласно другой терминологии, просто полугруппу автомата А.
При наличии любого моноида М можно построить инициальный автомат
А = (М, М, 6, Б, Р),
для которого множество элементов моноида и входной алфавит совпадают. Также отметим, что в литературе10 в подобных формулах употребляются точки - это означает любой возможный вариант (состояния, буквы и пр.).
Чисто формально рассматриваемый тип полугруппы описывается как
(зд), о),
(т. е. как некоторый синтаксический моноид [6, с. 175] -или, другими словами, как автомат без входных и выходных состоянй с «единым» множеством для букв и состояний), где:
10 Прежде всего - в «алгебраических» источниках.
• отображение тА : А* —> 1Г (д) задаётся;
• элемент полугруппы - образ входного символа для заданного отображения, т. е.
(Уа е А) (Зфа е 1г(д))(а фа);
• о - суперпозиция функций.
Таким образом, мы продолжаем полугруппу до моноида с помощью добавления тождественного отображения -которое можно считать соответствующим пустой последовательности входных сигналов. По отношению к автомату пустый вход представляет собой тривиальную ситуацию - следовательно можно считать, что основным объектом рассмотрения является полугруппа, причём над множеством преобразований, [6, с. 22 и с. 177].
Таким образом, с учётом естественных определений автомата над полугруппой преобразований, выполняются следующие соотношения:
(Уц е д)(Уа е А)(а фа, яФа е д),
а также
(Vq Е Q) (Vx,y Е А : x фх, y ^ фу ((яФх )Фу = q(Фxо Фу )).
Некоторые специальные свойства полугрупп мы опишем далее, в разделе V: для полного понимания возможности применения этих свойств к полугруппам, связанным с рассматриваемыми нами конечными автоматами, желательно подробно описать сами эти полугруппы - что мы и сделаем в следующих двух разделах.
III. АВТОМАТ PRI И ПОСТРОЕННЫЕ
НА ЕГО ОСНОВЕ ГРУППОИД И ПОЛУГРУППА
В этом разделе мы приводим те основные понятия, которые связаны с ранее определённым автоматом PRI(A,B); специально отметим, что определяется такой автомат для заданной пары конечных языков. Но, кроме «старых» основных понятий, мы здесь же вводим определения основных объектов настоящей статьи -группоида и полугруппы преобразований, специальным образом построенным для одного заданного конечного языка (условно - для объекта, обозначаемому нами в других формулах, прежде всего в предыдущих статьях на эту тему, как язык B).
Итак, после введения общетеоретических обозначений, кратко описанных в предыдущем разделе, мы можем описать автомат PRI, соответствующий автомату -основному объекту исследований в [1, разд. IV]. Мы обычно называем его первичным (primary) детерминированным конечным автоматом для бесконечных итерационных деревьев морфизмов (а кратко - просто первичным автоматом).
Прежде всего, рассмотрим наиболее важную функцию, которую, среди прочих возможных определений, можно рассматривать как функцию переходов автомата PRI. Поскольку алгоритм вычисления каждого этой функции11 был подробно описан в одной из предыдущих статей [1,
11 Отметим, что этот алгоритм не является тривиальным. В частности, требуется особое вспомогательное доказательства того факта, что каждое значение этой функции может быть вычислено за полиномиальное время. Обсуждать вопрос о возможном вычислении за полиномиальное время всех значений этой функции мы пока не будем.
та.
разд. III], мы просто введем её формальное определение,
а затем кратко рассмотрим некоторые её свойства и
характеристики, а также её работу (т.е. применение в
различных прикладных задачах).
Итак, из предыдущего следует, что Ф (и) является
А-В
языком - т. е. конечным подмножеством полного множества £*; конкретнее,
Ф (и) = { г е орте^В) I
А-В ^ 1
рЪ е В+, ш е А) (ши = шиг, Ъ = wu)}.
Всё это естественным образом распространяется и на языки - то есть функцию Ф можно определить от трёх аргументов-языков; записывать обычно удобно следующим образом:
Ф (C) = M Ф (и)
,_в W A-B
A-B
uec
но иногда удобнее применять «функциональную» форму записи:
Ф (С) = Фв(С,А).
А-В
Можно заметить, что последнее обозначение может быть непосредственно использовано для записи операции при рассмотрении группоида (в частных случаях -полугруппы), поскольку оно «принимает на вход» два языка и «возвращает на выходе» один язык - что и является первым требованием для полугрупповой операции.
Комментарии к алгоритму построения функции Ф в виде рисунков были приведены в [12] - здесь мы приведём несколько иные рисунки-комментарии; в отличие от предыдущего варианта, мы здесь:
• работаем непосредственно с языками - а не со словами;
• рассматриваем конкретные значения объектов (языков, участвующих в формулах).
Использование на рисунке трёх цветов показывает слова в первом, втором и третьем языках соответственно -причём «основным» из них стоит считать язык В: это соответствует тому факту, что мы иногда называли его базовым. Более того, сами действия, связаные с этим базовым языком, мы также всюду помечаем синим цветом. Итак:
Рис. 2. Пример формирования одного значения функции Ф - как функции переходов.
Здесь для конкатенации двух языков мы отрезaем от него элементы базового языка - но не удаляем слова, а отсекаем эти части в элементах, а затем формируем множество подходящих оставшихся частей. Таким образом, мы привели объяснение функции перехода, которое мы можем получить с точки зрения процесса её работы.
Получение группоида на основе функции Ф очевидно - и мы теперь подробно опишем, как для рассматриваемого автомата РИ1 построить полугруппу. Однако поясним ещё раз, что речь идёт не о полугруппе переходов автомата - а о том, как преобразовать один автомат или класс автоматов в соответствующую полугрупповую структуру.
Структура множества автоматов с операциями изучена почти полностью, и в соответствующей теории в основном рассматриваются операции над множествами языков, соответствующих автоматам, - то есть можно сказать, что основным объектом исследования при этом являются языки и соответствующие им грамматики. В нашем же случае некоторая новизна заключается в том, что мы рассматриваем полугруппу для автомата, используя множества состояний, входов и выходов, а также, конечно, функцию переходов.
С точки зрения общей алгебры подобных структур может быть много. В предыдущем разделе мы представили возможный способ преобразования автомата в полугруппу, содержащий несколько вспомогательных понятий, при помощи понятия гомоморфизма полугруппы преобразований, зависящих от входов. Применяя такой способ, мы можем получить достаточно элегантную структуру, можно также перейти от полугруппы к моноиду - хотя при этом надо согласиться с возможным утверждением об излишней простоте этого способа.
Отметим, что из изложенного выше ещё не следует конечность получаемого группоида12 - но её (конечность) можно считать следствием того, что каждый элемент этого группоида представляет собой некоторое подмножество множества собственных префиксов базового языка В - а последнее множество конечное13. В предыдущих статьях [3], [4] задающие группоид (а также автомат РИ1) языки в формулах обозначались А и В. Алфавит Аа является вспомогательным алфавитом, определяемым для заданного языка А, соответствующий ему морфизм -
НА : АА^ I*.
Перейдём к основному определению автомата. Детерминированный автомат РИ1 (А, В) для заданных конечных языков А, В С I* определяется следующим образом:
РИ1(А, В) = ( рв, Аа, 6а-в, {{е}}, {0}), (1)
где:
• рв СР(орте^В));
• Аа = {0,1,..., п—1}, где п = |А| - число слов языка
А;
• для некоторых , ц2 е рв и с1 е Аа переход
а
41 х—> 42
»Л-в
имеется тогда и только тогда, когда
Фв(Я1, {На(Л)}) = Я2-
При этом мы определяем, что в автомате будет по одному входному и выходному состоянию - то есть {{е}}
12 То есть то, что соответствующее бесконечное итерационное дерево содержит конечное число классов эквивалентности.
13 И, конечно, в частных случаях это может быть проверено с помощью компьютерной программы - описать которую мы предполагаем в статье-продолжении.
и {0} соответственно, а все состояния мы определяем как некоторые подмножества - этим и вызваны применённые «сложные» обозначения. Из рассматриваемой полной системы подмножеств могут быть удалены недостижимые состояния - что мы обычно и делаем, получая подгруппоид.
Итак, на основе определённого первичного автомата (1) мы вводим полугруппу (моноид) преобразований как
Ртг(А, В) = (1г(рв), о)
(мы специально применяем «похожее на автомат» обозначение для полугруппы), где:
(Vя е рв) (Vг е 0,|А|-1) (э Ф^т е ЗДв))
(г аг Фнл(1), ЧФнл(г) = 6а-в(Я, аг) е рв).
Если мы имеем дело с «плохими» автоматами РИ1 -т. е. такими с автоматами, чей группоид относительно их основной операции полугруппой не является - то мы можем использовать описанный нами способ получения полугруппы, жертвуя понятийной простотой ради достижения структурного совершенства. Именно такой способ будет использоваться в качестве основного - для дальнейшших исследований, связанных с полугруппой автомата РИ1. При этом построенная полугруппа обладает различными интересными свойствами - и некоторые из них мы рассмотрим в настоящей статье.
Кроме того, надо отметить, что мы строим не автомат по некоторой полугруппе (как делается, по видимому, в большинстве алгебраических приложений), а проводим действия, которые можно назвать обратными - строим полугруппе по некоторому автомату.
Но, формулируя другими словами сказанное во введении, можно сказать, что основная цель - получить упрощение автомата РИ1(А, В), то есть описать полугрупповую структуру вида (рв,Фв), не зависящую от первого языка, обычно обозначаемого А (в предыдущих публикациях и выше в настоящей статье). То есть рассматривая автомат РИ1(В,В) - или просто РИ1(В) -который имеет вид
РЫ(В) = (V (ортеПВ)),АР (орте^в)),Ф в , {{е }}, {0 } ,
мы можем сказать, что он соответствует группоиду
Ртг(В) = (V (орте^В)),Фв),
являющемуся в частных случаях полугруппой. Очевидно, что при этом операция определена на «подходящем» множестве:
Фв : рв х рв -> рв.
Свойство замкнутости, очевидно, выполнено - и поэтому для того, чтобы ответить а вопрос о том, является ли по-
14
лугруппой группоид автомата, нам остаётся проверить ассоциативность рассматриваемой операции.
IV ОСНОВНАЯ ТЕОРЕМА
В этом разделе доказана теорема, отражающее основное свойство рассматриваемого объекта - то, что он действительно является полугруппой. Как мы уже отмечали, эта теорема связывает:
14 Ещё раз отметим, что он не является полугруппой преобразований автомата - это совершенно иная структура.
• первичные автоматы, полученные из бесконечного итерационного дерева морфизма, определённого и исследованного в [1], [2] и др., -
• с соответствующей полугруппой преобразований, введённой в предыдущем разделе.
Действительно, (детерминированный) конечный автомат в нашем случае однозначно определяет конечную полу-группу15 - но подобное доказательство для нашего конкретного автомата требует дополнительных построений.
Сначала приведём теорему, которая фактически является формулировкой результатов процитированных ранее работ.
Теорема 1: Для любой пары заданных конечных языков А и В автомат РИ1(А, В) является детерминированным конечным автоматом. □
Теперь опишем основную теорему настоящей статьи.
Теорема 2 (основная): Для любого конечного языка В С I* группоид
(ЗДв), О)
является конечной полугруппой.
Доказательство. Первое условие, которое необходимо выполнить для доказательства, состоит в том, чтобы установить отображение из некоторого свободного входного алфавита в полугруппу преобразований множества состояний. Для этого мы, например, должны определить, обладает ли функция перехода, введённая в [1], [3], замкнутостью над множеством состояний. Тогда, согласно свойству прямого произведения языка, соответствующего суперпозиции нескольких преобразований ([6, сс. 18,22,177,178]), а также его продолжения на моноид, мы получаем полугруппу автомата.
Сначала опишем проверку замкнутости. Заметим, что в [1] согласно алгоритму формирования функции перехода 6А-в результат вычисления для любой пары языков является подмножеством множества собственных префиксов языка В ; это подмножество, согласно определению первичного автомата РИ1, принадлежит множеству состояний - так как оно состоит из достижимых состояний при выполнении функции перехода. Тогда для рв и яо = {е} мы для автомата РИ1(А, В) получаем следующее:
V е рв) (эа е АА) (яо я).
»Л-В
Следовательно, функция переходов замкнута относительно множества состояний - и одновременно можно однозначно определить отображение из свободного входного алфавита в множество преобразований, которое замкнуто относительно множества состояний.
Вследствие доказанного выполнения свойства замкнутости мы можем перейти к доказательству выполнения свойства ассоциативности16.
Условие на полугруппу (моноид) автомата, обладающую этим свойством, можно записать в виде
(яФх)Фу = я(Фх О Фу), где я = {р1,р2, ••• ,Рв} С орте^В).
15 В отличие от мини-примера, рассмотренного во введении - где рассматриваемый группоид полугруппой не является.
16 Напомним, что краткое и неформальное описание этого доказательства было приведено во введении.
Сразу можно заметить, что входом здесь является слово произвольной длины из свободного входного алфавита; такая произвольность длины влечёт возможность увеличения числа членов в последовательности суперпозиции функций - и это ассоциативности не нарушает. Поэтому мы, не ограничивая общности, для простоты рассмотрим только тот случай, когда вход является 1 -буквенным словом.
Для левой части равенства, т.е. для записи (яФх)Фу, мы видим, что при обработке первой части ввода автомат переходит в некоторое промежуточное состояние, которое по определению также является множеством собственных префиксов языка В. Далее будем рассматривать состояния в некотором определённом порядке -например, в лексикографическом порядке для рассматриваемого свободного алфавита; т. е. если применим те же самые обозначения
(яФх)Фу = я(Фх О Фу), для В = (Ь1,Ь2, • • • ,Ь5), то после выполнения рассматриваемого процесса полученный результат также будет иметь некоторый фиксированный порядок - соответствующий рассматриваемому. Это можно записать следующим образом:
Я = (р11 , . . . , р1к, , р21 , . . . , р2к2 , . . . , Рв1 , . . . , Рвк8 ^ где Ф (Рг) = (Рг1,...,Ргк1) для г е 1,б;
{х}—в
приведём два связанных замечания к последней формуле:
• согласно сказанному выше, мы не различаем множества и упорядоченные множества;
• лексикографический порядок, вообще говоря, нарушен - но это не влияет на изложение доказательства.
После этого мы принимаем вторую часть ввода
(в 11 • У, в 12 • У, ••• , р5к8 • у) -
и тем самым переходим от промежуточного состояния к итоговому.
А для правой части формулы, т.е. я(Фх о Фу), мы в силу эквивалентности суперпозиции функций и прямого произведения языков напрямую применяем к начальному состоянию входной сигнал длины 2, т. е.
(р1 • ху, р2 • ху, ••• , р5 • ху).
В процессе работы алгоритма должна появиться конкатенация слов, полностью совпадающих со словами промежуточного состояния Я, и второй входной буквы
pij • y
что доказывает теорему.
□
V ОСНОВНЫЕ АЛГЕБРАИЧЕСКИЕ СВОЙСТВА
ПОЛУГРУППЫ АВТОМАТА РМ Перечислим необходимые для дальнейшего изложения свойства полугрупп, а также некоторые возможные элементы полугрупп конкреного вида. При этом мы приводим такие определения, которые могут быть применены для описания применения к рассматриваемой полугруппе первичного автомата РИ1.
Полугруппа (Б, •) является коммутативной, если её элементы перестановочны:
^х,у е Б) (х • у = у • х).
В не коммутативной полугруппе также могут быть некоторые перестановочные пары элементов (в этом случае говорят, что элементы этой пары коммутируют) - но обязательно имеется хотя бы одна некоммутирующая пара.
Единицей полугруппы (Б, ) является некоторый её элемент I, такой что
(Ух е Б) (х • I = I • х = х).
Легко доказать, при наличии единицы она единственна. Полугруппа с единицей называется моноидом.
Идемпотентом является такой элемент е полугруппы, что е • е = е. Множество всех идемпотентов полугруппы Б обозначается Е(Б). Полугруппа Б называется унипо-тентной, если |Е(Б)| = 1; при этом такой её идемпотент обозначается еэ. В этом случае порядком элемента д полугруппы Б называется такое наименьшее натуральное 1, что д" = еэ; если для выбранного элемента д такого 1 не существует, то считаем, что порядок д равен бесконечности.
Согласно сказанному выше, для полугрупп преобразований идемпотент должен быть определён следующим образом: это такой элемент е, что
У е дв, е фе) (яфефе = ЯФе) •
В качестве заключительного состояния автомата РИ мы были обязаны указать единственное - пустое мно-
17
жество 17 - и этот элемент является тривиальным идемпотентом. Понятно, что интерес вызывают только не тривиальные идемпотенты - однако часто полугруппы первичных автоматов унипотентны, т. е. они содержат только тривиальный идемпотент, а порядок их элементов (кроме идемпотента) обычно является бесконечностью.
Пусть Р - некоторое непустое подмножество множества Б, причём (Б, •) - полугруппа. Для любого Р существует наименьшая подполугруппа в Б, содержащая Р, которая обозначается <Р>; она состоит из всех конечных произведений элементов из Р. Если <Р> = Б, то множество Р называют порождающим или системой образующих элементов полугруппы Б. Если Р содержит только один элемент д, то полугруппа <Р> (или <д>, опускаем фигурные скобки) называется циклической или моногенной, а элемент д - порождающим моногенную полугруппу <д> .
В частности, для входного алфавита А и некоторого его подмножества
А С А, А = {а1, • • •, аг} при т е N получаем
<А> = {фр е 1т(дв) |
(УЯ е дв) (яфр = Я(фак1 ◦•••◦ фак. ),
{к, ••• } С {а1, ••• ,ат})}.
Очевидно, что рассмотренное понятие наименьшей подполугруппы можно естественно продолжить до моноида; при этом должна быть добавлена возможность г = 0 - т. е.
{ к1, ••• ,кг } = 0.
17 Этим для автомата РМ и была вызвана запись {0} в качестве
множества заключительных состояний.
И, как можно видеть, в случае свободного моноида и в других частных случаях с наименьшей подполугруппой совпадает множество, состоящее из входного алфавита18.
Продолжим обсуждение материала раздела II. При наличии некоторого описания порождающей подполугруппы на ассоциативность можно проверять не все упорядоченные тройки элементов, а только те из них, которые входят в наименьшую порождающую подполугруппу.
Важным объектом исследования полугруппы, в первую очередь конечной, является ряд степеней элемента:
д,д2,д3,••• ,дг,...,д е б. (2)
А в силу ассоциативности полугруппы мы имеем корректность следующих равенств:
^ (д")т = д"т.
g* • gr
g
Пусть в ряду (2) встречаются одинаковые элементы, а 1 - такое наименьшее натуральное число, что да = д" при некотором натуральном <1 < 1. Обозначим п = 1-й и перепишем последнее равенство в виде да = да+п. Для конечной циклической полугруппы <д> это равенство называется определяющим соотношением, а пара
(д; да = да+п),
состоящая из порождающего элемента д и определяющего соотношения - её копредставлением. Несложно показать, что равенство
дд \ ^ _ gd+n + i
выполнено при любом г е N. При этом:
• число с1 называется циклической глубиной или индексом элемента д; обозначение йер(д);
• число п называется периодом элемента д ; обозначение рет(д).
Также будем говорить, что элемент д полугруппы с циклической глубиной с1 и с периодом п имеет тип (с1; п) и порождает циклическую полугруппу <д> типа (й; п).
По отношению полугруппы автомата определяем член ряда как упорядоченный набор следующего вида:
где
gr = (qir ,q2r,...,qiQBiO >
qir = qt( Ф9 о • • • о Ф^, 1 < i < |Qb|.
Приведём ещё одно отношение, которое не только относится к свойствам полугруппы, но и в немалой степени связано с автоматами. На множестве, содержащем:
• все (неупорядоченные) пары различных элементов дв (т.е. сочетания по 2 элемента этого множества),
• а также специальный элемент Т, рассмотрим такое бинарное отношение у:
• {Я1, Я2} у {Яз, Я4}, где Я1 _ Я2 и цз _ Ц4 - если для некоторого а е А имеем Фв(ц1,а) = ц3 и Фв(Я2,а) = Я4;
• {Я1, 42} У Т, если и только если из двух состояний
_ Ц2 ровно одно финальное.
18 Точнее, множество всех 1 -буквенных слов.
Это бинарное отношение связано с алгоритмами построения канонического (минимального детерминированного) конечного автомата - и, конечно, легко связывается с рассматриваемыми нами полугруппами. (Про возможные подходы к построению практических алгоритмов для давно решённой проблемы канонизации конечного автомата см., например, [13].)
Некоторые примеры описанных здесь понятий мы рассмотрим в следующем разделе, а также предполагаем рассмотреть в статье-продолжении.
VI. НЕСЛОЖНЫЕ ПРИМЕРЫ
Пример 1: Базовый язык В] = {аа}19.
Получаем следующее:
V(орте^ВО) = {0,{е},{а},{е, а}}.
Согласуясь с предыдущими договорённостями, обозначим
АР(артеГ(в1 )) = {0, 1,2,3}; при этом морфизм такой 20:
Н(0) = 0, Н(1) = {е}, Н(2) = {а}, Н(3) = {е, а}.
После несложных вычислений получаем следующую таблицу для группоида Ртг(В1):
Таблица I Группоид для примера 1.
0 1 2 3
0 0 0 0 0
-> 1 0 1 2 3
2 0 2 1 3
3 0 3 3 3
Приведём то же самое в графическом виде:
Пример 2: Базовый язык В2 = {аа, ааааааЬ} 21.
Мы видим, что
|Р (ортеТ(В2))| = 27,
поэтому будем обозначать
АР(артеГ(в2)) = { 1 • • • , 127 } •
Небольшая часть множества значений результирующего группоида 22 приведена на рис. 4 ниже. Для всех приведённых пар значений выполняется коммутативность, а для всех приведённых упорядоченных троек - ассоциативность; согласно результатам работы программы, те же факты верны и для всех значений. Однако единичного элемента нет - таковым не является ни «естественный вариант» единицы {е}, ни какой-либо иной элемент из показанных либо не показанных на рисунке. Поэтому рассматриваемый группоид Рт1(В2) является коммутативной полугруппой с нулём, но не является моноидом. А возможное дополнение этой полугруппы до моноида путём введения нового специального единичного элемента вряд ли представляет интерес для рассматриваемой нами предметной области - группоиде первичного автомата РИ1.
Приведём ещё небольшие комментарии к рис. 4.
• Для обозначения «номеров» подмножеств мы применяем такой несложный алгоритм: пустое множество, далее множества с 1 элементом, потом с 2, с 3 и т. д. Множества с одинаковым количеством элементов упорядочиваем согласно лексикографического порядка. См. подробнее рис. 5.
• По-видимому, ассоциативность выполняется вследствие того, что все собственные префиксы всех слов заданного языка являются словами над 1 -буквенным алфавитом 23. □
Итак, в обоих рассмотренных примерах мы получили полугруппы, причём коммутативные. Однако существуют достаточно простые примеры, для которых рассматриваемый в них группоид полугруппой не является.
Пример 3: Базовый язык В3 = { аа, ЬЬ } 24.
После несложных вычислений получаем таблицу для группоида Рт1(В1), приведённую в таб. II.
Таблица II Группоид для примера 3.
Рис. 3. Граф автомата для примера 1.
Можно показать, что ассоциативность выполняется, коммутативность тоже, единица есть - то есть полученный группоид Рт1(В1) является коммутативным моноидом. □
19 Пример может быть посчитан «вручную», без применения компьютерной программы.
20 Ниже записи морфизма будем иногда опускать.
0 1 2 3 4 5 6 7
0 0 0 0 0 0 0 0 0 0
1 {£} 0 1 2 3 4 5 6 7
2 {а} 0 2 1 0 4 2 1 4
3 {Ь} 0 3 0 1 3 5 1 5
4 {е,а} 0 4 4 3 4 7 7 7
5 Ш 0 5 2 5 7 5 7 7
6 {а,Ь} 0 6 1 1 7 7 1 7
7 {е,а,Ь} 0 7 4 5 7 7 7 7
21 Пример вряд ли может быть посчитан «вручную», применение компьютерной программы, по-видимому, необходимо.
22 Примерно 5%.
23 Но подробное рассмотрение этого вопроса, в частности - возможное описание необходимых и достаточных условий ассоциативности, в круг вопросов настоящей статьи не входит.
24 Этот пример также может быть посчитан «вручную».
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
0 а G 0 0 0 G 0 0 0 0 0 0 0 0 0 0 0 0 G 0 0 0 0 0 0 0 0 0 0 0 G
- 1 Е} 0 1 2 9 15 35 49 78 8 9 30 35 69 73 29 16 66 49 103 64 36 100 76 99 49 121 120 78 127 29
г а} 0 2 9 15 35 49 78 49 29 15 65 49 103 49 64 35 100 78 100 99 49 121 49 120 78 120 127 49 127 64
з □ □) 0 9 15 35 49 78 49 78 B4 35 100 78 100 78 99 49 121 49 121 120 78 120 78 127 49 127 127 78 127 99
4 ааа} 0 15 35 49 78 49 78 49 99 49 121 49 121 49 120 78 120 78 120 127 49 127 49 127 78 127 127 49 127 120
5 аааа} 0 35 49 78 49 75 49 78 120 78 120 78 120 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
G ааааа} 0 49 76 49 78 49 76 49 127 49 127 49 127 49 127 78 127 78 127 127 49 127 49 127 78 127 127 49 127 127
Ï аааааа} 0 78 49 78 49 78 49 78 127 78 127 78 127 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
8 s, а} 0 8 29 64 99 120 127 127 29 64 99 120 127 127 64 99 120 127 127 99 120 127 127 120 127 127 127 127 127 64
а ":inj 0 9 15 35 49 78 49 78 64 35 100 78 100 78 99 49 121 49 121 120 78 120 78 127 49 127 127 78 127 99
10 s.aaa} 0 30 65 100 121 120 127 127 99 100 121 120 127 127 120 121 120 127 127 127 120 127 127 127 127 127 127 127 127 120
11 Е.аааа} G 35 49 78 49 76 49 78 120 78 120 78 120 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
12 ааааа} 0 69 103 100 121 120 127 127 127 100 127 120 127 127 127 121 127 127 127 127 120 127 127 127 127 127 127 127 127 127
1Î s, аааааа} 0 78 49 78 49 78 49 78 127 78 127 78 127 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
14 □ .аа} 0 29 64 99 120 127 127 127 64 99 120 127 127 127 99 120 127 127 127 120 127 127 127 127 127 127 127 127 127 99
15 а.ааа} 0 15 35 49 78 49 78 49 99 49 121 49 121 49 120 78 120 78 120 127 49 127 49 127 78 127 127 49 127 120
1Б а.аааа} G 65 100 121 120 127 127 127 120 121 120 127 127 127 127 120 127 127 127 127 127 127 127 127 127 127 127 127 127 127
1Ï а зззза} 0 49 78 49 78 49 76 49 127 49 127 49 127 49 127 78 127 78 127 127 49 127 49 127 78 127 127 49 127 127
18 19 а.аааааа} □а.ааа} 0 G 103 64 100 121 99 120 120 127 127 127 127 127 127 127 127 99 121 120 127 127 127 127 127 127 127 127 127 120 120 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 120
20 аа.аааа} 0 35 49 78 49 78 49 78 120 78 120 78 120 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
21 аа зззза} 0 100 121 120 127 127 127 127 127 120 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127
22 33 333333} G 76 49 78 49 76 49 78 127 78 127 78 127 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
23 iii:iiii] 0 99 120 127 127 127 127 127 120 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127
24 25 ааа.ааааа} ааа.аааааа) 0 0 49 121 78 49 120 127 78 127 49 127 78 49 127 127 127 127 49 127 127 49 127 127 127 127 49 127 127 127 78 127 127 127 78 127 127 127 127 49 127 127 127 127 49 127 127 78 127 127 127 127 49 127 127 127 127 127 127 127
26 аааа. ааааа} 0 120 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127
27 аааа. аааааа} 0 76 49 78 49 78 49 78 127 78 127 78 127 78 127 49 127 49 127 127 78 127 78 127 49 127 127 78 127 127
26 ааааа. аааааа} 0 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127 127
29 s.a.aa} 0 n 23 in 64 99 GC 1ПП 120 111 127 11Гь 127 127 117 117 64 QO 99 mn 120 1 27 127 111 nn 117 127 117 99 11Л 120 127 111 11П 127 117 127 117 120 127 117 11П 127 117 127 117 127 127 117 117 127 127 127 127 117 117 117 117 99 11^
Рис. 4. Группоид для примера 2 - «верхняя левая» часть таблицы значений.
£,з,зз} £,з,эаэ} £,а,аааа} £;а,ааааа} £,а,аааааа}
£,аа,аааааа}
£,азэ,ээээ}
£,ааа,ааааа}
£,аааа,ааааа} £,аааа,аааааа] £.ааааа.аааааа}
а,аа;аааа}
з,ээ,ээээз}
з,эа,ээээээ}
а,заа,ээаа}
а:ааа,ааааа}
а ааа аааааа}
а,аааа,ааааа}
а,зааэ,эааэээ}
а:ааааа:аааааа]
аа,ааа,аааа}
аз,эээ,эээээ}
аз,ааэ,эааэээ}
аа,аааа,ааааа}
аа,аааа,ааазза}
аэ,ээзээ,ээээээ}
ааа,аааа,ааааа}
аээгазээ,аэээаа}
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80 81 82
83
84
85
90
91
92
93
94
эээ,зээээ,ээээ эээа,ээааэ,эаа £,а,аа,ааа} £,а,аа,аааа} £,а,зэ,эээээ} £,э,эз,эаээээ} £:а:ааа,аааа} £,а,ааа,ааааа} £,а,ааа,аааааа} £,э,заээгэээээ} £,э,эазэгаээээа} £,а:ааааа,аааааа} £,аз,аээ,аааэ} £,эз,эээгэээээ} £,аа,ааа,аааааа} £;аа:аааа:ааааа} £,аа,аааа,аааааа} £,аэ,ээзээ,ээээээ}
£,ээа,эзэа,эээааэ} £;ааа:ааааа,аааааа] £,азаа,аэааа,ааааээ} а;аа;ааа,аааа} а,аа,ааа,ааааа} а,аа,ааа;аааааа} а.аа.аааа ааааа} а;аа аааа аааааа] а;аа,ааааа,аааааа} а,ааа,аааа,ааааа} а ааа аааа,аааааа} а ааа: ааааал а аааа ааааа;г аа,ааагаааагс
95 {ээ,эээ,эзээ,ээээээ}
№ {аа.ааа.ааааатаааааа}
97 {аа:аааа,ааааа,аааааа}
98 {ааа,аааа,ааааа;аааааа}
99 {£,9,33,333,3333}
100 {£,а,зз,ааа,ааааа}
101 {£,а,аэ,азэ,ааэээа}
102 {£,а,аа,аааа,ааааа}
103 {£,а,аз,ааээ,ааээаа}
104 {£,а,аэ,ааааа,аааааа}
105 {£,а,ааа,аааа,ааааа}
106 {£,а,ааа,аааа,аааааа}
107 {£,а,аза,аэээа,аэаааэ}
108 {£,3,3333,33333,333333}
109 {£,аа,ээа,эээа,ээаээ}
110 {£,аа,ааа,аааа,аааааа}
111 {£,аа,ааа,ааааа,аааааа}
112 {£,33,3333,33333,333333}
113 {£,эээ,ээээ,ээзээгээээээ}
114 {а,аа,ааа,аааа,ааааа}
115 {а,аа,ааа,аааа,аааааа}
116 {а,зэ,ааэ,ааааэ,ааэзаа}
117 {э,ээгээээ,ээзээ,ээээээ}
118 {а,ааа,аааа,ааааа,аааааа}
119 {аа,ааа,аааа,ааааа,аааааа}
120 {£,а,аз,ааэ,аааэ?аааэа}
121 {£,3,33,333,3333,333333}
122 {£,3,33,333,33333,333333}
123 {£,а,аа,аааа,ааааа,аааааа}
124 {£,а,эээ,эзээ,эээаа,аэаааа}
125 {£,33,333,3333,33333,333333}
126 {3,33,333,3333,33333,333333}
127 {£,3,33,333,3333,33333,333333}
Рис. 5. Обозначение всех элементов группоида для примера 2 (элементов, не вошедших в рис. 4).
2.2.3 2,2,5 2,4,6 2,4,7 2,7,6 2,7,7 3,4,2 3,4,6 3,7,2 3,7,4 4,3,6 4,3,7 5,3,2 5,3,4
6.2.4 6,2,5 6,6,2 6,6,3 7,3,2 7,3,3
2,2,6 2,2,7
2,5,3 2,5,6
3,2,2 3,2,4
3.5.2 3,5,4 3,7,6 3,7,7
4.5.3 4,6,3 5,3,6 5,3,7 6,3,2 6,3,3
6.6.4 6,6,5 7,3,4 7,3,5
2,3,3 2,3,5
2,6,3 2,6,5
3,2,6 3,2,7
3,5,6 3,5,7
4.2.3 4,2,5 4,6,6 4,7,3 5,4,2 5,6,2
6.3.4 6,3,5 6,7,2 6,7,3 7,4,2 7,5,3
2,3,6 2,3,7
2,6,6 2,6,7
3,3,2 3,3,4
3,6,2 3,6,4
4,2,6 4,2,7
5,2,2 5,2,4
5,6,6 5,7,2
6,4,2 6,4,3
7,2,2 7,2,3
7,6,2 7,6,3
2,4,3 2,4,5
2,7,3 2,7,5
3,3,6 3,3,7
3,6,6 3,6,7
4.3.3 4,3,5 5,2,6 5,2,7 6,2,2 6,2,3 6,5,2 6,5,3
7.2.4 7,2,5 7,7,2 7,7,3
Рис. 6. Упорядоченные тройки, нарушающие ассоциативность в примере 3.
Как несложно видеть, нарушения ассоциативности имеются; одно из 100 таких нарушений - упорядоченная тройка (2,2,3), поскольку
(2 6 2) 6 3 = 1 63 = 3,
но при этом
26 (263) = 260 = 0.
(Все 100 упорядоченных троек, нарушающих ассоциативность, приведены на рис. 6.)
Таким образом, полученный группоид может быть на-
25
зван коммутативным группоидом с нулём и единицей 25 -однако полугруппой он не является. □
VII. ЗАКЛЮЧЕНИЕ
В намечаемой статье - продолжении данной мы в первую очередь сосредоточимся на более подробном описании и программной реализации алгоритмов:
• работы с автоматом РМ,
• получения соответствующего группоида
• и проверки его свойств -
поскольку нас интересуют не только теоретические аспекты, но и различные примеры, необхдмые для проверки формулируемых об автомате РИ и соответствующем ему группоиде Ртг гипотез. Заранее отметим, что оценка сложности алгоритмов для подобных программ для нас большого интереса не представляет - однако немного материала, поясняющего сложность алгоритмов для применяемой нами в программах структуры объектов, мы привести предполагаем. Как мы уже отметили, построеный группоид - и, в частных случаях, полугруппа - обладают рядом интересных свойств, некоторые из которых мы уже рассмотрели в настоящей статье.
Также мы предполагаем привести более подробные исследования, связанные со следующими вопросами, рассмотрение которых в настоящей статье только началось.
• Нужно показать или опровергнуть сделанное выше предположение о том, что ассоциативность группоида Ртг(В) выполняется вследствие того, что все собственные префиксы всех слов заданного языка В являются словами над 1 -буквенным алфавитом. Понятно, что такое условие не является необходимым -но является ли оно достаточным?
• Желательно также исследовать «причины» нарушения ассоциативности в примере 3: во всех приведённых упорядоченных тройках элементов группоида, связанных с нарушением ассоциативности, присутствуют либо единственный элемент 2, либо единственный элемент 3, либо оба этих элемента без каких-либо иных; а оба эти элемента (2 и 3) во-первых, состоят из 1 буквы 2-буквенного слова, и, во-вторых, «не имеют прообразов» после применения инверсного морфизма. Является ли такая причина необходимым условием? является ли достаточным? (Говоря про подобный инверсный морфизм, стоит рассмотреть материал последней статьи [14].)
• Могут ли подобные элементы группоида Ртг (аналогичные рассмотренным в предыдущем пункте)
25 Эти объекты здесь «обычные», причём их необходимые свойства, а также указанная нами коммутативность, проверяются элементарно.
появляться при исследовании реальных пар языков -т. е. при рассмотрении автомата PRI(A, В)? И, конечно, в статье-продолжении мы предполагаем привести результаты рассмотрения примеров «существенно большего размера».
VIII. БЛАГОДАРНОСТИ
Настоящая работа была частично поддержана грантом научной программы китайских университетов "Higher Education Stability Support Program" (раздел "Shenzhen 2022 - Science, Technology and Innovation Commission of Shenzhen Municipality") - 2022
Список литературы
[1] Мельников Б. Ф. Варианты конечных автоматов, соответствующих бесконечным итерационным деревьям морфизмов. Часть I // International Journal of Open Information Technologies. - 2021. -Vol. 9. No. 7. - P. 5-13.
[2] Мельников Б. Ф. Варианты конечных автоматов, соответствующих бесконечным итерационным деревьям морфизмов. Часть II // International Journal of Open Information Technologies. - 2021. -Vol. 9. No. 10. - P. 1-8.
[3] Мельников Б. Ф., Мельникова А. А. Бесконечные деревья в алгоритме проверки условия эквивалентности итераций конечных языков. Часть I // International Journal of Open Information Technologies. -2021. - Vol. 9. No. 4. - P. 1-11.
[4] Мельников Б. Ф., Мельникова А. А. Бесконечные деревья в алгоритме проверки условия эквивалентности итераций конечных языков. Часть II // International Journal of Open Information Technologies. -2021. - Vol. 9. No. 5. - P. 1-11.
[5] Melnikov B. 2w-finite automata and sets of obstructions of their language // The Korean Journal of Computational and Applied Mathematics (Journal of Applied Mathematics and Computing). - 2000.
- Vol. 6. No. 3. - P. 565-574.
[6] Скорняков Л. (ред.) Общая алгебра. Том 2. - М., Наука. - 1991. -480 с.
[7] Ляпин E. С. Полугруппы. - М., Физматлит. - 1960. - 592 с.
[8] Биркгоф Г., Барти Т. Современная прикладная алгебра. - М., Мир.
- 1976. - 400 с.
[9] Лаллеман Ж. Полугруппы и комбинаторные приложения. - М., Мир. - 1985. - 440 с.
[10] Саломаа А. Жемчужины теории формальных языков. - М., Мир.
- 1986. - 159 с.
[11] Pin J.-E. Mathematical Foundations of Automata Theory. - Berlin, Springer-Verlag. - 2012. - 310 p.
[12] Мельников Б. Ф., Мельникова А. А. Применение лепестковых конечных автоматов для проверки выполнения частного случая гипотезы Zyu (для заданного конечного языка) // International Journal of Open Information Technologies. - 2023. - Vol. 11. No. 3. - P. 1-11.
[13] Мельников Б. Ф., Долгов В. Н. Упрощённые регулярные языки и специальное отношение эквивалентности на классе регулярных языков. Часть I // International Journal of Open Information Technologies. - 2022. - Vol. 10. No. 9. - P. 12-20.
[14] Мельников Б. Ф. Полиномиальный алгоритм построения оптимального инверсного морфизма // International Journal of Open Information Technologies. - 2023. - Vol. 11. No. 6. - P. 1-10.
МЭН Линцянь,
бакалавр Университета МГУ-ППИ в Шэньчжэне
(http://szmsubit.ru/),
emaili : [email protected],
email2: [email protected],
ORCID: orcidID=0009-0009-2 933-5684.
Борис Феликсович МЕЛЬНИКОВ,
профессор Университета МГУ-ППИ в Шэньчжэне
(http://szmsubit.ru/),
emaili : [email protected],
email2: [email protected],
mathnet.ru: personid=2 7 9 67,
elibrary.ru: authorid=15715,
scopus.com: authorId=55954040300,
ORCID: orcidID=00 0 0-0 0 02-67 65-68 0 0.
On the groupoid of the primary automaton PRI defined for the only finite language
Meng Lingqian, Boris Melnikov
Abstract—In this paper, we continue the theme of our previous papers devoted to the important equivalence relation in a set of formal languages, i.e., the equivalence relation in infinity; for its detailed study we also considered the binary coverage relation. In the study of these relations, we used infinite iterative morphism trees, for each of which, after combining its equivalent vertices, a deterministic finite automaton is obtained.
Among some similar variants of automata corresponding to an infinite iterative morphism tree, of greatest interest is the so-called primary automaton (PRI automaton), which is defined in a special way for a given pair of finite languages. It is defined on subsets of the set of prefixes of one of these languages, and we consider these subsets as states of the defined automaton.
In this paper, we continue to consider the primary automaton constructed for any pair of finite languages, but we also define new objects: an automaton constructed for only one finite language, as well as the groupoid and semigroup of transformations corresponding to this automaton.
Let us describe the main subject of this paper. If we "combine line by line" the structures arising in the PRI automaton, then we get the result of the transition of each state - in the case when the input is some language. As a result, we can study a primary automaton built on the basis of only one language, and this language can be called the basic one. For both the set of states and the input alphabet, we shall use a subset of the set of proper prefixes of the base language, or its prototype obtained using some inverse morphism.
The paper considers the resulting groupoid and proves the theorem that in this case, it is possible to define a semigroup of transformations. The main idea of proving this fact is as follows. If the semigroup requirement is considered from the point of view of a finite automaton, then on the two parts of the equation used in it, we can say the following. The left part of the equation of this semigroup requirement describes the transition from the current state in accordance with the first subword (the prefix) of the input to some intermediate state; then the continuation of work in accordance with the second subword (the suffix) of the input. We can say the same for the right side of the equation, and the input string in both cases can be considered the same.
This paper also discusses some algebraic properties of the described semigroup, including simple examples. We propose to consider more complex examples in the continuation paper.
Keywords—formal languages, iterations of languages, mor-phisms, finite automata, groupoids, semigroups, algorithms.
References
[1] Melnikov B. Variants of finite automata corresponding to infinite iterative morphism trees. Part I // International Journal of Open Information Technologies. - 2021. - Vol. 9. No. 7. - P. 5-13 (in Russian).
[2] Melnikov B. Variants of finite automata corresponding to infinite iterative morphism trees. Part II // International Journal of Open Information Technologies. - 2021. - Vol. 9. No. 10. - P. 1-8 (in Russian).
[3] Melnikov B., Melnikova A. Infinite trees in the algorithm for checking the equivalence condition of iterations of finite languages. Part I // International Journal of Open Information Technologies. - 2021. -Vol. 9. No. 4. - P. 1-11 (in Russian).
[4] Melnikov B., Melnikova A. Infinite trees in the algorithm for checking the equivalence condition of iterations of finite languages. Part II // International Journal of Open Information Technologies. - 2021. -Vol. 9. No. 5. - P. 1-11 (in Russian).
[5] Skornyakov L. (Ed.) General Algebra. Vol. 2. - Moscow, Nauka. -1991. - 480 p. (in Russian).
[6] Melnikov B. 2w-finite automata and sets of obstructions of their language // The Korean Journal of Computational and Applied Mathematics (Journal of Applied Mathematics and Computing). -2000. - Vol. 6. No. 3. - P. 565-574.
[7] Lyapin E. Semigrioups. - Moscow, Fizmatlit. - 1960. - 592 p. (in Russian).
[8] Birkhoff G., Bartee T. Modern Applied Algebra. - NY, McGraw-Hill.
- 1970. - 431 p.
[9] Lallement G. Semigroups and Combinatorial Applications. - NY, John Wiley & Sons. - 1979. - 376 p.
[10] Salomaa A. Jewels of Formal Language Theory. - Rockville, Maryland, Computer Science Press. - 1981. - 144 p.
[11] Pin J.-E. Mathematical Foundations of Automata Theory. - Berlin, Springer-Verlag. - 2012. - 310 p.
[12] Melnikov B., Melnikova A. The use of petal finite automata to verify the fulfillment of a special case of the Zyu hypothesis (for a given finite language) // International Journal of Open Information Technologies.
- 2023. - Vol. 11. No. 3. - P. 1-11 (in Russian).
[13] Melnikov B., Dolgov V. Simplified regular languages and a special equivalence relation on a class of regular languages. Part I // International Journal of Open Information Technologies. - 2022. -Vol. 10. No. 9. - P. 12-20 (in Russian).
[14] Melnikov B. A polynomial algorithm for constructing the optimal inverse morphism // International Journal of Open Information Technologies. - 2023. - Vol. 11. No. 6. - P. 1-10 (in Russian).
MENG Lingqian,
Graduate student of Shenzhen MSU-BIT University, China
(http://szmsubit.ru/),
emaili: [email protected],
email2: [email protected],
ORCID: orcidID=0009-0009-2 933-5684.
Boris MELNIKOV,
Professor of Shenzhen MSU-BIT University, China
(http://szmsubit.ru/),
emaili: [email protected],
email2: [email protected],
mathnet.ru: personid=2 7 9 67,
elibrary.ru: authorid=15715,
scopus.com: authorId=55954040300,
ORCID: orcidID=00 0 0-0 0 02-67 65-68 0 0.
