Semigroupe Version
*** Jean-Eric Pin,
settembre 1999 ***
Introdurre il tipo di calcolo :

/* Menu principal */
La vostra scelta : 
Semigruppo
Monoide
Ordered syntactic semigroup
Ordered syntactic monoid
Esempio classico
Leggere un file
Modifier les preferences

/* Menu Semigroupe */
Quante lettere ha l'alfabeto ?
Introdurre il tipo del semigruppo :
Transizioni
Transizioni parziali
Matrici booleane
Matrici Max-Plus
Matrici Min-Plus
Matrici Max-Plus tropicali
Matrici Min-Plus tropicali
Matrici Max-Plus (projective)
Matrici a coefficienti interi
Finite presentation
Souhaitez-vous specifier les etats initiaux et finaux (o/n) ?
Souhaitez-vous specifier les etats finaux (o/n) ?
La cardinalita` del
deve essere al piu`
Volete il calcolo del semigruppo duale (s/n) ?
Volete registrare questi generatori (s/n) ?
semigruppo
monoide

/* Menu Exemples */
Gruppo simmetrico Sn
Monoide di trasformazioni Tn
Monoide delle funzioni su {1, ..., n}
Monoide delle funzioni injetivi su {1, ..., n}
Monoide RBn generato dalle matrici booleane regolare su {1, ..., n}
Monoide delle funzioni crescenti su {1, ..., n}
Monoide POPIn
Gruppo Z/nZ
Semigruppo di Brandt BAn
Monoide di Brandt BAn
Monoide delle matrici booleane triangolari n x n
Monoide delle matrici booleane unitriangolari n x n
Syntactic monoid of (a(a(a...a(ab)*)b)* ... b)*)b)*)b)*  (n times)
Monoide generato dalle matrici [1 0 / 1 1] e [1 1 / 0 1]
Un semigruppo in LJ ma non in B1
Un esempio di semigruppo di transizioni
Un esempio di monoide di matrici booleane
Un esempio di semigruppo di matrici intere
Un esempio di semigruppo di matrici Max-Plus

/* Utilitaires */
Entrare il valore di n
al piu`
La cardinalita` del
questo semigruppo
Questo semigruppo
questo monoide
Questo monoide
e`

/* Menu varietes */
Su quale varieta` volete effettuare il test ?
DA (regolari D-classi sono idempotenti)
LI (locally trivial)
LG (locally group)
B1 (dot-depth 1)
B1+ (dot-depth 1/2)
Ecom (comutativos idempotentes)
BG (block-groups)

/* Options */
Opzioni :
Lista degli elementi
Lista delle relazioni
Lista degli idempotenti
Preordre syntactique :
Minimal ideal
Relazioni di Green
Calcolo di inversi
Calcolo di monoide locale
Calcolo di un elemento
Calcolo di nucleo
Appartenenza a una varieta`
Effettuare un altro calcolo
Uscire da "Semigroupe"

Inserire l'idempotente
Inserire la parola
Questo elemento non e` idempotente !
Generatori :
Relazioni :
Ecco le R-classi :
Ecco le L-classi:
Ecco le D-classi:

/* Sortie varietes, reponses positives */
e` commutativo
e` idempotente
e` in J1
e` in Nil
e` aperiodico
e` in G
e` J-banale
e` R-banale
e` L-banale
e` in DA
e` in LI
e` in LG
e` in B1
e` in B1+
e` in Ecom
e` in BG

/* Sortie varietes, reponses negatives */
non e` commutativo, perche`
non e` idempotente,
non e` in J1,
non e` in Nil
non e` aperiodico,
non e` in G
non e` R-banale, neanche L-banale
non e` R-banale
non e` L-banale
non e` in DA,
non e` in LI,
non e` in LG,
non e` in B1,
non e` in B1+,
non e` in Ecom,
non e` in BG,

/* Sortie varietes, justificatifs */
e` distinto da
perche` l'identita` uu = u non e` soddisfatta quando
perche` l'identita` u^u = u^ non e` soddisfatta quando
perche` l'identita` (xy)^(yx)^(xy)^ = (xy)^ non e` soddisfatta quando
perche` l'identita` ese = e non e` soddisfatta quando
perche` l'identita` (ese)^ = e non e` soddisfatta quando
perche` l'identita` (epfqe)^pfs(erfse)^ = (epfqe)^(erfse)^ non e` soddisfatta quando
perche` l'identita` ese <= e non e` soddisfatta quando
perche` l'identita` ef = fe non e` soddisfatta quando
perche` l'identita` (ef)^ = (fe)^ non e` soddisfatta quando

/* Calculs en cours */
Calcolo degli idempotenti
Calcolo degli idempotenti terminato.
Nessuno zero
Numero di elementi :
Numero di idempoti :
Numero di relazioni :
Calcolo terminato. Lunghezza massimale delle parole :
Calcolo delle R-classi
Calcolo delle R-classi terminato :
R-classe
R-classi
Calcolo delle L-classi
Calcolo delle L-classi terminato :
L-classe
L-classi
Calcolo delle D-classi
Calcolo delle D-classi terminato :
D-classe
D-classi
Lista di inversi :
Lista di inversi de'bole (non inversi) :
Fine

/* Differents types de semigroupes */
il semianello e` Z_{
Soglia del semianello ?
Periodo del semianello ?
Semianello Z_{s,t} dove s e` la soglia e t il periodo
Semianello {-infinito, 0, 1, ..., s} dove s e` la soglia
Semianello {0, 1, ..., s, +infinito} dove s e` la soglia
Digitare % per "- infinito"
Digitare % per "+ infinito"
Quante lettere
Quanti stati ha l'automa ?
Dimensione delle matrici
Dimensione delle matrici ?
Dimensione delle matrici booleane ?

/* Problemes de memoire */
Problema al momento dell'allocazione dello spazio-memoria
di une matrice
dei prodotti
dei generatori
della tavola di transizione
di una pila
della tavola di hash
della tavola degli elementi
di una parola
delle transizioni
di uno grafo
di una lista
dei stati initiaux
dei stati finaux
des messages

/* Fichiers */
Entrare il nome del file :
Problema alla creazione di
Problema alla chiusura di un file !
Problema all'apertura di
Entrare un limite superiore alla cardinalita` del semigruppo
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 */