Si j'en crois le manuel de référence de caml, il n'existe pas de
  bibliothèques de types et fonctions de manipulation des automates.  Mais
  peut-être quelqu'un a-t-il déjà écrit ce genre de choses pour son propre
  compte, et ce serait idiot de tout refaire.  Donc si c'était le cas,
  merci de me le signaler.

		Christophe Prieur.