Implementing wirth notation's transdutor