Leia com atenção as instruções abaixo.
Coloque os arquivos da atividade na pasta atividades/atividade13 no seu repositório. Use a sintaxe da linguagem Markdown e coloque as respostas no arquivo atividade12.md.
Valor: 1,0 ponto na 3ª Nota.
Data da Entrega Limite: 14/08/2021
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á.