For a finitely generated automatic semigroup S = we define a semigroup L-S of languages concerning the automatic structure of S, and study the automaticity of LS. Also we investigate the natural question "when S is isomorphic to LS?". Finally, we attempt to verify the equation LS boolean OR LT = L-S boolean OR T for two non-monoid semigroups (S, *) and (T, o).
展开▼
机译：对于有限生成的自动半群 S = 我们定义了一个关于 S 自动结构的语言半群 L-S，并研究了 LS 的自动性。此外，我们还研究了自然问题“当 S 与 LS 同构时？最后，我们尝试验证两个非幺半群 （S， *） 和 （T， o） 的方程 LS 布尔值或 LT = L-S 布尔值或 T。
展开▼
