2 problems

Let $\mathcal{A}$ and $\mathcal{B}$ be automata, and let $\Sigma(\mathcal{A})$ and $\Sigma(\mathcal{B})$ be the automaton semigroups generated by their states. Their free product i…

Let a reversible Mealy automaton be a Mealy automaton whose transition maps are permutations, and let the semigroup generated by an automaton be the semigroup generated by its stat…