Sumários
Equivalência entre NDFA e DFA e operações regulares com não determinismo
28 Setembro 2021, 09:30 • André Souto
Algoritmo de simplificação do processo de equivalência entre NDFA e DFA. Exemplos de uso.
Prova usando não determinismo que a reunião, concatenação, fecho de Kleene de linguagens regulares ainda são regulares.
Exemplos.
Estudar secção 1.2 do Sipser.
Autómatos Finitos Não Deterministas
27 Setembro 2021, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano
Exercícios sobre Autómatos Finitos Deterministas (AFNDs):
- 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.
Resolução de exercícios da primeira folha de exercícios
24 Setembro 2021, 11:30 • André Souto
Resolução de exercícios sobre DFA's da primeira folha de exercícios.
Resolução de exercícios da primeira folha de exercícios
24 Setembro 2021, 08:00 • André Souto
Resolução de exercícios sobre DFA's da primeira folha de exercícios.
Autómatos Finitos deterministas
24 Setembro 2021, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano
Exercícios sobre autómatos finitos deterministas. (AFD)