3 Algoritmer transformering og formalisering