On the frame of an automaton

The frame of an automaton is the partially ordered set of its strongly connected subsets together with the relation of inverse attainability. Some properties of frames are established related to basic algebraic constructions such as subautomata, homomorphisms, and congruences.