Оглавление
Рациональный моноид
-
Определение рационального моноида
- Моноид, где каждый элемент может быть представлен в “нормальной форме”
- Умножение описывается рациональной функцией
-
Рациональная структура
- Пара (A, L), где A – конечное подмножество, L – язык на A
- φ – отображение свободного моноида A∗ в M
- L является рациональным поперечным сечением, если φ индуцирует биекцию
- (A, L) является рациональной структурой, если ядро φ рационально
-
Примеры рациональных моноидов
- Конечный моноид является рациональным
- Группа является рациональным моноидом, если она конечна
- Конечно порожденный свободный моноид является рациональным
- Моноид M4 является рациональным, но не автоматическим
- Моноид Фибоначчи является рациональным
-
Свойства рациональных моноидов
- Теорема Клини справедлива для рациональных моноидов
- Рациональный моноид не обязательно автоматический
- Рациональный моноид является асинхронно автоматическим и гиперболическим
- Рациональный моноид – это моноид-регулятор и квазирациональный моноид
-
Рекомендации по оформлению
- Использование различных идентификаторов и значков для оформления
- Настройка стилей и цветов для различных элементов