Zur Berechnung der Partiell Rekursiven Wortfunktionen Ohne Verwendung von Lesebefehlen
✍ Scribed by Lutz Voelkel
- Publisher
- John Wiley and Sons
- Year
- 1986
- Tongue
- English
- Weight
- 564 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Herrn Professor Asser zum 60. Geburtstag gewidmet 0. Aus der Literatur ist bekannt, dafi alle partiell rekursiven arithmetischen Funktionen auf Registermaschinen einerseits mit den Befehlen x : = x + 1, x : = x -1 und dem Test ,,x = 02" (,,erster Befehlssatz", vgl. [7]), andererseits aber auch rnit den Befehlen x : = x + 1, x : = 0 und dem Test ,,x = y?" (,,zweiter Befehlssatz", vgl. [ 2 ] ) berechnet' werden konnen. I m zweiten Fall ist es sogar moglich, die Loschbefehle der Form x : = 0 einzusparen, wenn die (iiberwiegend benutzte) Berechenbarkeitsnormierung vorausgesetzt wird, vor Beginn einer Berechnung alle Register, die nicht Eingabewerte enthalten, zu loschen (vgl. [9]). Fur die partiell rekursiven Wortfunkt'ionen uber einem mehrbuchstabigen Alphabet, die von ASSER in [l] erstmalig explizit dargestellt wurden, finden sich schon in [7]