Το Στέκι των Πληροφορικών

Παράθεση από: ioannis.giftakis στις 23 Μαρ 2024, 09:27:01 ΠΜΑκόμα ένα:
πάρα πολύ καλή προσπάθεια (όπως όλες σου) Γιάννη!

Παράθεση από: alkisg στις 04 Μαΐου 2023, 11:25:29 ΜΜΣε ένα ερωτηματολόγιο πρόπερσι, είχα την παρακάτω ερώτηση:



Λιγότερο από το 5% των συναδέλφων υποστήριξε ότι η ΓΛΩΣΣΑ έχει άπειρη ακρίβεια.
Αυτό είναι λογικό όταν μιλάμε για προγραμματισμό, αφού κανένας ψηφιακός υπολογιστής δεν μπορεί να χωρέσει ούτε έναν αριθμό με "άπειρα ψηφία".

Εντωμεταξύ αν γίνει overflow και σταματήσει η εκτέλεση του προγράμματος τότε δεν είναι πια "ατέρμων βρόχος".
Είναι "λογικό λάθος" με "αντικανονικό τερματισμό της εκτέλεσης". Οι κατηγορίες αυτές δεν είναι διακριτές, υπάρχει επικάλυψη.

Αντίθετα, σε γλώσσες όπου το overflow δεν προκαλεί τερματισμό της εκτέλεσης, τότε το λάθος εκεί είναι μόνο λογικό. Δηλαδή το ίδιο ακριβώς πρόγραμμα, σε μια γλώσσα μπορεί να ανήκει σε δύο κατηγορίες, και σε άλλη γλώσσα μόνο σε μία κατηγορία.

Για τη ΓΛΩΣΣΑ δεν υπάρχει επίσημη διευκρίνηση, οπότε το λάθος είναι σίγουρα λογικό. Το αν ταυτόχρονα είναι και αντικανονικού τερματισμού δεν πρέπει να ερωτηθεί.

(Να πω επίσης ότι σε ένα πρόγραμμα τύπου "υλοποίηση ρολογιού" που έχει επίτηδες άπειρο loop, εκεί δεν είναι ούτε καν λογικό λάθος, αλλά ΟΚ αυτό εμείς τάχα μου δεν το θεωρούμε καν αλγόριθμο, αλλά "υπολογιστική διαδικασία", ενώ αν του βάλουμε κι ένα κουμπί "exit", τότε ξαφνικά γίνεται αλγόριθμος! Όμως αυτό είναι άλλη συζήτηση! )