A decidability result for homomorphic representation of automata by \(\alpha _ 0\)-products (Q1123627)

Let \({\mathcal K}\) be a finite class of finite automata of the form \(A=(A,X,\delta)\), \(\delta\) : \(A\times X\to A\). If A is not metrically complete then it is decidable whether A can be homomorphically represented by an \(\alpha_ 0\)-product of automata from \({\mathcal K}\).