Entscheidungsverfahren/Additive Arithmetik/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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?
Eine Lösung erstellen