Półgrupy inwersywne generowane przez nie wszędzie określone "Lamplighter" automaty

Niech A = (X, Y, Q, pi, A) będzie dwustanowym automatem nad alfabetami X = Y = (0,1}, który generuje "Lamplighter" grupę. Modyfikujemy ten automat, usuwając jedną parę (z, q) z dziedziny funkcji wyjścia A, gdzie x E X i q E Q. Otrzymujemy w ten sposób cztery częściowo określone odwracalne automaty. Głównym wynikiem tej pracy jest dowód, że tego typu automaty generują skończone półgrupy inwersywne.

---

Let A = (X,Y,Q,pi,lambda) be a two-state automaton over the alphabets X = Y group. We remove pair (x,q) from domain of the output function lambda, where x E X and q E automata. It is proved inverse semigroups. We obtain four partially defined invertible that aforementioned automata generate finite