Sumários

27 Novembro 2018, 11:00 • Andreia Mordido

Resolução de exercícios da folha 7 e 8 sobre máquinas de Turing e decidibilidade.

27 Novembro 2018, 10:30 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing e decidibilidade.

27 Novembro 2018, 09:30 • André Souto

Dualidade problema - linguagem.

Exemplos.

Re-capitulação de codificações para máquinas de Turing.

Decidibilidade de linguagens regulares:

-- Aceitação de uma string por um autómato (DFA e NDFA);

-- Aceitação de uma string gerada por uma expressão regular;

-- Linguagem aceite por um (N)DFA ser vazia;

-- Igualdade de linguagens de dois autómatos.

26 Novembro 2018, 08:00 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing e decidibilidade.

23 Novembro 2018, 11:30 • André Souto

Resolução de exercícios da folha 7 sobre máquinas de Turing.