Рациональный набор - Rational set - Wikipedia

В Информатика, точнее в теория автоматов, а рациональный набор из моноид является элементом минимального класса подмножеств этого моноида, содержащего все конечные подмножества и замкнутого относительно союз, продукт и Клини звезда. Рациональные наборы полезны в теория автоматов, формальные языки и алгебра.

Рациональный набор обобщает понятие рациональный (регулярный) язык (понимается как определено обычные выражения ) к моноидам, которые не обязательно свободный.

Определение

Позволять быть моноид с элементом идентичности . Набор рациональных подмножеств это наименьшее множество, которое содержит каждое конечное множество и замкнуто относительно

  • союз: если тогда
  • продукт: если тогда
  • Клини звезда если тогда куда - синглтон, содержащий элемент идентичности, и где .

Это означает, что любое рациональное подмножество можно получить, взяв конечное число конечных подмножеств и применяя операции объединения, произведения и звезды Клини конечное число раз.

В общем случае рациональное подмножество моноида не является подмоноидом.

Пример

Позволять быть алфавит, набор слов над моноид. Рациональное подмножество точно обычные языки. Действительно, регулярные языки могут быть определены конечным регулярное выражение.

Рациональные подмножества - в конечном итоге периодические наборы целых чисел. В более общем смысле, рациональные подмножества являются полулинейные множества.[1]

Характеристики

Теорема Макнайта заявляет, что если конечно порожден, то его узнаваемое подмножество являются рациональными множествами. В общем случае это неверно, так как все всегда узнаваем, но не рационально, если бесконечно порожден.

Рациональные множества замкнуты относительно морфизма: дано и два моноида и морфизм, если тогда .

не закрывается под дополнять как показано в следующем примере.[2] Позволять , наборы и рациональны, но не потому, что его проекция на второй элемент не рационально.

Пересечение рационального подмножества и узнаваемого подмножества рационально.

Для конечных групп хорошо известен следующий результат А. Анисимова и А. В. Зейферта: подгруппа ЧАС из конечно порожденная группа грамм узнаваема тогда и только тогда, когда ЧАС имеет конечный индекс в грамм. В отличие, ЧАС рационально тогда и только тогда, когда ЧАС конечно порожден.[3]

Рациональные отношения и рациональные функции

А бинарное отношение между моноидами M и N это рациональное отношение если график отношения, рассматриваемый как подмножество M×N - рациональное множество в моноиде произведений. Функция от M к N это рациональная функция если график функции - рациональное множество.[4]

Смотрите также

Рекомендации

  • Дикерт, Фолькер; Куфлейтнер, Манфред; Розенберг, Герхард; Хертрампф, Ульрих (2016). «Глава 7: Автоматы». Дискретные алгебраические методы. Берлин / Бостон: Walter de Gruyther GmbH. ISBN  978-3-11-041332-8.
  • Жан-Эрик Пин, Математические основы теории автоматов, Глава IV: Узнаваемые и рациональные множества
  • Сэмюэл Эйленберг и М. П. Шютценбергер, Рациональные множества в коммутативных моноидах, Журнал алгебры, 1969.
  1. ^ Математические основы теории автоматов
  2. ^ ср. Жан-Эрик Пин, Математические основы теории автоматов, п. 76, Пример 1.3
  3. ^ Джон Микин (2007). «Группы и полугруппы: связи и противопоставления». В C.M. Кэмпбелл; М.Р. Квик; Э. Ф. Робертсон; G.C. Смит (ред.). Группы Сент-Эндрюс 2005 Том 2. Издательство Кембриджского университета. п. 376. ISBN  978-0-521-69470-4. препринт
  4. ^ Хоффманн, Майкл; Куске, Дитрих; Отто, Фридрих; Томас, Ричард М. (2002). «Некоторые родственники автоматических и гиперболических групп». В Гомесе, Грасинда М. С. (ред.). Полугруппы, алгоритмы, автоматы и языки. Материалы семинаров, проведенных в Международном центре математики, CIM, Коимбра, Португалия, май, июнь и июль 2001 г.. Сингапур: World Scientific. С. 379–406. Zbl  1031.20047.

дальнейшее чтение

  • Сакарович, Жак (2009). Элементы теории автоматов. Перевод с французского Рувима Томаса. Кембридж: Издательство Кембриджского университета. Часть II: Сила алгебры. ISBN  978-0-521-84425-3. Zbl  1188.68177.