Sumários

Autómatos Finitos Deterministas

27 Setembro 2017, 08:00 Ana Respicio

Folha 2: exercícios 1, 3, 6, 7 alíneas ímpares.


Autómatos finitos deterministas

26 Setembro 2017, 11:00 Jorge Miguel Carvalho Gomes

Folha 2: exercícios 1, 3, 6, 7 alíneas ímpares.


Autómatos finitos deterministas

26 Setembro 2017, 10:30 Ana Respicio

Folha 2: exercícios 1, 3, 6, 7 alíneas ímpares.


Autómatos finitos

26 Setembro 2017, 09:30 Ana Respicio

Linguagens regulares: Autómatos finitos (AF). Definição formal de computação num AFD: Exemplos. Definição formal de linguagem de um autómato. Projetar AFs.
Não determinismo. AF não deterministas. Transições epsilon. Exemplos. 

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


Introdução

25 Setembro 2017, 08:00 Jorge Miguel Carvalho Gomes

Folha de exercícios 1: Exercícios 1, 2, 3 a) e c).

Comprimento de palavra, inversa, subpalavras, operações sobre palavras. Demonstrações por indução.