Semigroupe Version
*** Jean-Eric Pin,
Setembro 1999 ***
De o tipo de calculo : 

/* Menu principal */
Indique a sua escolha : 
Semigrupo
Monoide
Semigrupo sintactico ordenado
Monoide sintactico ordenado
Exemplo classico
Ler um arquivo
Modificar as preferencias

/* Menu Semigroupe */
Numero de letras do alfabeto ?
De o tipo do semigrupo : 
Transicoes
Transicoes parciais
Matrizes booleanas
Matrizes Max-Plus
Matrizes Min-Plus
Matrizes Max-Plus tropical
Matrizes Min-Plus tropical
Matrizes Min-Plus projective
Matrizes de coeficientes inteiros
Apresentacao finita
Deseja especificar os estados iniciais et finais (s/n) ?
Deseja especificar os estados finais (s/n) ?
A cardinalidade da
deve ser no maximo
Quer calcular o semigrupo dual (s/n) ?
Deseja salvar estes geradores (s/n)?
semigrupo
monoide

/* Menu Exemples */
Grupo simetrico Sn
Monoide de transformacoes Tn
Monoide de funcoes Fn
Monoide de funcoes injetivas In
Monoide das matrizes booleanas RBn
Monoide das funcoes injetivas que preservam a ordem
Monoide POPIn
Grupo Z/nZ
Semigrupo de Brandt BAn
Monoide de Brandt BAn
Monoide das matrizes booleanas triangulares n x n
Monoide das matrizes booleanas unitriangulares n x n
Monoide sintactico de (a(a(a...a(ab)*)b)* ... b)*)b)*)b)*  (n vezes)
Monoide gerado pelas matrizes [1 0 / 1 1] e [1 1 / 0 1]
Um semigrupo em LJ mas nao em B1
Um exemplo de semigrupo de transicoes
Um exemplo de monoide de matrizes booleanas
Um exemplo de semigrupo de matrizes inteiras
Um exemplo de semigrupo de matrizes Max-Plus

/* Utilitaires */
De o valor de n
no maximo
A cardinalidade da
este semigrupo
Este semigrupo
este monoide
Este monoide
e

/* Menu varietes */
Sobre qual variedade deseja realizar o teste?
DA (regular D-classes are bands)
LI (locally trivial)
LG (locally group)
B1 (dot-depth um)
B1+ (dot-depth 1/2)
Ecom (comutativos idempotentes)
BG (block-groups)

/* Options */
Opcoes : 
Lista dos elementos
Lista das relacoes
Lista dos idempotentes
Quasi-ordem sintactico :
Ideal minimal
Relacoes de Green
Calculo dos inversos
Calculo de submonoide local
Calculo de um elemento
Calculo do nucleo
Pertinencia a uma variedade
Efetuar um outro calculo
Sair

De o idempotente
De a palavra
Este elemento nao e idempotente !
Geradores : 
Relacoes : 
Eis as R-classes :
Eis as L-classes :
Eis as D-classes :

/* Sortie varietes, reponses positives */
e comutativo
e idempotente
pertence a J1
pertence a Nil
e aperiodico
pertence a G
e J-trivial
e R-trivial
e L-trivial
pertence a DA
pertence a LI
pertence a LG
pertence a B1
pertence a B1+
pertence a Ecom
pertence a BG

/* Sortie varietes, reponses negatives */
nao e comutativo, pois
nao e idempotente,
nao pertence a J1,
nao pertence a Nil
nao e aperiodico,
nao pertence a G
nao e R-trivial o L-trivial
nao e R-trivial
nao e L-trivial
nao pertence a DA,
nao pertence a LI,
nao pertence a LG,
nao pertence a B1,
nao pertence a B1+,
nao pertence a Ecom,
nao pertence a BG,

/* Sortie varietes, justificatifs */
e diferente de
pois a identidade uu = u nao e satisfeita para
pois a identidade u^u = u^ nao e satisfeita para
pois a identidade (xy)^(yx)^(xy)^ = (xy)^ nao e satisfeita para
pois a identidade ese = e nao e satisfeita para
pois a identidade (ese)^ = e nao e satisfeita para
pois a identidade (epfqe)^pfs(erfse)^ = (epfqe)^(erfse)^ nao e satisfeita para
pois a identidade ese <= e nao e satisfeita para
pois a identidade ef = fe nao e satisfeita para
pois a identidade (ef)^ = (fe)^ nao e satisfeita para

/* Calculs en cours */
Calculo dos idempotentes
Calculo dos idempotentes terminado
Nao tem zero
Numero de elementos :
Numero de idempotentes :
Numero de relacoes :
Calculo terminado. Comprimento maximo das palavras :
Calculo das R-classes
Calculo das R-classes terminado :
R-classe
R-classes
Calculo das L-classes
Calculo das L-classes terminado :
L-classe
L-classes
Calculo das D-classes
Calculo das D-classes terminado :
D-classe
D-classes
Lista de inversos :
Lista de inversos fracos (nao inversos) :
Fim

/* Differents types de semigroupes */
O semianel e Z_{
Limiar do semianel?
Periodo do semianel?
Semianel Z_{s,t}, onde s e o limiar e t o periodo
Semianel {-infinito, 0, 1, ..., s}, onde s e o limiar
Semianel {0, 1, ..., s, +infinito} onde s e o limiar
Escreva % para "- infinito"
Escreva % para "+ infinito"
Numero de letras
Numero de estados do automato?
Tamanho das matrizes
Tamanho das matrizes?
Tamanho das matrizes booleanas?

/* Problemes de memoire */
Problema com a alocacao de memoria
de uma matriz
dos produtos
dos geradores
da tabela das transicoes
de uma pilha
da tabela de hash
da tabela dos elementos
de uma palavra
das transicoes
de um grafo
de uma lista
dos estados iniciais 
dos estados finais
dos mensagems

/* Fichiers */
De o nome do arquivo :
Problema na criacao de
Problema no fechamento de arquivo !
Problema na abertura de
De um numero maximo de elementos para o semigrupo
De o "path" de acesso ao dossier dos exemplos
(por exemplo   :Minha pasta:Exemplos:) --> 
(por exemplo   $HOME/Exemplos/) :  

/* Preordre syntactique */
De os estados iniciais terminando por }
De os estados finais terminando por }
De os numeros dos elements de P terminando por }

/* Derniere ligne */