Нехай є якоюсь мовою, тоді ми визначаємо синтаксичну збіжність як і фактор моноїд називається синтаксичної моноїд з . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L L
Тепер які моноїди виникають як синтаксичні моноїди мов? Я знайшов мови для симетричних груп і для набору всіх відображень на деякому нижньому кінцевому наборі. А як щодо інших, чи є кінцеві моноїди, які не можна було б записати як синтаксичний моноїд якоїсь мови?
Для даного автомата, враховуючи моноїд, породжений відображеннями, індукованими літерами про стани (так званий моноїд перетворення), коли склад функції читається зліва направо, він вважає, що моноїд перетворення мінімального автомата є саме синтаксичний моноїд. Це спостереження допомогло мені побудувати вищезгадані приклади.
Дозвольте також не сказати, що досить просто усвідомити будь-який кінцевий моноїд як моноїд перетворення деякого автомата, просто прийміть елементи як стани, і розглянемо кожен генератор як букву алфавіту, і переходи задані від для деякого стану і буква , то перетворення моноїд ізоморфний самих (це аналогічно теорема Келей про те , як група вбудувати в симетричні групи).M M q x q x M