Machines abstraites |
Langage Z : originalité |
Décharger complètement l’utilisateur des problèmes d'implémentation (représentations mémoire)
Z offre pour le niveau 1
les
machines de TURING ( machine-caractères et machine-nombres)
et
des machines simulant les tableaux, les structures, les listes linéaires chaînées
et les fichiers.
Z
offre pour le niveau 2
des machines simulant les tableaux,
les listes linéaires chaînées, les listes bilatérales, les piles, les files
d’attente, les arbres de recherche binaire et les arbres de recherche m-aire,
les fichiers.