Jabarkan Transformasi monoid robot dari Transformasi semigrup

Misalkan  M  menjadi deterministik automaton dengan spasi  S  dan alfabet  A .  Kata-kata di monoid bebas A∗ menginduksi transformasi dari  S  sehingga menimbulkan morfisme monoid dari A∗ ke monoid transformasi penuh TS.  Citra morfisme ini adalah transformasi semigroup dari  M .

Untuk bahasa reguler, monoid sintaktik adalah isomorfik ke transformasi monoid dari robot minimal bahasa.