Implementation of a traductor from While language to abstract machine in attribute grammars