Αφηρημένος τύπος δεδομένων: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Διόρθωση συντακτικών λαθών με τη χρήση AWB (9459)
μΧωρίς σύνοψη επεξεργασίας
Γραμμή 80:
==== Παράδειγμα: Αφηρημένη Στοίβα (συναρτησιακή) ====
 
Για παράδειγμα, ένας πλήρης ορισμός συναρτησιακού τύπου του ΑΤΔ Στοίβα θα μπορούσε να χρησιμοποιεί τις τρείςτρεις παρακάτω λειτουργίες:
 
* <code>push</code>: Δέχεται κάποια κατάσταση στοίβας και μια τιμή, επιστρέφει μια νέα κατάσταση στοίβας,