✎ aa:lab:11 [books]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Abstract Datatypes ======

1. Definiți constructori pentru un arbore binar ce poate conține ca elemente numere întregi.
2. Definiți axiome pentru următorii operatori:

  * ''size : BTree → Integer''
  * ''height : BTree → Integer''
  * ''mirror : BTree → Tree''
  * ''flatten : BTree → List''

3. Definiți constructori pentru o coadă (tip ''LIFO'') ce poate conține elemente de un tip arbitrar ''E''.
4. Definiți axiome pentru următorii operatori pe coadă:

  * ''deque : LIFO → LIFO''
  * ''top : LIFO → E''
  * ''length : LIFTO → Integer''

5. Definiți constructori pentru un ''Map'' cu chei de tip ''K'' și valori de tip ''V''.
6. Definiți axiome pentru următorii operatori pe ''Map'':

  * ''get : Map × K  → V''
  * ''update : Map × K × V → Map''
  * ''exists : Map × K → Bool''
  * ''delete : Map × K → Map''