Berechenbare Funktion

Natural & Formal Sciences Dictionary
Eine Abbildung von endlich kodierten Eingaben (üblich endliche Zeichenketten oder natürliche Zahlen) auf Ausgaben, für die ein endliches, mechanisch ausführbares Verfahren existiert, das für jede gültige Eingabe terminiert und die korrekte Ausgabe liefert.