Σκεφτόμουν αυτές τις μέρες γιατί οι γλώσσες προγραμματισμού, ενώ όλες ειναι Turing complete, δεν έχουν την ίδια εκφραστικότητα. Γιατί δηλαδή κάποιες είναι πιο εύκολες στη χρήση από κάποιες άλλες; Και τότε μου γεννήθηκε η απορία αν υπάρχουν non Turing complete γλώσσες προγραμματισμού. Μια σύντομη έρευνα έδειξε ότι υπάρχουν: η BlooP. Η BlooP μαζί με τη FlooP σχεδιάστηκαν από το Douglas R. Hofstadter για το βιβλίο του Gödel, Escher, Bach.
No comments:
Post a Comment