Conclusão das provas de operações regulares e expressões regulares

30 Setembro 2020, 09:30 • André Souto

Conclusão das provas que a reunião, concatenação, fecho de Kleene, complementar e intersecção de linguagens regulares é ainda são regulares. Exemplos.

Expressões regulares.

Motivação para as expressões regulares.

Definição formal de expressão regular.

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.

Aula de exercícios sobre NFAs

30 Setembro 2020, 08:00 • Andreia Mordido

Resolução de exercícios sobre NFAs da primeira folha de exercícios. 
Aula em regime síncrono alternado.

Aula de exercícios sobre NFAs

29 Setembro 2020, 10:30 • Andreia Mordido

Resolução de exercícios sobre NFAs da primeira folha de exercícios. 
Aula em regime síncrono alternado.

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.

Aula em regime NPS emitida via Zoom. 

Aula de exercícios sobre DFA's

28 Setembro 2020, 08:00 • André Souto

Resolução de exercícios sobre DFA's da primeira folha de exercícios.


Aula em regime síncrono alternado. (0 presenciais e 16 online via zoom)