> Mais c'est pas trop gros, donc je joins en attachement pour que d'autres
> testent.
>
> Mon probleme : ce programme explore les machines de Turing a n etats, pour
> decouvrir les "castors actifs", i.e. les MdT ecrivant le plus de 1 sur la
> bande avant de s'arreter. Si l'on cherche les CA a deux etats (ligne "
> and tablesize = 2 in" dans le fichier main.ml), ca marche. Par contre,
> j'ai une erreur de Stack Overflow si je lance le programme avec tablesize
> = 3.
>
> Ca semble venir des incessantes manipulations de listes representant le
> macro-ruban (fichier macro_strip.ml). C'est bizarre, je pensais que les
> pointeurs de "cons-cells" n'etaient pas affectes sur la pile. Ca plante,
> avec ocamldebug, au pas 770000 et quelques, sur une operation sur une
> liste.
>
> Mes manipulations sur les listes sont-elles incorrectes ? Comment faire
> pour aider le garbage collector a se rendre compte qu'un pointeur ne sera
> plus jamais utilise ?
>
> Merci pour tout conseil.

Cela veut surement dire que certaines de tes fonctions ne sont pas
"tail-recursive" :

http://www.google.fr/search?q=tail+recursive+function&ie=UTF-8&hl=fr&meta=

Nicolas Cannasse

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners