Resolução de exercícios da folha nº2

1 Outubro 2018, 08:00 • André Souto

Resolução de exercícios da folha nº2 referentes a autómatos finitos deterministas.

Resolução dos exercícios da folha nº1

28 Setembro 2018, 11:30 • André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.

Resolução dos exercícios da folha nº1

28 Setembro 2018, 08:00 • André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.

Autómatos finitos deterministas. Computação e linguagem de um DFA

26 Setembro 2018, 09:30 • André Souto

Recordar definição de DFA.

Exemplos de definição formal de DFA.

Noção formal de aceitação de um input por um DFA.

Noção de linguagem reconhecível por um DFA.

Exemplos.

Resolução da folha nº1

26 Setembro 2018, 08:00 • André Souto

Resolução dos exercícios da folha nº1 correspondentes ao uso de notação de strings e tipos de provas. Indução e construção.