11.

Considere a seguinte gramática:

Gramática:
<S> -> <A> a <B> b
<A> -> <A> b
|b
<B> -> a <B>
Atividade em Sala de Aula Máximo |a
de 2 componentes por grupo: As
respostas devem ter justificativas. Quais das seguintes sentenças estão na linguagem gerada
por essa gramática?
1. Defina sintaxe e semântica. ➢ a) baab
➢ b) bbbab
2. A quem se destinam as descrições de linguagem? ➢ c) bbaaaaa
➢ d) bbaab
3. O que é a BNF?
12. Considere a seguinte gramática:
4. A partir de qual linguagem de programação surgiu a Gramática:
BNF? <S> -> a <S> c <B>
| <A>
5. Descreva a operação de um gerador de linguagem |b
geral.
<A> -> c <A>
|c
6. Descreva a operação de um reconhecedor de
linguagem geral. <B> -> d <A>

7. Quais três extensões são comuns à maioria das Quais das seguintes sentenças estão na linguagem gerada
EBNFs? por essa gramática?
➢ a) abcd
8. Usando a gramática abaixo, construa a árvore de ➢ b) acccbd
análise e uma derivação à extrema esquerda das ➢ c) acccbcc
seguintes instruções: ➢ d) acd
➢ a) A := A * (B +(C * A)) ➢ e) accc
➢ b) B := C * (A * C + B)
➢ c) A := A * (B + (C)) 13. Escreva a descrições BNF e de grafo de sintaxe para
Gramática: cada item abaixo:
<atribuição> -> <id> := <expr> ➢ Uma instrução de cabeçalho procedure
<id> -> A | B | C Pascal
<expr> -> <id> + <expr> ➢ Uma instrução switch C
| <id> * <expr>
| ( < expr> ) 14. Gerando sentenças válidas Utilizando a derivação à
extrema esquerda e a EBNF da gramática Linguagem
| <id> de Calcular, gere a sentença abaixo
25 * 1.5 =
9. Usando a gramática abaixo, mostre uma derivação à
extrema esquerda das seguintes instruções:
15. Gerando o grafo de sintaxe. Fazer o grafo de sintaxe
➢ a) A := (A + B) * C para a gramática EBNF da Linguagem de Calcular,
➢ b) A := B + C + A apresentada em sala de aula.
➢ c) A := A * (B + C)
➢ d) A := B * (C * (A + B))

Gramática:
<atribuição> -> <id> := <expr>
<id> -> A | B | C
<expr> -> <expr> + <expr>
| <termo>
<termo> -> <temo> * <fator>
| <fator>
<fator> -> ( < expr> )
| <id>

10. Prove que a seguinte gramática é ambígua:

Gramática:
<S> -> <A>
<A> -> <A> + <A>
| <id>
<id> -> a | b | c