Entscheidungsverfahren/Additive Arithmetik/Aufgabe

Kann es ein Entscheidungsverfahren für die Symbolalphabete ${}\{0,1,+\}$ bzw. ${}\{0,1,\cdot \}$ (jeweils mit Variablen) geben? Wo geht bei der Arithmetisierung der Registerprogramme die Addition und wo die Multiplikation ein?