Η εργασία αυτή προτείνει την εισαγωγή Μαθηματικών Θεμελιώσεων των Υπολογιστικών Μηχανών στην Δευτεροβάθμια Εκπαίδευση. Θεωρούμε απαραίτητη κυρίως την εισαγωγή εννοιών Τυπικών Γλωσσών και πεπερασμένων Αυτομάτων. Η Θεμελίωση αυτή απουσιάζει (και από τους Εκπαιδευτικούς) αλλά είναι απαραίτητη για την διαχρονική και ισόρροπη ανάπτυξη εννοιών της Νέας Επιστήμης των Υπολογιστών.