Finite-state Transducers as Regular Böhm Trees