Equivalência entre NDFA e DFA e operações regulares com não determinismo

29 Setembro 2020, 09:30 • André Souto

Recapitulação do algoritmo simplificado pra transformar um NDFA num DFA equivalente.

Exemplos de construção.

Algoritmo de verificação de equivalência entre DFA's.

Operações sobre linguagens: Prova usandonã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. A parte de equivalência e DFA's não está coberta no Sipser.

Aula em regime NPS emitida via Zoom.