Buscar

1a QUESTÃO Valor: 1,00 a) (0,30) Defina gramáticas livre de contexto. b) (0,30) Crie uma gramática livre de contexto que gere a linguagem {02n1n | ...

1a QUESTÃO
Valor: 1,00
a) (0,30) Defina gramáticas livre de contexto.
b) (0,30) Crie uma gramática livre de contexto que gere a linguagem {02n1n | n  N*}. Justifique sua resposta.
c) (0,40) Crie um autômato de pilha que reconheça por estado final a linguagem do item b. O alfabeto da pilha deve conter no máximo dois elementos. Justifique sua resposta.
Obs.: N* é o conjunto {1,2,3,...}, dos números naturais sem o zero.


Essa pergunta também está no material:

2014_CFrm_Computacao_IME
5 pág.

Geografia Universidade Federal de UberlândiaUniversidade Federal de Uberlândia

💡 1 Resposta

User badge image

Ed Verified user icon

a) Gramáticas livres de contexto são um tipo de gramática formal que descreve uma linguagem por meio de regras de produção que permitem a geração de cadeias de símbolos. Essas regras são compostas por um símbolo não-terminal que é substituído por uma sequência de símbolos terminais e não-terminais. b) A gramática livre de contexto que gera a linguagem {02n1n | n ∈ N*} é: S → 0S11 | ε A justificativa é que a gramática começa com o símbolo inicial S, que pode ser substituído por 0S11 ou ε (cadeia vazia). A primeira regra de produção gera uma sequência de 0s seguida por uma sequência de 1s, onde o número de 0s é igual ao número de 1s. A segunda regra de produção gera a cadeia vazia. c) O autômato de pilha que reconhece a linguagem do item b pode ser representado pelo seguinte diagrama de transição de estados: Estado inicial: q0 Estado final: q2 Símbolos de entrada: 0, 1 Símbolos da pilha: Z0, X q0, Z0, Z0 → q1, XZ0, Z0 q1, 0, Z0 → q1, XX, Z0 q1, 1, X → q1, ε, X q1, 1, Z0 → q2, ε, Z0 A justificativa é que o autômato começa no estado q0 com o símbolo Z0 no topo da pilha. A cada transição, o autômato lê um símbolo de entrada e faz uma operação na pilha. O autômato aceita a cadeia se chegar ao estado final q2 com a pilha vazia. As transições do autômato foram projetadas para empilhar um X para cada 0 lido e desempilhar um X para cada 1 lido, garantindo que o número de 0s seja igual ao número de 1s. O símbolo Z0 é usado para indicar o fundo da pilha.

0
Dislike0

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais