Leia com atenção as instruções abaixo.
Valor: 1,0 pontos na 3ª Nota.
Data da Entrega:01/10/2020
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á.