Uber einige Interpretationen von Registermaschinen mit Anwendungen auf Entscheidungsprobleme in der Logik, der Algorithmentheorie und der Theorie formaler Sprachen