#use "tp2.mli";;


module Tp2 : TP2 = struct

	exception Non_Implante of string

	(* Principaux types du Tp ------------------------------------------------ *)
  	(* ----------------------------------------------------------------------- *)
  	type programme = transition list * etat
  	and  transition = etat * action * etat
  	and  action = Epsilon | Api of string
 	and  etat = int

 	(* Fonctions du Tp à implanter ------------------------------------------- *)
  	(* ----------------------------------------------------------------------- *)

  	(* 5 points *)
  	let transitionsImmediates pgm etat =
  		raise (Non_Implante "transitionsImmediates a completer")

  	(* 30 points *)
  	let epsilonAtteignable pgm =
  		raise (Non_Implante "epsilonAtteignable àa completer")

  	(* 30 points *)
  	let supprimeEpsilon pgm =
  		raise (Non_Implante "supprimeEpsilon a completer")

  	(* 20 points *)
  	let similaire pgm1 pgm2 =
  		raise (Non_Implante "similaire a completer")

  	(* 5 points *)
  	let bisimilaire pgm1 pgm2 =
  		raise (Non_Implante "bisimilaire a completer")

  	(* 10 points *)
  	let estSousPgm pgm1 pgm2 =
  		raise (Non_Implante "estSousPgm a completer")

end