加载中…
The pseudovariety consists of all finite monoids whose regular -classes form subsemigroups. We exhibit a uniform winning strategy for Synchronizer in the synchronization game on every synchronizing automaton whose transition monoid lies in , and we prove that is the largest pseudovariety with this property.

生成讲解博客的中文版本

生成AI智能校验的中文版本