Entscheidungsverfahren/Additive Arithmetik/Aufgabe
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?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?