Compiladores - Atividade 09

Leia com atenção as instruções abaixo.

Formato da Entrega:

Valor: 1,0 pontos na 3ª Nota.

Data da Entrega:01/10/2020

Questão 01 - 1,0 Ponto

Considere a gramática a seguir para árvores binárias de inteiros (em forma linearizada):

bárvore -> (número bárvore bárvore) | nil

Escreva uma gramática de atributos para verificar se uma árvore binária está ordenada, ou seja, se os valores dos números da primeira subárvore são menor ou igual ao valor do número corrente e os valores dos números da segunda árvore são maiores ou iguais ao valor do número corrente. Por exemplo, (2 (1 nil nil) (3 nil nil)) está ordenada, mas (1 (2 nil nil) (3 nil nil)) não está.