Slupik, J.K.
(Algebra and Discrete Mathematics, 2006)
The classification of inverse semigroups generated by two-state partially defined invertible automata over a twosymbol alphabet is investigated. Two presentations of such semigroups are given. The structures of these ...