Ενα πρόβλημα για το οποίο έχει αποδειχθεί ότι δεν έχει λύση θεωρείται:
- Αλυτο
- Αδόμητο
- Επιλύσιμο
- Ημιεπιλύσιμο
Στο αριστερό μέρος της εντολής εκχώρησης έχουμε
- Εκφραση
- Μεταβλητή
- Σταθερά
- Τελεστή
Για τη δημιουργία της πληροφορίας απαιτούνται
- Στοιχεία
- Ζητούμενα
- Φράσεις
- Δεδομένα