Φυσικές γλώσσες:  Αγγλικά, Γερμανικά, Ισπανικά κλπ..

Τεχνητές γλώσσες:  C, Java, Python κλπ..

Οι φυσικές γλώσσες χρησιμοποιούνται από τους ανθρώπους και η γλώσσα μηχανής από τους υπολογιστές. Δυστυχώς η γλώσσα μηχανής είναι εξαιρετικά δύσχρηστη για τους ανθρώπους. Οι γλώσσες προγραμματισμού είναι κάπου στην μέση δηλαδή θυμίζουν αγγλικό κείμενο και μπορύν σχετικά εύκολα να μετατραπούν σε γλώσσα μηχανής. Οι συγγραφείς των σχολικών βιβλίων επέλεξαν να χρησιμοποιήσουν μια ανύπαρκτη γλώσσα προγραμματισμού που την ονόμασαν ΓΛΩΣΣΑ.  Μια φυσική ή τεχνητή γλώσσα προσδιορίζεται από:

• Το αλφάβητο δηλαδή όλα τα σύμβολα που επιτρέπεται να χρησιμοποιήσουμε. Το αλφάβητο της ΓΛΩΣΣΑΣ χρησιμοποιεί τα ελληνικά και αγγλικά γράμματα (πεζά και κεφαλαία), τα ψηφία (0-9) και σύμβολα:
  . , ! _ ) ( [ ] & ^ * + /  – ‘ < > =  ← (κενό)
• Το λεξιλόγιο.δηλαδή τις λέξεις που είναι αποδεκτές. Στην ΓΛΩΣΣΑ είναι αποδεκτές οι λέξεις ΟΣΟ, ΑΝ, ΓΙΑ αλλά δεν είναι οι λέξεις 23_α, ΤΕΛΟΣ ΑΝ, $Χ.
•  Η Γραμματική. Η Γραμματική αποτελείται από το
  – τυπικό ή τυπολογικό (accidence) και
  – το συντακτικό (syntax).
  Τυπικό είναι το σύνολο των κανόνων που ορίζει τις μορφές με τις οποίες μία λέξη είναι αποδεκτή. Για παράδειγμα, ένα πρόγραμμα πρέπει να ξεκινά με την λέξη ΠΡΟΓΡΑΜΜΑ και όχι ΠΡΟΓΡΑΜΑ.
  Συντακτικό είναι το σύνολο των κανόνων που καθορίζει τη νομιμότητα της διάταξης και της σύνδεσης των λέξεων της γλώσσας για τη δημιουργία προτάσεων. Η εντολή ΓΙΑ Ι ΜΕΧΡΙ 100 ΑΠΟ 1 ΜΕ_ΒΗΜΑ 2 είναι συντακτικά λάθος.
• Η σημασιολογία. Η σημασιολογία (Semantics) είναι το σύνολο των κανόνων που καθορίζει το νόημα των λέξεων και κατά επέκταση των εκφράσεων και προτάσεων που χρησιμοποιούνται σε μία γλώσσα. Η εντολή ΔΙΑΒΑΣΕ X για τον υπολογιστή σημαίνει περίμενε μέχρι να σου έρθει μια τιμή από το πληκτρολόγιο και όταν έρθει να την εκχωρήσεις στην μεταβλητή Χ.