Kann es ein Entscheidungsverfahren für die Symbolalphabete { 0 , 1 , + } {\displaystyle {}\{0,1,+\}} bzw. { 0 , 1 , ⋅ } {\displaystyle {}\{0,1,\cdot \}} (jeweils mit Variablen)