Abstract:
In this paper we study the partially ordered set of degrees of asynchronous automata transformability. We prove that it contains a continuum of atoms, that every finite linearly ordered set is embeddable into that structure as an initial segment, and that the extending property of the embeddability of partially ordered finite sets is false.
Keywords:degrees of asynchronous automata transformability, partially ordered sets, atom, initial segment, cover for degrees.