Sumários
T
4 Abril 2018, 15:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha
O produto de Schutzenberger de dois monoides.
O produto de duas linguagens reconheciveies é reconhecivel.
Demonstração do teorema de Kleene.
T
22 Março 2018, 14:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha
Linguagem reconhecida por um automato deterministica e por um não determinista
Construção do automato minimal de uma linguagem e do monoide de transição
Exemplos.
L* é reconhecivel quando L é reconhecivel.
T
21 Março 2018, 15:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha
Reconhecimento do complemento, união e interseção de linguagens reconheciveis.
Rec(A*) vai satisfazer as propriedades de variedade.
T
15 Março 2018, 14:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha
Linguagem reconhecida por um monoide e por um automato.
Operações sobre linguagens.
Linguagens reconheciveis e linguagens racionais.
T
14 Março 2018, 15:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha
Monóide livre e grupo livre , a propriedade "ser Livre" e a sua construção.
Linguagem, autómato determinista e autómato não determinista. Monoide de transição de um automato determinista .
Linguagem reconhecida por um automato.
Linguagem reconhecida por um morfismo, e por um monoide.
Exemplos.