|
|
Un albero binario è un particolare albero ordinato in cui ogni nodo ha al più due figli, e si fa distinzione tra il figlio sinistro e il figlio destro di un nodo. Infatti due alberi binari composti dagli stessi nodi, con la stessa radice e con gli stessi figli per ogni nodo, possono essere diversi. Questo può accadere qualora un nodo u sia designato come figlio sinistro di un nodo v, nel primo albero, e figlio destro del nodo v nel secondo albero.
Una ragionevole specifica per un albero binario include i seguenti operatori:
creabinalbero,
binalberovuoto,
binradice,
binpadre,
cansottobinalbero,
legginodo,
scrivinodo,
Questi operatori sono analoghi sintatticamente e semanticamente ai rispettivi operatori per gli alberi ordinari.
Introduciamo alcuni nuovi operatori, specifici per gli alberi binari, e loro specifiche semantiche:
La loro specifica semantica con pre e post condizioni sarà:
L’ importanza degli alberi binari risiede sia sulla semplicità della loro struttura che sulle innumerevoli applicazioni in cui possono essere impiegati. Per saperne di più consulta i seguenti approfondimenti:
Tutto quanto riportato in questa pagina è a puro scopo informativo personale. Se non ti trovi in accordo con quanto riportato nella pagina, vuoi fare delle precisazioni, vuoi fare delle aggiunte o hai delle proposte e dei consigli da dare, puoi farlo mandando un email. Ogni indicazione è fondamentale per la continua crescita del sito.