Sumários

12 Outubro 2021, 10:30 • André Souto

Resolução de exercícios da 2ª folha sobre expressões regulares.

12 Outubro 2021, 09:30 • André Souto

Conclusão dos GNFA's e exemplos de construção de uma expressão regular a partir de um DFA.

Explicação do lema de bombeamento e a sua necessidade.

Considerações sobre o lema.

Enunciado e prova do lema de bombeamento para linguagens regulares.

Uso do lema de bombeamento e erros comuns no seu uso para demonstrar que uma dada linguagem não é regular.

Secção 1.4 do livro do Sipser.

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

Exercícios de representação de linguagens regulares através de expressões regulares.

Conversão de autómatos em expressões regulares e de expressões regulares em autómatos.

Teste de avaliação contínua

8 Outubro 2021, 11:30 • André Souto

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

8 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.