... exists.¹

Note that the results discussed in paragraph IV.6 of Berstel ([1]), based on (Choffrut [3]), suggest that it is decidable whether an input transducer can be determinized.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.