Semigroupe Version
*** Jean-Eric Pin,
septembre 1999 ***
Donner le type de calcul :

/* Menu principal */
Donner votre choix :
Semigroupe
Monoide
Semigroupe syntactique ordonne
Monoide syntactique ordonne
Exemples classiques
Lire un fichier
Modifier les preferences

/* Menu Semigroupe */
Nombre de lettres de l'alphabet ?
Donner le type du semigroupe :
Transitions
Transitions partielles
Matrices booleennes
Matrices Max-Plus
Matrices Min-Plus
Matrices Max-Plus tropicales
Matrices Min-Plus tropicales
Matrices Max-Plus projectives
Matrices a coefficients entiers
Presentation finie
Souhaitez-vous specifier les etats initiaux et finaux (o/n) ?
Souhaitez-vous specifier les etats finaux (o/n) ?
La taille du
doit etre au plus
Souhaitez-vous le calcul du semigroupe dual (o/n) ?
Voulez-vous sauvegarder ces generateurs (o/n) ?
semigroupe
monoide

/* Menu Exemples */
Groupe symetrique Sn
Monoide de transformation Tn
Monoide Fn des fonctions sur {1, ..., n}
Monoide In des fonctions injectives sur {1, ..., n}
Monoide RBn engendre par les relations regulieres sur {1, ..., n}
Monoide des fonctions croissantes sur {1, ..., n}
Monoide POPIn
Groupe Z/nZ
Semigroupe de Brandt BAn
Monoide de Brandt BAn
Monoide des matrices booleennes triangulaires de taille n x n
Monoide des matrices booleennes unitriangulaires de taille n x n
Monoide syntactique de (a(a(a...a(ab)*)b)* ... b)*)b)*)b)*  (n fois)
Monoide engendre par les matrices [1 0 / 1 1] et [1 1 / 0 1]
Un semigroupe dans LJ mais pas dans B1
Un exemple de semigroupe de transitions
Un exemple de monoide de matrices booleennes
Un exemple de semigroupe de matrices entieres
Un exemple de semigroupe de matrices Max-Plus

/* Utilitaires */
Donner la valeur de n
au plus
La taille de
ce semigroupe
Ce semigroupe
ce monoide
Ce monoide
est

/* Menu varietes */
Sur quelle variete souhaitez-vous effectuer le test ?
DA (D-classes regulieres idempotentes)
LI (localement triviaux)
LG (localement un groupe)
B1 (dot-depth un)
B1+ (dot-depth 1/2)
Ecom (idempotents commutent)
BG (bloc-groupes)

/* Options */
Options :
Liste des elements
Liste des relations
Liste des idempotents
Preordre syntactique :
Ideal minimal
Relations de Green
Calcul des inverses
Calcul de monoide local
Calcul d'un element
Calcul du noyau
Appartenance a une variete
Effectuer un autre calcul
Quitter "Semigroupe"

Donner l'idempotent
Donner le mot
Cet element n'est pas idempotent !
Generateurs :
Relations :
Voici les R-classes :
Voici les L-classes :
Voici les D-classes :

/* Sortie varietes, reponses positives */
est commutatif
est idempotent
est dans J1
est nilpotent
est aperiodique
est un groupe
est J-trivial
est R-trivial
est L-trivial
est dans DA
est dans LI
est dans LG
est dans B1
est dans B1+
est dans Ecom
est dans BG

/* Sortie varietes, reponses negatives */
n'est pas commutatif, car
n'est pas idempotent,
n'est pas dans J1,
n'est pas nilpotent
n'est pas aperiodique,
n'est pas un groupe
n'est ni R-trivial, ni L-trivial
n'est pas R-trivial
n'est pas L-trivial
n'est pas dans DA,
n'est pas dans LI,
n'est pas dans LG,
n'est pas dans B1,
n'est pas dans B1+,
n'est pas dans Ecom,
n'est pas dans BG,

/* Sortie varietes, justificatifs */
est different de
car l'identite uu = u n'est pas satisfaite lorsque
car l'identite u^u = u^ n'est pas satisfaite lorsque
car l'identite (xy)^(yx)^(xy)^ = (xy)^ n'est pas satisfaite lorsque
car l'identite ese = e n'est pas satisfaite lorsque
car l'identite (ese)^ = e n'est pas satisfaite lorsque
car l'identite (epfqe)^pfs(erfse)^ = (epfqe)^(erfse)^ n'est pas satisfaite lorsque
car l'identite ese <= e n'est pas satisfaite lorsque
car l'identite ef = fe n'est pas satisfaite lorsque
car l'identite (ef)^ = (fe)^ n'est pas satisfaite lorsque

/* Calculs en cours */
Calcul des idempotents
Calcul des idempotents acheve.
Pas de zero
Nombre d'elements :
Nombre d'idempotents :
Nombre de relations :
Calcul acheve. Longueur maximale des mots :
Calcul des R-classes
Calcul des R-classes acheve :
R-classe
R-classes
Calcul des L-classes
Calcul des L-classes acheve :
L-classe
L-classes
Calcul des D-classes
Calcul des D-classes acheve :
D-classe
D-classes
Liste des inverses :
Liste des inverses faibles non inverses :
Fin

/* Differents types de semigroupes */
Le semianneau est Z_{
Seuil du semianneau ?
Periode du semianneau ?
Semianneau Z_{s,t} ou s est le seuil et t la periode.
Semianneau {-infini, 0, 1, ..., s} ou s est le seuil.
Semianneau {0, 1, ..., s, +infini} ou s est le seuil.
Taper % pour "- infini"
Taper % pour "+ infini"
Nombre de lettres
Nombre d'etats de l'automate ?
Taille des matrices
Taille des matrices ?
Taille des matrices booleennes ?

/* Problemes de memoire */
Probleme lors de l'allocation memoire
d'une matrice
des produits
des generateurs
de la table des transitions
d'une pile
de la table de hachage
de la table des elements
d'un mot
des transitions
d'un graphe
d'une liste
des etats initiaux
des etats finaux
des messages

/* Fichiers */
Donnez le nom du fichier :
Probleme a la creation de
Probleme a la fermeture d'un fichier !
Probleme a l'ouverture de
Donner une borne superieure a la taille du semigroupe
Donner le chemin d'acces au dossier des exemples
(par exemple   :Mon Dossier:Exemples:) : 
(par exemple   $HOME/Exemples/) : 

/* Preordre syntactique */
Donner les etats initiaux en terminant par }
Donner les etats finaux en terminant par }
Donner les numeros des elements de P en terminant par }

/* Derniere ligne */