Transdutor Finito com chamadas para as rotinas semanticas