2. Imperative Programmierung und Berechenbarkeit ...
2. Imperative Programmierung und Berechenbarkeit ... 2. Imperative Programmierung und Berechenbarkeit ...
LOOP-Programme Satz: Mit LOOP-Programmen kann man genau die primitiv rekursiven Funktionen f k :: N k → N berechnen. … aber das sind bekanntlich nicht alle berechenbaren Funktionen. Loop Programme terminieren immer! Warum? hs / fub - alp2-2 4
Primitiv rekursive Grundfunktionen (I) 1. Konstante 0 Wiederholung aus ALP1 2. Nachfolgerfunktion succ succ (0), succ(succ(0)), ... succ(x) = x+1 (*) 3. Projektionen proj m,i : N m -> N, m ∈ N proj m,i (x 1 ,…,x i ,…,x m ) = x i, i£m (*) Funktionen in math. Schreibweise: f (x,y,z) hs / fub - alp2-2 5
- Seite 1 und 2: 2. Imperative Programmierung und Be
- Seite 3: Beispiel: einfache Programme Multip
- Seite 7 und 8: III Rekursionsschema g : N k -> N,
- Seite 9 und 10: Loop-Algorithmus: beschränkter μ-
- Seite 11 und 12: While-Programme Unbeschränkter μ-
- Seite 13 und 14: GOTO-Registermaschine Befehle haben
- Seite 15: A i ' ≡ {x i =x j +/- c; count=co
LOOP-Programme<br />
Satz: Mit LOOP-Programmen kann man genau die<br />
primitiv rekursiven Funktionen f k :: N k → N<br />
berechnen.<br />
… aber das sind bekanntlich nicht alle berechenbaren<br />
Funktionen.<br />
Loop Programme terminieren immer!<br />
Warum?<br />
hs / fub - alp2-2 4