2. Imperative Programmierung und Berechenbarkeit ...
2. Imperative Programmierung und Berechenbarkeit ... 2. Imperative Programmierung und Berechenbarkeit ...
Beschränkter μ-Operator Gesucht Operator, der kleinstes i < m findet, das eine Bedingung wahr macht. μ i < m (g(i,x)) = ∧ ∀j < i 0 i 0 , wenn g(i 0 ,x) = 0 g(j,x) ≠ 0 ∧ 0 § i 0 < m 0 falls m=0 ∨ ∀ 0§j g erfüllt Satz: Beschränkter μ-Operator kann durch ein LOOP-Programm realisiert werden. hs / fub - alp2-2 8
Loop-Algorithmus: beschränkter μ-Operator x res = 0; i = 0: x m =m-1; loop x m { wenn g(i,x) > 0 dann i=i+1; sonst {wenn schon i 0 mit g(i 0 ,x) gefunden dann ignoriere aktuelles i sonst x res = i} } hs / fub - alp2-2 9
- Seite 1 und 2: 2. Imperative Programmierung und Be
- Seite 3 und 4: Beispiel: einfache Programme Multip
- Seite 5 und 6: Primitiv rekursive Grundfunktionen
- Seite 7: III Rekursionsschema g : N k -> N,
- 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
Beschränkter μ-Operator<br />
Gesucht Operator, der kleinstes i < m findet,<br />
das eine Bedingung wahr macht.<br />
μ i < m (g(i,x)) = ∧ ∀j < i 0<br />
i 0<br />
, wenn g(i 0 ,x) = 0<br />
g(j,x) ≠ 0 ∧ 0 § i 0 < m<br />
0 falls m=0 ∨ ∀ 0§j g erfüllt<br />
Satz: Beschränkter μ-Operator kann durch ein<br />
LOOP-Programm realisiert werden.<br />
hs / fub - alp2-2 8