Sumários

Autómatos Finitos (AFDS e AFNDs)

27 Setembro 2016, 09:30 Ana Respicio

Linguagens regulares. Definição Formal de AFD. Definição formal de computação num AFD: Exemplos. As operações regulares: união, concatenação e fecho (estrela).Linguagens regulares. 
AFDNs. Não determinismo. AF não deterministas. Transições epsilon. Exemplos. Árvores de transição. Computação num AFND.

Aprender: Sipser, 1.1, 1.2.
Praticar: Folha de exercícios 2.


Alfabetos, Linguagens, Indução e Recursão

26 Setembro 2016, 08:00 Alexandre Miguel dos Santos Martins Pinto

Príncipio de Indução. Definições indutivas e recursivas.
Exercícios 1, 2a, 2b, 3a da Ficha 1.


Alfabetos, Linguagens, Indução e Recursão

23 Setembro 2016, 11:30 Alexandre Miguel dos Santos Martins Pinto

Príncipio de Indução. Definições indutivas e recursivas.
Exercícios 1, 2a, 2b, 3a da Ficha 1.


Alfabetos, Linguagens, Indução e Recursão

23 Setembro 2016, 08:00 Alexandre Miguel dos Santos Martins Pinto

Príncipio de Indução. Definições indutivas e recursivas.
Exercícios 1, 2a, 2b, 3a da Ficha 1.


Autómatos Finitos Deterministas

21 Setembro 2016, 09:30 Ana Respicio

AFDs. Autómatos finitos (AF). Autómatos Finitos Deterministas (AFD). Representação por diagrama de estados e representação por tabela. Computação num AFD. Linguagem reconhecida por um AFD. Exemplos. 

[Estudar: Sipser, capítulo 1.1]
[Exercitar: Folha 2 de exercícios]