pushdown transducer{=PDT}