Sumários

1 Outubro 2021, 08:00 • 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.

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

Critérios para que ser classificado como AFND.
Linguagens reconhecidas por AFNDs
Equivalência entre AFDs e AFNDs: algoritmo geral e simplificado da geração de um AFD equivalente a um AFND.

29 Setembro 2021, 09:30 • André Souto

Conclusão da aula anterior.

Expressões regulares: Motivação, definição formal e exemplos.

Estudar Secção 1.3 do livro do Sipser.

29 Setembro 2021, 08:00 • 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.

28 Setembro 2021, 10: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.