Semigroups all but one of whose proper subsemigroups are groups.
We study semigroups generated by the restrictions of automaton extension (see, e.g., [3]) and give a characterization of automaton extensions that generate finite semigroups.