Sumários

8 Outubro 2021, 08:00 • André Souto

Resolução de exercícios da 1ª folha com construção de autómatos para várias linguagens e por operações.

6 Outubro 2021, 09:30 • André Souto

Recapitulação da definição formal de expressão regular e operações sobre expressões regulares.

Exemplos de valores (linguagens) definidas por expressões regulares.

Exemplos de expressões regulares para linguagens.

Prova de que toda a expressão regular define uma linguagem regular.

Exemplos de aplicação.

Prova de que toda a linguagem regular admite a escrita numa expressão regular.

Exemplos de aplicação.

Estudar Secção 1.3 do livro do Sipser.

6 Outubro 2021, 08:00 • André Souto

Resolução de exercícios da 1ª folha com construção de autómatos para várias linguagens e por operações.

4 Outubro 2021, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios sobre

1. autómatos finitos que reconheçam linguagens.

2. autómatos finitos que reconheçam a intersecção, união, concatenação e fecho de outras linguagens.

1 Outubro 2021, 11:30 • André Souto

Resolução de exercícios da primeira folha de exercícios sobre NDFA's e conversão para DFA's. Construção de Autómatos Finitos para linguagens.