From 459d0a4a012889019f9c9c8011a8317b3b221041 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Thu, 1 Mar 2018 16:20:30 +0100
Subject: [PATCH] =?UTF-8?q?mention=20des=20types=20=C3=A0=20d=C3=A9finir?=
 =?UTF-8?q?=20pour=20utiliser=20les=20fonctions?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ocaml/affichage_auto.ml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/ocaml/affichage_auto.ml b/ocaml/affichage_auto.ml
index 1de3b56..aabda51 100644
--- a/ocaml/affichage_auto.ml
+++ b/ocaml/affichage_auto.ml
@@ -1,3 +1,33 @@
+(* types à définir
+
+(*** regexp ***)
+type 'a regexp =
+  | Vide
+  | Epsilon
+  | Lettre of 'a
+  | Union of 'a regexp list
+  | Concat of 'a regexp list
+  | Etoile of 'a regexp;;
+(*** regexp_fin ***)
+
+(*** langloc ***)
+type 'a langloc = {
+        eps : bool;           (* indique si ε est dans le langage *)
+        p     : 'a list;        (* liste représentant P(L) *)
+        s     : 'a list;        (* liste représentant S(L) *)
+        f     : ('a * 'a) list;};;(* liste représentant F(L) *)
+(*** langloc_fin ***)
+
+(*** automate ***)
+type 'a nda =
+    {nQ : int ;      (* nombre d'états *)
+    i : int list;         (* états initiaux *)
+    f : int list; (* états finals *)
+    t : (int * 'a * int) list;};;  (* table de transition *)
+(*** automate_fin ***)
+
+ *)
+
 #require "unix";;
 
 module Affichage =