From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 4730A7F919
	for <caml-list@sympa.inria.fr>; Sat, 21 May 2016 13:48:05 +0200 (CEST)
IronPort-PHdr: 9a23:fCQ7XRQsJkb2Up303KDd5j63wtpsv+yvbD5Q0YIujvd0So/mwa64YBWN2/xhgRfzUJnB7Loc0qyN4/GmAjJLvczJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviqtuIPU4U3nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrVdCHEiMnspzMztrxjKCwWVtVUGVWBDvhNWAgTyyTzcYq1Q+n/2s+d7xDOXFcn3S60kHDq45qFgRVnvkihRZG1xy33elsEl1PETmxmmvREqm4M=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CmJwBFSkBX/0AnF15dFoMhFUErUgG8ASKCPYMoCgKBKjwQAQEBAQEBAQFkJ0EBAQEBAQEBBwSBWoIWAQEEIw8BVgsaAiYCAh84EwgBAYgvAQmyXR+BBZA0gQGHHIJXhQuCNYJZBZg3F4VpiXMBY4cKhVuPTDcrg29sgQk2gxeDAIFqAQEB
X-IPAS-Result: A0CmJwBFSkBX/0AnF15dFoMhFUErUgG8ASKCPYMoCgKBKjwQAQEBAQEBAQFkJ0EBAQEBAQEBBwSBWoIWAQEEIw8BVgsaAiYCAh84EwgBAYgvAQmyXR+BBZA0gQGHHIJXhQuCNYJZBZg3F4VpiXMBY4cKhVuPTDcrg29sgQk2gxeDAIFqAQEB
X-IronPort-AV: E=Sophos;i="5.26,344,1459807200"; 
   d="scan'208";a="219166802"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 May 2016 13:48:04 +0200
Received: from [192.168.0.18] (114.196.8.109.rev.sfr.net [109.8.196.114])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 09F69B5B
	for <caml-list@inria.fr>; Sat, 21 May 2016 13:48:03 +0200 (CEST)
To: caml-list@inria.fr
References: <573205D0.3010508@linux-france.org>
From: =?UTF-8?Q?David_MENTR=c3=89?= <dmentre@linux-france.org>
Message-ID: <34e75654-da2f-c3cd-a3f9-b6b38c9bb1d8@linux-france.org>
Date: Sat, 21 May 2016 13:48:03 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.0
MIME-Version: 1.0
In-Reply-To: <573205D0.3010508@linux-france.org>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Simple library to manipulate automata?

Hello,

Le 2016-05-10 à 18:01, David MENTRE a écrit :
> I would like to manipulate some basic automata in OCaml: creation,
> execution, minimization, display, etc.
> 
> Before re-inventing the wheel, do you know a library doing that?

Privately somebody pointed me to FSM:
   http://udel.edu/~heinz/software/index.html#fsm

Thanks for all the links, I'll look at them.

Best regards,
david