Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .
Agora, quais monoides surgem como monoides sintáticos de idiomas? Encontrei idiomas para grupos simétricos e para o conjunto de todos os mapeamentos em algum conjunto finito subjacente. Mas e quanto a outros, existem monóides finitos que não poderiam ser escritos como o monóide sintático de alguma linguagem?
Para um dado autômato, considerando o monóide gerado pelos mapeamentos induzidos pelas letras nos estados (o chamado monóide de transformação) quando a composição da função é lida da esquerda para a direita, sustenta que o monóide de transformação do autômato mínimo é precisamente o monóide sintático. Essa observação me ajudou a construir os exemplos mencionados acima.
Não me permita também que seja bastante simples perceber qualquer monóide finito como o monóide de transformação de algum autômato, simplesmente pegue os elementos de como estados e considere cada gerador de como uma letra do alfabeto e as transições são dadas por para algum estado e letra , o monóide de transformação é isomórfico ao próprio (isso é semelhante ao teorema de Cayley sobre como os grupos se incorporam em grupos simétricos).