EXERCÍCIOS - Gramáticas e AFDs

Linguagens Formais e Autômatos - 2023-2

Dupla: Henrique Magno dos Santos TIA: 42030471
Pedro Machado Gomes Caixeta TIA: 42105811
Observação 1: Este exercício não deve ser manuscrito e nem conter imagens com detalhes manuscritos.
Observação 2: Deve ser mantida a formatação do texto e os enunciados dos exercícios propostos.
1. Considerando a seguinte linguagem formal L1 = { w ∈ {a,b}* / w começa com bb e termina com ba }:
a) Implemente uma gramática que gere L1.
R:
L = ( {S, A}, {a,b}, { P }, {S} )
P = (S -> bbXba, S -> bba, X -> aX, X -> bX, X -> ε)

b) Qual é o tipo da sua gramática? Justifique.

R: Linguagem Livre de Contexto, visto que a primeira regra possui a forma (NUT)*

c) Usando a gramática obtida, mostre que a palavra bba pertence à linguagem gerada por ela.
R: S => bba

d) Usando a gramática obtida, mostre que a palavra bbaaba pertence à linguagem gerada por ela.
R: S => bbXba => bbaXba => bbaaXba => bbaaba

e) Implemente, usando o JFLAP, um AFD que reconheça L1 e apresente um "print screen" do AFD
obtido no espaço abaixo.

f) Simule, no papel, o AFD obtido com a palavra bba.

(q0, bba) => (q1, ba) => (q2, a) => (q5, ε)

g) Simule, no papel, o AFD obtido com a palavra bbbaaba.

(q0, bbbaaba) => (q1, bbaaba) => (q2, baaba) => (q3, aaba) => (q5, aba) => (q6, ba) => (q2, a) =>
(q5, ε)

h) Simule, no papel, o AFD obtido com a palavra bbbbb.

(q0, bbbbb) => (q1, bbbb) => (q2, bbb) => (q3, bb) => (q3, b) => (q3, ε)

Linguagens Formais e Autômatos - 2023-2

Linguagens Formais e Autômatos - 2023-2