Bifaithful starry transductions (Q1116707)

Bifaithful starry transductions are the compositions of an arbitrary number of nonerasing morphisms and inverse nonerasing morpisms. The authors show that for every bifaithful starry transduction t there exist nonerasing morphisms \(g_ 1\), \(g_ 2\), \(g_ 3\) and \(h_ 1\), \(h_ 2\), \(h_ 3\) such that \(t=g_ 3^{-1}\circ g_ 2\circ g_ 1^{-1}=h_ 3\circ h_ 2^{-1}\circ h_ 1.\)