Compositional representation of rational functions

On montre que les fonctions rationnelles coincident avec les compositions de marquages terminaux, morphismes et inverses de morphismes, injectifs. Plus precisement, toute fonction rationnelle τ se represente sous la forme τ=μ m α 1 α 2 −1 α 3 ou μ m est un marquage terminal, α 1 , α 3 sont des morphismes et α 2 est un morphisme injectif