Οι γλώσσες προγραμματισμού είναι φυσικές γλώσσες
Τυπικό είναι το σύνολο των κανόνων που ορίζει τις μορφές με τις οποίες μία λέξη είναι αποδεκτή
Οι γλώσσες προγραμματισμού χρησιμοποιούνται για την επικοινωνία του ανθρώπου και της μηχανής
Οι γλώσσες προγραμματισμού δεν ακολουθούν τις βασικές έννοιες και αρχές της γλωσσολογίας
Ο υπολογιστής είναι μία μηχανή που καταλαβαίνει μόνο τρεις καταστάσεις, το μηδέν, το ένα και το δύο
Η σημασιολογία είναι το σύνολο των κανόνων που καθορίζει τη νομιμότητα της διάταξης και της σύνδεσης των λέξεων της γλώσσας
Οι αλγόριθμοι και οι δομές δεδομένων είναι μια αδιάσπαστη ενότητα
Αλφάβητο μίας γλώσσας καλείται το σύνολο των κανόνων που χρησιμοποιείται από τη γλώσσα
Οι γλώσσες χαμηλού επιπέδου είναι τεχνητές γλώσσες, ενώ οι γλώσσες υψηλού επιπέδου είναι φυσικές γλώσσες (Παν. 2014)
Η Γραμματική μιας γλώσσας αποτελείται από τις εντολές και το συντακτικό
Οι γλώσσες προγραμματισμού είναι τεχνητές γλώσσες
Συντακτικό είναι το σύνολο των κανόνων που καθορίζει τη νομιμότητα της διάταξης και της σύνδεσης των λέξεων της γλώσσας για τη δημιουργία προτάσεων
Ο προγραμματισμός είναι αυτός που δίνει την εντύπωση ότι οι υπολογιστές είναι έξυπνες μηχανές που επιλύουν τα πολύπλοκα προβλήματα
Οι τεχνητές γλώσσες χαρακτηρίζονται από στασιμότητα
Το λεξιλόγιο μιας γλώσσας αποτελείται από τις λέξεις που είναι δεκτές από τη γλώσσα