Entscheidungsverfahren/Additive Arithmetik/Aufgabe

Aus Wikiversity

Kann es ein Entscheidungsverfahren für die Symbolalphabete bzw. (jeweils mit Variablen)

geben? Wo geht bei der Arithmetisierung der Registerprogramme die Addition und wo die Multiplikation ein?