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