Avaliação de 3ª Unidade (PLE)

Curso: Ciência da Computação Disciplina: Teoria da Computação

Profa: Maria Sibaldo

Aluno: Data: 25/02/2021

Orientações para a avaliação:

Obs.: LEMBREM-SE QUE A PROVA É SEM CONSULTA, E CASO ALGUÉM DESRESPEITE ALGUMA
RESTRIÇÃO TERÁ A NOTA AUTOMATICAMENTE COMO ZERO (0).

1) (2,0 pontos) Dado o alfabeto  = { _ , a, b}, que pode construir, entre muitas
outras, palavras como os seguintes exemplos: aba, bb_aab, apresente um
Autômato Finito (determinístico, não-determinísticos ou com movimentos
vazios) para a seguinte linguagem:
a) Todas as palavras que não tenham “_” ou que tenham um número ímpar
de “_”, e que terminem com “.a” ou “.b”.
2) (2,0 pontos) Coloque a gramática abaixo na Forma Normal de Chomsky e
informe cada passo da etapa.

G = ({S, X, Y, A}, {a, b}, P, S), onde:

P = {S -> XY,

X -> AXA | ,

Y -> YA | 

A -> a | b}

3) (2,0 pontos) Apresente uma gramática e seu formalismo que gere a

seguinte linguagem e informe qual é a linguagem gerada. Alfabeto = {a, b,
c}

{anbman | n≥0 e m>0}

4) (2,0 pontos) Desenvolva uma máquina de Turing que aceite e que sempre
pare para qualquer entrada da linguagem abaixo, e que rejeite qualquer
palavra que não faça parte desta linguagem.

L = {aibjck | k = j + i, j ≥ 1, i ≥ 1, k ≥ 1} , alfabeto {a, b ,c}

5) (2,0 pontos) Reconhecer o complemento de uma linguagem pode ser
impossível, mesmo que seja possível reconhecer a linguagem. Por quê?