gistfile1.txt

toNetFinAuto :: Eq a => Grammar a b -> (a,Graph a (Symbol a b))
toNetFinAuto g = let (i,lregexpr) = fromGrmToRegExpr g
                     (_,_,gr')    = (foldl (\(_,f,gr) r -> toGraphG (f+1) (f+2) gr r) (0,0,newGraph) ) $ map snd lregexpr
                 in (i,gr')



En esta lambda (\(_,f,gr) r -> toGraphG (f+1) (f+2) gr r) (0,0,newGraph) el valor para f que tenías es el de la segunda posición de la tupla, ese comenzaba en 1, luego ese es el que queda en f, y comienza desde 2, porque el llama toGraphG con (f+1) y (f+2) que serian 2 y 3, tengo que ver como estas haciendo dentro de toGraphG para poder que quede numerado desde 0, mañana lo mirare.