Sie sind auf Seite 1von 57

LOsung der Obungsaufgaben

Ubung 1.1:

Induktionsanfang:

In den Bausteinen kommt e tiberhaupt nicht vor. Induktionsschritt:

Es sind 26 Falle zu untersuchen. Wir ftihren exemplarisch den folgenden aus:

Seien die Worte WI a und aW 2 mit B III konstruiert, und stehen in ihnen niemals zwei Buchstaben e neben-

einander. Nach der zuvor bewiesenen Aussage tiber mit B III konstruierbare Worte sind die letzten bzw. die ersten beiden Buchstaben von WI a bzw. aW 2 nicht der Buchstabe e. Also endet WI nicht auf e, und W 2 be- ginnt nicht mit e. Da wir vorausgesetzt haben, daB in WI a und aW 2 nicht zwei Buchstaben e nebeneinander-

stehen, gilt dies auch fUr WI • W 2 .

Ubung 1.2:

Induktionsanfang:

Es ist nichts zu beweisen. Induktionsschritt:

Hier sind entsprechend den 26 Regeln 26 Falle zu beweisen. Wir beschranken uns auf den Fall, daB aus WI a

und

Das Wort WI beginne mit x, das Wort W 2 ende auf y. Dann hat nach Induktionsvoraussetzung das Wort WI a die Gestalt x~; a, das Wort aW 2 die Gestalt a~; y. Durch Regelanwendung wird daraus x~; e ~; y. Dieses Wort liiEt sich auch schreiben als xW; W;y, hat also die geforderte Gestalt.

aW 2 das Wort WI e W 2 konstruiert wird.

mung 1.3:

Induktionsanfang:

Hier gibt es 26 3 Falle. Wir behandeln exemplarisch das Wort abc. abc ist Baustein in B III und hat die gesuchte Gestalt. Induktionsschritt:

Hier gibt es 26 Falle. Wir nehmen an, daB es zum Wort al Wan mit mindestens drei Buchstaben das Wort al ~an gibt. Wir zeigen exemplarisch, wie dann zum Wort al Wanz das gesuchte Wort mit B III konstruiert wird:

Aus al ~an und dem Baustein ananz wird durch Regelanwendung das gesuchte Wort al ~ e anz, das sich auch als al Wanz schreiben liiEt.

Ubung 1.4:

Da wir die Gleichwertigkeit von B lund B II nur fur Worte mit mindestens zwei Buchstaben behauptet haben, beginnt diesmal der Induktionsanfang mit allen Worten, die aus zwei Buchstaben bestehen. Da diese in B I konstruierbaren Worte die Bausteine von B II sind, ist die Behauptung im Induktionsanfang schon erwiesen.

Induktionsschritt:

Wir nehmen an, daB das Wort W, das mit B I konstruierbar ist, auch mit B II konstruiert werden kann. Dann

ist dies fUr die 26 Falle Wa,

Wir beschranken uns hier auf den Fall Wa. x sei der letzte Buchstabe von W. Das Wort xa ist ein Baustein von B II. Auf das Wort W (das ja nach Annahme auf x enden soli) und das Wort xa wenden wir die Konstruktions- regel aus B II an und erhalten das Wort Wa.

, Wz zu beweisen.

128

Ubung 1.5:

Induktionsanfang:

Hier sind 26 3 Falle zu beweisen. Wir behandeln als Beispiel den Baustein abc. Dieser ist in B V aus den beiden Bausteinen ab und be dureh eine Regelanwendung konstruierbar.

Induktionssehritt :

Hier sind 26 Falle zu beweisen. Wir behandeln nur einen als Beispiel:

1st W, • W 2 aus W, a und aW 2 dureh Regelanwendung in B III entstanden und sind W, a und aW 2 aueh in B V konstruierbar, so bilde man zunaehst W, aW2 in B V und dann daraus W, • W2 .

Ubung 1.6:

Beweis dureh Induktion:

Induktionsanfang:

Es sind 26 3 Faile zu beweisen. Wir nehmen als Beispiel das Wort zyx. Dieses lall>t sich in B VI aus den beiden Worten zy und yx konstruieren. Induktionssehritt :

Von den 26 zu untersuehenden Fallen wollen wir exemplariseh nur den folgenden behandeln:

Wir nehmen an, dall> die in B III konstruierbaren Worte W, a und aW 2 aueh in B VI konstruierbar sind. Dann

lall>t sieh das Wort W, • W 2 wie

Aus W, a und a • konstruiere man W, •. Aus • a und aW 2 konstruiere man. W 2 .

Dann ergibt sieh aus W, • und. W 2 das Wort W, • W 2 .

folgt in B VI konstruieren:

Ubung 6.1:

(j) = 0

ja

nein

Sehrittzahl:

Inhalt des Registers j.

Ubung 6.2:

Addition:

Sehrittzahlfunktion:

sa(x, y) = 5 ·(x + y)

Anzahl der Register: 4 (Kopierprogramm benbtigt Hilfsregister!)

129

Subtraktion:

 

Schrittzahlfunktion:

 

nein

ss(x,y)=5x+7y

(4) = 0 >-='-

Anzahl der Register: 5

Multiplikation:

 

Schrittzahlfunktion:

sm(X,y) = 6y+ 5x·y Anzahl der Register: 5

Ubung6.3:

Addition: siehe Dbung 5.2

Subtraktion:

130

Schrittzahlfunktion:

ss(x, y)

Anzahl der Register: 4

= 5x + 5y

Multiplikation:

Ubung 6.4:

Ubung 6.5:

(J):=x;

(2):=y;

(2) = 0

nein

Schrittzahlfunktion:

Sf(X, y) = lOx + ISy

Schrittzahlfunktion

Sm (x, y)

= 4y + Sxy

Anzahl der Register: 5

131

Ubung 6.6:

(3) =0

Ubung 6. 7:

(3) = 0

Ubung 6.8:

132

nein

nein

(2)

(3)

(4)

0

0

0

0

x

x

0

x

0

x

x-'-I

x

x

x-'-I

0

x+x

x-'-2

X

x+x

x-'-2

0

x·x

x -'- x

0

Schrittzahlfunktion Sf(x) =5 x 2 + 6x =5 .f(x) + 6x

 

(2)

 

(3)

(4)

 

0

0

0

0

x

0

x

0

x

x

x

0

x

x -'-

1

0

x

+ (x -'-

I)

0

x-'-I

x

+ (x

-'-

I)

x -'- 2

0

 

I

i

0

0

 

i

x

Schrittzahlfunktion: Sf (X) = 5 x + I

i

E;;;

x

(Si + I) = 6x + 5 . f(x)

Ubung6.9:

(J) =

0

(3) = 0

nein

nein

(2) = 0

ja

(4) = 0

(J)

x

x

0

(2)

0

1

0

2

2 2

2 0

2 22

X 2 x

(3)

(4)

0

0

0

0

x

0

x-'-I

0

x-'-I

2·1

x-'-I

0

x-'-2

0

x-'-2

2·2

x-'-2

0

x-'-x

0

ja

x-I

Schrittzahlfung: Sf(X) = 1 + 2x + L

i = 0

(2 + i

=4x-6+7'f(x)

nein

nein

. 3 + 2i + I

. 2) = 1 + 2x +

x-I

L

i = 0

(2 + 7· 2i) = 4x + 1 + 7· (2 X

-

I)

133

iibung 6.10:

Man wird zuniichst versuchen, ein Programm l ) gemii1' folgender Idee zu schreiben:

(

(x -'- y) -'- y)

-'- y)

~J-mal '

Falls ylx, ist das eine Losung; falls -, ylx, wird das Ergebnis urn I zu gro1'. Subtrahiert man am Ende der Rechnung eine I, so ist das Ergebnis fUr den Fall xly urn I zu niedrig. Diesem Dilemma kann man dadurch entgehen, da1' man zu Beginn der Rechnung x urn I erhoht:

(

«x+ I)-'-y)-'-

-'-y)

[~J+ I-mal

Man erhiilt folgendes Programm:

(4) =

0

nein

I) Da die Division ftir y = 0 nicht erklart ist, handelt es sich urn eine partielle Funktion, ftir die die Berechenbarkeit in naheliegender Weise definiert wird.

Ubung6.11:

134

Ubung 6.12:

(2)

y

y

0

Y

y

y

y

(

(4) = 0

(3)

nein

(2) = 0

ja

(5) =

0

ja

(4)

nein

nein

(5)

0

0

0

0

x + 1

0

x +

1

(x+l)-y

Y

x + 1

 

(x+l)-y

0

(x+ \)-'-y

«x + l)-y)-y

0

«x+ \)-'-y) .

. -'- y) ,

(

(x+ l)-'-y)

-'-y)

0

 

v

f(x,y)+\

 

0

f(x, y)

0

0

135

Ubung 6.13:

 

(2)

(3)

 

nein

o

1

 

1

12

1

(x+l)-'-12

2

22

2

(X + 1) -'- 22

[v'X] + 1

o

[v'X]

o

Ubung 6.14:

 

nein

136

(l) (2)

(3)

(4)

X

0

0

0

x+l

0

2

1

x+l

1

2

(x+l)-'-2 1

x+l

2

2

(x + 1) ~ 22

x+l

f(x) + 1

2

0

x

f(x)

0

0

Ubung 7.1:

Ubung 7.2.

(5) =

0

J3

(4) = 0

(2) = 0

ja

(4) = 0

nein

neln

nein

nein

M.S.LI2/1

(2)

(3)

(4)

o

(x -"- y)

y

y

(x -"- y) + Y

0

Schrittzahlfunktion:

5x + 6y

137

iibung 7.3:

Analog {)bung 6.10 benutzt man einen Trick, urn die beiden Fiille x> y und x = y zu trennen.

1.

Fall:

(y+ 1)

 

!.x=O

+-+

x;;'y+ 1

+-+

x>y

2. (y +

Fall:

I)

!.

X = 1

x

+

1 = y + 1

+-+

x = Y

3. (y + I)

Fall:

!.

X >

1

+-+

y

+

1 >

x + 1

Y > x

 

nein

(J) = 0

 
 

nein

 

(2) = 0

ja

Ubullg8.1:

II:

f(x, Y+ 1) = h'(f(x, y), x) = VHh'(f(x, y), x), y)

Die gesuchte dreistellige Funktion h (u, v, w) ist:

h(u, v, w) = v1 (h'(u, v), w))

III:

f(x, y + 1) = h'(f(x, y), y) = h'(f(x, y), V~ (x, y)),

h(u, v, w)

= h'(u, V~ (v, w))

Ubung8.2:

O! = 1

(x+ I)! =x! '(x+ 1)

iibung 8.3:

Ix-yl = (x

138

!.y)+

(y

!.

x)

'--------'

also

U/Jung8.4:

sg(O) = 0

sg(x + 1) = U~ (sg(x), 1)

sg(x) = 1 -!

sg(x)

Ubung8.5:

Die gesuchten Abschatzungen:

x

x-!

sg(x)';; 1

Nach Obung 8.3 bzw. 8.4 entsteht Ix - y I bzw. sg(x) durch Einsetzung subelementarer Funktionen in subelementare Funktionen.

+

y .;; x + y + x . y + 1 = (x + l)(y y';;x

+ 1)

Ubung 8.6:

Die gesuchten Abschatzungen:

x

+ 1 .;; 2 x

x·y~2x+y

x

y

.;; 2 x

. y

Beweis:

XO

x y

= 1 .;; 2 x . 0

+

1 = xY . x .;; .;;

2 x ·Y.

2x. y .

X

2x = 2x. (y + 1 )

x

+ J IafJ.t sich auch schreiben als x + 2 eo .

Ubung8.7:

Wir machen eine Falluntersuchung:

a;;;' b:

dann ist a -!

(a -!

b) = a -

(a -

b) = b;

 

also (a-!

b)-!

(a-!

(a-'-b))=(a-!

b)-!

b

a

< b:

dann ist (a -!

b) -!

b = 0

und

(a-!

b)-!

(a-!

(a-!

b))=O-'-(a-!

 

(a-!

b))=O

Diese Voruberlegung benutzen wir fur y -! 2x:

 

(y -! 2X)-!

(y-!

(y

-!

2X))

= (y -!

2X) -!

2

x =y -!

2

X + 1

Jetzt laJJ.t sich die Funktion fey, x) = y -!

X -!

=

Y ~

1

Y

-!

2 x+ 1 = (y

-!

2 X) -!

(y -!

(y -!

2 X))

Y

-!

2x,;; y

 

2 x leicht rekursiv definieren:

f(y,x)=y-!"J

fey, x + 1) = fey, x) -!

f(y,x)';;y

(y -!

fey, x))

139

Ubung8.8:

1. Fill die Ausgangsfunktionen

2. Es geJte

wahlen wir k = 2:

x + I .;;; X 2 fur

x > 2

f(x"

, xn+l)';;; (max (2, x"

, xn+d)k

h(y"

, Yr)';;;(max(2,Y"

,Yr)l.

Dann ist:

f(x"

,

x n , h(y"

, Yr))';;; (max (2, x" ';;;(max(2, x"

,

,

x n , (max(2, Y"

xn,Y"

,Yr)t k

, Yr)i)k

3. Bei der beschrankten primitiven Rekursion bleibt die Abschatzung erhalten.

Ubung8.9:

1m folgenden werden bei den ineinandergeschachtelten Zweierpotenzen keine Klammern gesetzt. Es wird z. B. 2 2x fur 2(2 x) , das ist g (x, 2), geschrieben.

1. Fiir die Ausgangsfunktionen wahle man k = I:

2. Gelte die Abschatzung fur fl und f2 mit passenden Konstanten k und I. Dann gilt:

x + Y .;;; 2 . max (x, y) .;;; 2 max (x,y)

2max (xl,

, xn, f2(y"

, Yr))

f, (x"

, xn, f2(y"

, Yr»)';;; 2

2'

2max (x"

, xr)

3. Bei der beschrankten primitiven Rekursion bleibt die Abschatzung erhalten.

Ubung8.10:

Die Funktion g l:illt sich durch eine primitive Rekursion definieren:

g(x, 0) = f(x, 0) g(x,z+ I)=g(x,z)+f(x,z+ I)

Es ergibt sichjetzt folgendermaBen eine Abschatzung fur die Funktion g durch subelementare Funktionen:

g(x,z)= L f(x,y)';;; )' (max(2,x,y))k';;;(z+I)'(max(2,x,z))k

z

z

y=O

y=O

Da sich max(u, v, w) definieren l:illt durch max(u,max (v, w»

und max(u, v) durch (u-'-v) + v

[vgl. Obung 7.2], ist die Funktion g subelementar, falls f subelementar ist.

Ubung 8.11:

Mit Obung 8.9 gilt:

hex, 0) = f(x, 0) h(x,z+ I)=h(x,z)'f(x,z+ I)

hex, z)';;;(22'

140

2max(x, z)

Ubung8.12:

g(x, 0) = f(x, 0)

g(x, z + I) = max (g(x, z), f(x, z + I))

g(x,z)";

z

L f(x,y)

y=o

Mit Obung 8.10 ist die Behauptung bewiesen.

Ubung 9.1:

x

= y +--+ (x -=- y) + (y -=- x) = 0

 

x

< y +--+ (x +

1) -=- y

= 0

x";y+--+x-=-y=O

Ubung 9.2:

 

P

XI

xi -I f(y I,

, Yr) xi + 1

xn

+--+ gp (XI,

, Xi_I, f(y I,

, Yr), xi + I,

, Xn) = 0

Da die Klasse der primitiv-rekursiven (elementaren, subelementaren) Funktionen gegen Einsetzung abge- schlossen ist, ist mit dieser Aquivalenz die Behauptung schon bewiesen.

Ubung 9.3:

y

Die Behauptung folgt mit Dbung 8.7, Dbung 9.2 und Satz 9.1.

= 2 x

Y -=- 2 x = 0 1\ (y + I) -=- 2 x

'"

0

Ubung 9.4:

xly+--+

V

z.;;

x·z=y

y

Mit Dbung 9.1 und Satz 9.1 folgt, daB das Pradikat xly subelementar ist.

Pr x

x

'" 0 1\ x

'"

1 1\

1\

y';;x

(y I x -->- (y = 1 V Y = x))

Ubung 9.5:

Sei f(x,z) = J.ly g(x,y)=O

y';; z

Dann laBt sich f auch definieren in der Form

f(x,O)=O f(x,z)

falls

V

g(x,y)=O

y';;z

f(x, z + I)

=

z + 1

o

falls~ V

sonst

y';;z

g(x,y)=Ol\g(x,z+I)=O

Mit Satz 9.2 JaI~t sich diese Zeile in der Form f(x, z + I) = h(f(x, z),x, z) schreiben, wobei heine sub- elementare Funktion ist. Es gilt die Abschatzung f(x, z)"; z.

Ubung 9.6:

f(x,y) =

J.lZ

z';; x

(z+ I)·y>x

Ubung9.7:

h(x) =

J.IZ (Z+I)2>X

z';;x

141

mung 9.8:

kgV(x,y)=

/lZ

z<:x·y

(xlzAylz)

ggT(x,y)= /lZ (zlxAzlyA 1\ «ulxAuly)->u";;z)))

z<:x

u<x

mung 9.9:

f(x) = /lZ 2 z + 1 > X

=

z"; x

/lZ

x

z

;

(x+ 1)-'- 2z+1 =0

Diese Darstellung zeigt - unter Berticksichtigung von tlbung 8.7 - daB f subelementar ist.

Ubung 9.10:

Definiere die Funktion h' durch

h'

(x, z)

=

/lY (Pr yAy> x)

y"; z

und damit die gesuchte Funktion h durch

h(x,z) = h'(x, 22z)

mung 9.11:

exp(i, x) =

/lZ -----, p(i)Z + 11 x

Z

;

x

Ubung 12.1:

(jAkA/Sj) (/AjS/)

mung 12.2:

p laBt sich auch schreiben als

25 2 '7°. 332 '521. 723'11111'1313

Daraus liest man leicht das folgende Prograrnrnwort ab:

(2S2A1A3) E

Es gilt:

F

(k,

1)

=

F

(k) = (5, p, 2 2 '3°'5 3 '7 1 )

 

exp(4, p) = 2 3

F

(k,

2) = F (F (k, 1)) = F «5, p, 2 2 '3°. 53 .7 1 »)

exp(5,p)= 111

 

=0,p,2 2 '3 0 ' 5 3 .7 1 )

 

F

(k,

3)

= F (F (k, 2)) = F (0, p,

22 . 3°·

5 3 '7

1 »)

exp(1, p) = 5 2 .7°

 

=(0, p, 2 2 '3°'5 3 '7 1 )

 

exp(2,

22 . 3°· 53 .7 1 ) = 0

exp(4, exp (1, p)) = 0

F(k,4) = F(F(k, 3)) = F(<O,p, 2 2 . 3°'5 3 '7 1 »)

=

(0, p, 2 2 . 3°·

5 3 .7 1 )

Die RM flihrt bei F (k, 3) den Programmbuchstaben E aus, d. h. sie stoppt.

exp (4, exp (3, F

(k, 3))) = exp (4, exp (3,

<0, p, 22 . 3°· 53 . 7 1 »))

=

exp (4,2 2 . 3°· 53. 7 1 ) = I

Es ist der Inhalt des 4. Registers cler RM mit der Konfigurationszahl F (k, 3).

142

Ubung 12.3:

Wegen Satz 11.3 gentigt es, fiir die Elementaroperationen Ai> Sj und den Konstruktionsprozefl> (jP) des bis- herigen Konzepts Ersatzkonstruktionen anzugeben.

Wir denken uns die Registernummern in allen zu ersetzenden RM-Programmen urn 1 erhiiht. Dann kommt in diesen veranderten Programmen die Registernummer 1 nicht vor. Wir ersetzen dann die beiden Elementar- befehle Aj bzw. Sj durch die Programme VjAV j bzw. VjSV j und jede Iteration CP) durch Vj(VjPVj)V j und erhalten so ein entsprechendes Programm ftir das neue RM Konzept. In diesem neuen Programm kann man nochjeweils die Buchstabenkombination VjVj streichen.

Beispiel: Das Programm (, S, A2 A2 A 3) (3 S3 A ,) wird ersetzt durch

V 2(V2V2SV 2V3AV3V3AV3V4 AV4 V2) V2V4 (V4 V4 SV4 V2AV2V4) V4

Dies hifl>t sich vereinfachen zu

Ubung 12.4:

Die Giidelisierung ist hier etwas einfacher als im Beweis 12.1. Den einzelnen Buchstaben wird eine Giidel- nummer wie folgt zugeordnet:

A

S

V j

(

)

-2

-

-

-

3

sj

7 a ;

-lIb;

dabei bezeichnet a die Stelle im Programmwort, an die gesprungen wird dabei bezeichnet b die Stelle im Programmwort, an die gesprungen wird

E -13

Aus der Konfigurationszahl k liifl>t sich die Information tiber die RM in folgender Weise herauslesen:

k,

:

Stelle des aufgerufenen Programmschritts im Programmwort

k,

= 0:

genau dann, wenn die RM stoppt

k2

:

Giidelnummer des Programms

k3

:

Giidelnummer der Registerinhalte im augenblicklichen Zeitpunkt

exp(k"

k2):

Giidelnummer des aufgerufenen Programmschritts

exp(3, exp (k"

k2»:

Registernummer des Registers, dessen Inhalt mit Register 1 vertauscht werden soli

exp(4, exp(k" k2»:

Stelle im Programmwort, an die nach vorne gesprungen wird

exp(S, exp(k" k2»: Stelle im Programmwort, an die zurtick gesprungen werden soli

Die Befehle S und Vj werden durch folgende Funktionen umschrieben:

sex) :=

{

v(i, x):=

~2

x

falls 21x

sonst

x

prx p (I, x)

1

2exp (I, x)

. p~xp(l,x) . 2exp(j,x)

1

143

Hat eine Registermaschine die Konfigurationszahl k, so hat sie im nachsten Rechenschritt die Konfigurations- zahl F(k), die durch folgende Folgekonfigurationsfunktion F bestimmt ist:

(k[

+ l,k2,2'k 3)

falls

k[

*

0

1\ 21 exp (k[ ,k 2)

(k[ + 1, k2' S(k3»

falls

k[

* 0

1\, 2Iexp(k[, k 2) 1\ 3Iexp(k[,k 2)

(k[

+

1,

k2'

v(exp(3, exp(k[, k 2», k3)

falls

k[ * 0 1\, 2Iexp(k[, k 2) 1\, 3Iexp(k[, k2)

1\ 51 exp (klo k 2)

 

falls

k[ * 01\, 2Iexp(k[, k 2 ) 1\, 31 exp(k[, k 2)

F(k) =

1\ ,

51 exp(k[, k 2) 1\ 71 exp (k[, k 2) 1\ exp (l, k3) * 0

falls

k[

* 01\ ,

2Iexp(k[, k 2 ) 1\ ,

3Iexp(k[, k 2 )

1\ ,

51 exp(k[, k 2 ) 1\ 7Iexp(k[, k 2 ) 1\ exp{l, k3) = 0

falls

k[

* 01\ ,

2Iexp(k[, k 2 ) 1\ ,

31exp (k[, k 2 )

1\ ,

51 exp(k lo k 2 )

1\ ,

7Iexp(k[, k 2 ) 1\ 111 exp(k[, k 2 )

sonst

 

Ubung 13.1:

Beweis indirekt: Gabe es ein solches Verfahren, so gabe es nach der folgenden Dberlegung - im Gegensatz zu Satz 13.5 - auch ein Verfahren fur das Stop-Problem fur RM:

Es gilt: (p, x) E DIJ genau dann, wenn V Tpxt.

t

Ubung 14.1:

x';;;y<-+Vx+z=y

Z

xly<-+Vx'z=y

Z

x*O<-+Vz+l=x

Z

<-+ V V (z + U = x 1\ u = 1)

Z

u

x = 1 <-+ V(x 2 -1)'x

Z

x , z = 0""-' Vx 2 ·x x , z =x x · z

Z

-.

V (x x , z = z 1\ x 2 • Z = z)""-' V V (x Y = z 1\ Y = z 1\ z = y)

Z

Y

Z

Ubung 14.2:

<p (0) = 0 = 0(00)

<p(2) = <p (0) + <P(1) = 1 .;;; 1( 1 ), <p(4) = <p(3) + <p(2) = 3';;; 2(22)

x> I: <p(2x + 2) = <p(2x) + <p (2 x + 1) = <p(2x) + <p(2 x) + <p(2 x-I)

<p (1) = 1 = 1(1)

.;;; 3. <p(2 x)';;; 3. i

xx ) .;;; i

xx ). i

xx ) = x(xx + xx).;;; x(x. xx) = x(xx + I).;;; (x + 1)«x + 1)(x + 1

Behauptung: <p(2 x) > 2 x fur

x;;;. 4

Beweis:

<p(8) = 21 >

24

<p(2x + 2) = <p(2x) + <p(2x + 1);;;'2' <p(2x»2' 2 x = 2 x + 1

 

Dann gilt:

<p(2 ,2) = 3 >

2°, <p(2 '2»

2 1 , <p(2 '4»4 2 , <p(2 ·7) =377 >

7 3

fur z;;;. 4:

<p(2' 2Z) > 2(2 z ) ;;;. iz2) = (2Z)Z

144

Ubung 15.1:

a(x,y)ERI,

v(x)ERI

s(x,y)ER2,

m(x,y)ER 2

sg(O) = x

sg(y + I) = U~ (sg(y), x, Co(Y»

2 0

=

1

2 x +I = 2 x + 2 x , also

max (x, y) = (x -'- y) + y,

g (x) E R2

also f(x,y)ERI

also max (x, y) E R2

Ubung 15.2:

Sind die Funktionen fp, fq aus RI, so auch die Funktionen sg (fp (x) + fq (x», sg(fp (x»

Also ist ReI (RI) gegen die Operationen Konjunktion und Negation abgeschlossen und damit auch gegen die ubrigen aussagenlogischen Verknupfungen. Da RI c;;: R n , gilt dies auch fur ReI (Rn) (n;;;;' 2).

nach Obung 15.1.

Ubung 15.3:

x = y <-+ (x -'. y) + (y -'. x) = O. Die Behauptung folgt mit Obung 15.1.

Ubung 15.4:

Die Behauptung folgt mit Obung 15.1 aus dem Beweis von Satz 9.2.

Ubung 15.6:

1. A 2 (x,I)=x'l=x

An+l (x,

I) = An (x, An+l (x, 0)) = An(x, I) = x

2. Induktion nach n:

Induktionsanfang: Beweis durch Induktion nach y

Al(l, 0) = I

Al(l, Y + I) = A 2(1, Al(l, y»

Induktionsschritt: Beweis durch Induktion nach y

An+l (1,0) = I

An+1(l,Y+ 1)=An(l,An+1(l,y»=An(l, 1)= I

= A 2 (1, I) = 1

3. Es werden zunachst die SpeziaWille n = 0, 1,2 durch Induktion nach y bewiesen.

Ao (x,y)=y+ I >y

Al (x, 0) = x >

AI(x,y+ 1)=Ao(x,A1(x,y))=AI(x,y)+ I >y+ I A 2 (x, I) = Al (x, A2 (x, 0)) = Al (x, 0) = x> I A 2 (x,Y+ 1)=A 1(x,A2(x,y»>A 2(x,Y)+ 1 >y+ 1

0

fur

x;;;;. I

fur x;;;;. 2

Fur n ;;;;. 3 wird die Behauptung durch Induktion nach n bewiesen:

145

Induktionsanfang: Beweis durch Induktion nach y

A 3 (x, 0) =1 > 0

y + 1) = A 2 (x, A 3 (x, y)) > A 3 (x, y);;. y + 1

Induktionsschritt: Beweis durch Induktion nach y

A n + 1 (x,O)= 1

A 3 (x,

An+l (x, y + 1) = An(x, An+l (x, y)) > An+l (x, y);;' y + 1

5. Zunachst die Spezialfalle flir n = 0, 1,2:

Ao(x + 1,0) = 1 = Ao(x, 0) AI(x+ I,O)=x+ 1 >x=AI(x,O)

A 2 (x + 1,0) = 0 = A 2 (x, 0)

Fiir den Spezialfall x = 0 wird fiir n;;' 3 durch Induktion nach n bewiesen:

Induktionsanfang:

A 3 (O, y) = OY

Induktionsschritt: Beweis durch Induktion nach y

An+l (0, 0) = 1 An+l (0, y + 1) = An(O, An+l (0, y))"; 1

Fiir n;;' 3 und x> 0 wird die Behauptung durch Induktion nach n bewiesen:

Induktionsanfang:

A3(X + I, y) =(x + I)Y;;' x Y

Induktionsschritt: Beweis durch Induktion nach y

An

A n +1(x+ l,y+ 1)=A n (x+ I,A n + 1 (x+ l,y));;'A n (x+ I,A n (x,y))

;;'An(x,An+l(x,y))=An+l(X,y+ 1)

;

1

+ 1 (x + 1,0) = 1 = An +1 (x, 0)

6. An+l (x, 0) = 1;;' An(x, 0) An+l (x, y + 1) = An(x, An+l (x, y));;. An(x, y)

7. Zunachst werden die beiden Spezialfalle n = 0,1 bewiesen:

Teil3,4

Al (x + I, y + 1) = x + 1 + Y + 1 >

A 2 (x+ l,y+ 1)=(x+ 1)·(y+ 1)=x'y+x+y+ 1 >x+y=AI(x,y)

Fiir den Spezialfall x = 0 gilt:

A 3 (I,y+ 1)= 1 >0=A 2 (O,y)

y = Ao(x, y)

Teil4

An + 1 (I, y +

1) = An(1, An +1 (1, y)) = 1 = An (1, y)

Teil

2

 

;;.

An (0, y)

Teil

5

Dann gilt flir n ;;. 2 und x;;. 1:

An+l(~+ l,y+ 1)=An(x+ I,A n + 1 (x+ l,y));;'A n (x+ I,Y)

Teil3,4

;;. An (x, y)

TeilS

146

Ubung 15. 7:

f(x, 0) = Xi + kl

f(x, y + 1) = f(x, y) + k2 .;;; xi + kl

Ubung 15.8:

+ Y . k2 + k2 = Xi + kl

+ (y + 1) . k2

Nach Obung 8.8 gibt es zu jeder subelementaren Funktion f eine Zahl k':

f(x) = k' + max (2, X)k'

.;;;

k'

+

x k '

fiir x;;;. 2

= x k ' + 1

.;;;

xk'

+ xk' = 2

. x k ' .;;; X . xk'

k

:= k' + I

Ubung 15.9:

Zu zeigen: 1\

k

Es gilt:

Dann gilt:

1\

k

1\

k

V

x

2· (k + 1) .;;; 2k + I

xk <

2 x

(2 k + 1 )k

< i2

k

+ 1

)

(Beweis durch Induktion)

Beweis:

(2(k+2»k+l = 2(k+2).(k+l) = ik+1)·k+2·(k+l) =

.;;;i2k+l)'2(2k+l) = 22.2k+1 =i 2k + 2 )

1<22

(2k+l)k.22(k+1) <i 2k + 1 )'2 2'(k+l)

Ubung 15.10:

Al (x, y) = x + y

A 2 (x, y) = X'y

Schrittzahlfunktion:

SAl (x, y) = 5 (x + y)

SA2 (x, y) = 6y + 5xy

Nach der im Teil3 des Beweises angegebenen Schrittzahlfunktion gilt fiir n;;;' 2:

SA n +l(X,y)=6'y+ 1+2'1

+ L

i< y

(sAn(An+l(X,i),x)+An+l(X,i)+2'An+l(X,i+ 1)+2)

Da die Klasse En + 1 gegen beschrankte Summation abgeschlossen ist und nach Induktionsvoraussetzung

Ubung 15.11:

und damit

liegt auch

in

Sei fEE". Dann gibt es nach Satz 15.2 eine Zahl k mit f(x)';;; An +1(.k, k). Daraus folgt:

L f(XI,

i

~

y

,Xn_l,i)';;;

L

i

~

y

An+l (max(xl,

,Xn _l,i,2),k)';;;y·An + 1 (max(xl,

,Xn _l,y,2),k).

Da k eine feste Zahl und En gegen Einsetzung abgeschlossen ist, folgt, daB En gegen beschrankte Summation abgeschlossen ist.

147

tibung 15.12:

Zunachst eine Abschatzung der Rekursionszahlen der bei der Definition der Folgekonfigurationsfunktion F benutzten Funktionen:

xly E Rei (R3) Pr x E Rei (R4)

Pi ER6

a(i, x) = Pi· x, also a(i, x) E R6

falls Pi1x

 

,also s(i, x) E R6

sonst

exp (i, x) E R7 (Dbung 9.11)

Nach Dbung 15.2 ist schon Rei (R 1) abgeschlossen gegen die Operationen der Aussagenlogik und nach Dbung 15.4 ist schon Rl abgeschlossen gegen Definitionen durch Fallunterscheidung. Also ist F definiert durch Einsetzung von Funktionen aus R7. In die Kompliziertheit der Funktion F geht im Wesentlichen die Kompliziertheit der Dekodierfunktion exp (i, x) ein.

tibung 15.13:

Es werden zunachst durch Induktion nach n zwei Spezialfalle bewiesen:

1. Xn(O, y);;;' 1 2.X n (1,y);;;'1

Beweis 1:

Induktionsanfang:

X 3 (O, y) = 2°· Y = 2° = I

Induktionsschritt: dieser wird durch Induktion nach y bewiesen.

Xn +1 (0, 0) = 1

X n + 1 (0,

y + 1) = Xn(O, Xn + 1 (0, y));;;'1

Beweis 2:

Induktionsanfang:

X 3 (1,y)=2 1 Y ;;;'1

Induktionsschritt: dieser wird durch Induktion nach y bewiesen.

X n

Xn

+ 1 (I, + I (1,

0) = 1 y + 1) = Xn (1, Xn + I (1, y)) ;;;. I

Nach dem Beweis von Dbung 15.6 Teil 5 gilt An (0, y) ~ 1. Nach Dbung 15.6 Teil 2 gilt An (1, y) = 1.

Jetzt wird die Behauptung fUr x;;;. 2 durch Induktion nach n bewiesen:

Induktionsanfang:

148

Dbung 8.6

Induktionsschritt: dieser wird durch Induktion nach y bewiesen:

An+l (x, 0) = 1= X n + 1 (x, 0)

An+l (x,Y + I) =An(x, An+l (x, y))~An(x, X n + 1 (x, y))

~Xn(x, Xn + 1 (x, y)) = X n + 1 (x, y +

I)

Obung 15.6 Teil 4

Ubung 15.14:

Induktion nach n:

Induktionsanfang: Beweis durch Induktion nach k

A4(x, 0) = I

A4(x,

Nach Induktionsvoraussetzung liegt die Funktion A 4 (x, k) in R2; aul~erdem liegt die Funktion A 3 (x, y) in R2 Also ist A4 (x, k + I) durch Einsetzung von Funktionen aus R2 definiert.

Induktionsschritt: Beweis durch Induktion nach k

A n + 3 (x, 0) = I

An +3(x,k+ 1)=An+2(x,An+3(x.k)).

Nach Induktionsvoraussetzung liegt die Funktion An +3 (X, k) in R n +1 ; aut1erdem liegt die Funktion

Xn + 2 (x, y) in R n + 1 . Also ist An +3 (x,

Die konstante Funktion liegt in R2.

k + I) = X 3 (x, A4(x, k))

k

+ I) durch Einsetzung von Funktionen aus R n +1 definiert.

Ubung 16.1:

f sei definiert durch [(x) =

/J.y g(x, y) = O. Dann Hit1t sich f berechnen durch:

y<'z

:::;:: z;

nem

(n + 4) ~0 >-----_~~~~~~-=-~

Ja

149

Wenn im Programm fliI die Funktion g nach Voraussetzung nur beschrlinkte Interationen auftreten, bleibt dies auch bei den Erglinzungen zum Unterprogramm erhalten. Da auch beim Subtraktionsprogramm nur beschrlinkte Iterationen verwandt werden, enthlilt dieses Programm nur beschrlinkte Iterationen.

mung IZl:

Fiir (. S. fant die unter dem Zeichen ** stehende Spalte im FlulMiagramm fort. Die Spalte *** wird an die Spalte * entsprechend angekoppelt. In den Spalten * und *** steht beim Zeichen 0 nur zweimal der

Elementarbefehl I (1) : = (I) + 1

Fiir (3 S3 ist zu entscheiden, ob 51 (x, y, z):

In Spalte *, **, *** steht beim Zeichen 0 jetzt flinfmal der Elementarbefehl I (1) : = (1) + 1 I.

Zwischen die beiden Spalten ** und *** werden zwei weitere Spalten eingeschoben, die fliI die beiden Flille

(x,y,

(x, y,

150

z)"!'

[

(x, y, z)]

--5-

. [(X,y,Z)]

--5 -

z)-

(j) = 0

ja

nein

. 5 =3 und

. 5 = 4 die Rechnung riickglingig machen:

(I) = 0

ja

(2) = 0

nein

nein

nein

Ubung 17.2:

Eine Konfigurationszahl k bei der Godelisierung von Programmtafeln enthalte die folgende Informationen:

(k). : Nummer der gerade bearbeiteten Programmzeile (kh: G6delnummer der Programmtafel (kh: Godelnummer aller Registerinhalte Eine Folgekonfigurationsfunktion sei analog der fill RM mit Programmworten definiert. Wir beweisen die Behauptung indirekt und nehmen an, daB flir Xo und to gilt:

(K(p, (xo>, to)h. >xo + Po·

Da sich der Registerinhalt bei jedem Schritt nur urn h6chstens 1 vergr6Bern kann, gibt es mindestens eine Programmzeile p~ und Zahlen

t., t2 .;; to mit

(K(p, (xo), t.». = (K(p, (xo>, t 2 ». = p~ J\(K(p, (x o >, t')h. > 0

/\

/\

(K(p, (xo), t 2)h. >(K(p, (x o >, t.)h.

A.

(K (p, (xo>, t. + Db >

O.

j

.;; t2 - t.

Dann gilt auch

A. ((K (p, (xo>, t. + j)). = (K (p, (xo>, t2 + j)). /\ (K (p,

j .;; t2 -t.

(xo>, t2 + j))3. > 0)

Also ist auch (K(p, (xo>, t2 + t2 - t .)h. > (K(p, (xo>, t 2)h •. Die Foige der Werte (K(p, (xo>, t. + n . (t2 - t.)))3. ist also nicht beschrankt. Das bedeutet insbesondere, daB die RM nicht stoppt, im Widerspruch zur Voraus- setzung.

Ubung 17.3:

Wir betrachten folgendes Protokoll der Rechnung der RM:

(K(p, (x>, 0».

(K(p, (x>, O)h.

(K(p, (x>, I».

(K (p, (x>, I)h.

In der linken Spalte stehen die Nummern der aufgerufenen Programmzeilen. Dort k6nnen h6chstens Po ver· schiedene Zahlen stehen. In der rechten Spalte stehen die Registerinhalte. Dort konnen bis zum Stop der RM hochstens x + Po ver- schiedene Zahlen stehen. Insgesamt k6nnen in dieser Liste hochstens Po· (x + Po) verschiedene Paare stehen. Durch das Paar aus Pro- grammzeilennummer und Registerinhalt ist die Folgekonfiguration, d. h. die Rechnung der RM, eindeutig be- stimmt. Kommt also unter den ersten Po . (x + Po) Paaren ein Paar mindestens zweimal vor, so kommt es beliebig oft vor, d. h. die RM stoppt nicht.

Ubung 17.4:

Das Programmwort mit der Godelnummer p habe Po Buchstaben. Der Beweis von Satz 17.2 zeigt, daB die Registerinhaite auch wahrend der Rechnung durch die angegebenen Schranken beschrankt sind. Wir k6nnen deshalb die OberJegungen der Obung 17.3 auf die Tripel

(K(p, (x., X2>' t»).

iibertragen. Eine grobe Abschatzung der Anzahl der moglichen verschiedenen Registerinhalte nach dem Beweis von Satz 17.2 ergibt pgo. (x. + X2 + I).

Es kann also hochstens Po . p~po·(x. + X2 + 1)2 verschiedene Tripel geben. Also muB die RM nach spatestens soviel Schritten entweder ein Tripel doppelt annehmen oder stoppen.

(K(p, (x., X2>' t)h.

(K(p, (x., X2>' t»32

151

Ubung 18.1:

W'=ooW

Ubung 18.2:

Sei A Anfangswort von W. Dann gibt es ein Wort U, so daB gilt: W,= AU. Dann liiBt sich W auch schreiben

als 0 AU.

Ubung 18.3:

reflexiv:

A

ist Anfangswort von A, da A '= Ao .

transitiv:

Gelte A Anfangswort von B und B Anfangswort von C, also B'= AU, C '= BV mit passenden Worten U, V.

Dann gilt: C '= AUV.

 

identitiv:

A

sei Anfangswort von B und B Anfangswort von A, also B '= AU und A'= BV mit

 

passenden Worten U, V. Dann gilt: A '= AUV. Die Worte A und AUV mlissen die gleiche Lange haben, also mlissen U und V das leere Wort sein. Es folgt A '= B.

Ubung 18.4:

reflexiv:

T

ist Teilwort von T, da T'= 0 To.

transitiv:

Sei T I Teilwort von T 2 und T 2 Teilwort von T 3, also T 2 '= U I T I V lund T 3'= U 2 T2 V2 mit passenden Worten UI, V" U2 , V 2 .

Danngilt: T3 '= U 2 U I T I VI

V 2 .

 

identitiv:

T

I sei Teilwort von T 2 und T 2 Teilwort

von T I, also T 2 '= U I T I V lund T I '= U2 T 2 V 2

mit

passenden Worten U" VI, U2 , V 2 . Dann

gilt: T 1'= U 2 U IT I V I V 2 Da

TI und U2 U ITI V I V 2

gleiche Lange haben, folgt, daB die Lange Worte UI, VI, U 2 , V 2 das leere Wort und

des Wortes U 2 UIVI V2 Null damit TI '= T 2 .

ist. Also sind die

Ubung 18.5:

Wir betrachten die Worte A '= lund B'= II tiber dem Alphabet {I}. Dann ist A Teilwort und Anfangswort von B. B kann aber weder Anfangswort noch Teilwort von A sein, da B mehr Buchstaben als A hat. Haben die Worte A und B gleiche Lange und gilt A ist Teilwort von B, so folgt A '= B und insbesondere B Teilwort von A.

Beweis:

Sei B '= UAV mit passenden Worten U und V. Da A und B gleiche Lange haben, mlissen

U und V die Lange Null haben, sind also das leere Wort.

Ubung 18.6:

Notiert man natiirliche Zahlen als Strichfolgen (Worte tiber dem Alphabet {I}), so entsprechen der "Kleiner- Beziehung" die Relationen "echtes Anfangswort", "echtes Teilwort" und der "Kleiner-Gleich-Beziehung" die Relationen "Anfangswort" und "Teilwort".

Ubung 18. 7:

Wir betrachten z. B. Worte tiber dem Alphabet {*, I}. Dann gilt fliT die beiden Worte * und I weder * ~ I

noch I ~ * und analog weder

* .:l; I noch

I.:l; *.

Behauptung:

Sind bei einem Alphabet A immer zwei Worte tiber A beztiglich der Relation "Teilwort" oder "Anfangswort" vergleichbar, so besteht das Alphabet nUT aus einem Buchstaben.

Beweis:

Annahme, das Alphabet habe mehr als einen Buchstaben. Seien also a, b verschiedene

152

Buchstaben des Alphabets. Wir betrachten die beiden Worte, die nur aus dem Buchstaben

a bzw. b bestehen. Dann muB gelten: 3

Worte U und V tiber A, so daB gilt b'= UaV. Da aber a und b beide die Lange I haben, mtissen U und V das leere Wort sein, also doch b '= a im Widerspruch zur Voraussetzung.

~ b oder b ~ a. Sei o. B. d. A.

a ~ b. Dann gibt es

Ubung 18.8:

Das Zeichenalphabet ist {a, b}, das Variablenalphabet {W}.

Die drei Kalkiilregeln:

0'

W

W

Wa' Wb

Ubung 18. 9:

Das Zeichenalphabet ist {O, 1,2,3,4,5,6,7,8, 9}, das Variablenalphabet {Z}. Die 10 Kalkiilregeln ohne Priimisse sind:

0' I' 2"'"

9

Die 10 Kalkiilregeln mit einer Priimisse sind:

Z

Z

Z

ZO'

ZI"'"

Z9

Durch diesen Kalkiil werden die natiirlichen Zahlen in Dezimalschreibweise einschlieBlich 0 erzeugt, auch Worte der Form 00 oder 007. Will man das nicht, so erhiilt man sehr einfach einen Kalkiil zum Aufschreiben der natiirlichen Zahlen im Dezimalsystem ohne Null, falls man bei den Regeln ohne Priimisse die Regel 0 wegliiBt.

Ubung 18.10:

Wir benotigen einen zusammengesetzten Kalkiil K, der als Teilkalkiil den Kalkiil K, aus Obung 18.9 zur

Erzeugung der natiirlichen Zahlen in Dezimalschreibweise enthiilt. Das Zeichenalphabet ist {O, I,

das Varia bIen alphabet von Kist {Z,

Der Kalkiil K besteht aus folgenden Regelgruppen:

I. Aile Regeln des Kalkiils K,. Fiir die Variable Z diirfen nur Worte eingesetzt werden, die durch K, erzeugt worden sind, also nur Zahlenbezeichnungen.

2. 1st Z in K, ableitbar, so auch in K.

,9, +, . ,),(},

T"

T 2}'

3.

T"

T2

T"

T2

(T, + T 2 )

Fiir die Variablen T, und T 2 diirfen beliebige durch K erzeugte Worte eingesetzt

(T, ·T 2 )

werden.

Wir definieren einen weiteren Kalkiil K', der K enthiilt: Das Alphabet von K' ist {O, 1, Variablenalphabet ist {Z, T" T 2}. Der Kalkiil K' besteht aus allen Regeln des Kalkiils K sowie der folgenden Regel:

T"

T2

,9, +, ',), (, =}, das

~T- T Dabei diirfen flir T 1, T 2 nur Worte eingesetzt werden, die durch K erzeugt sind.

,-

2

Eine Gleichung ist ein Wort, das durch den Kalkiil K' erzeugt ist.

Ubung 19.1:

Induktive Definition von X <l; Y:

X<l;o-X==o

X <l; Wa -

X<l;Wb-X<l;WVX==Wb

X <l; We ~

X <l; W V X == Wa

X <l; W V X == Wc

153

Ubung 19.2:

Annahme es gabe zwei Funktionen fl und f2, die der Rekursionsgleichung geniigen. Wir beweisen durch In- duktion, daB fl = f2.

fl(x,

aj) = kj(x)

= f2(x, aj)

i =

1,2

fl (x,

.p(x»

= hi (x, x, fl(x, x»

= hi (x,

x, f 2 (x, x» = f2(x, .p(x»

fl (x, 1/1(z 10 Z2» = h 2(x, Zl, Z2, fl (x, ZI), fl (x, Z2»

= h,(x, ZI, Z2, f2(x, ZI), f2(x, Z2»

= f2(x,I/I(ZI, Z2»

Ubung 19.3:

Wir definieren A>/J (y,z): = Ay U Az U

{I/I (y, z)}.

1.

Nach Induktionsvoraussetzung ist aj E

Ay , also gilt auch aj E A>/J (y,z)'

2a.

Sei .p(u) E A>/J(y,z)' Wegen P2 ist dann .p(u) E Ay oder .p(u) E A z . Nach Induktionsvoraussetzung fo1gt daraus u E Ay VuE Az . Oaraus fo1gt u E A>/J(y,z).

2b.

Sei I/I{u, v) E A>/J(y,z)'

2bl. 1st u = y /\ v = z, dann gilt nach Induktionsvoraussetzung y E Ay /\ Z E Az , also y E A>/J(y,z) /\ Z E A>/J(Y.z).

2b2.

1st

u

* y V v * z, dann gilt nach P21/1 (u, v) *

.p(y, z). Also gilt 1/1 (u, v) E Ay

V 1/1 (u, v) E Az . Nach

Induktionsvoraussetzung folgt daraus (u E Ay /\ vE Ay) V (u E A z /\ v E A z ). Oaraus folgt

u E A>/J(y,z) /\ v E A>/J(y,z)'

 

3.

Nach Induktionsvoraussetzung gilt I/I(y, z) $ Ay /\ I/I(y, z) $ A z . Nach Induktionsvoraussetzung Teil 2 fo1gt daraus

.p(l/I{y,z»$Ay /\.p(I/I(y,z»$A z /\ I/I{I/I(y,z),v)$Ay /\ 1/I(I/I(y,z),v)$Az

 

/\ 1/1 (v, l/I{y,z»$A y /\ l/I(v,l/I{y,z»)$Az,

 

flir beliebiges v. Mit P2 fo1gt daraus die Behauptung;

4.

Wir defmieren die gesuchte Funktion g>/J (y,z) durch

g>/J(y,z) (x, u) := gy(x, u)

flir

u E Ay

g>/J(y,z)(x,u):=gz(x,u)

fliruEA z

 

g>/J (y,z) (x, 1/1 (y, z»

:= h 2(x, y, z, gy (x, y), gz (x,

Wegen Satz 19.3 ist dies eine korrekte Defmition. Oann gilt Teilbehauptung 4 nach Induktions- voraussetzung, da aj E Ay.

Sa.

Sei .p(u) E A>/J(y,z)' Wegen P2 gilt dann .p(u) E Ay U Az . Sei o. Bd. A

.

.p(u) E Ay . Oann gilt:

g>/J(y,z) (x, .p(u»

= gy(x, .p(u»

 
 

= hl(x, u, gy(x, u»

Induktionsvoraussetzung

= hi (x, u, g>/J(y,z) (x,

Sb 1.

Sei I/I(u, v) E A>/J (y,z) und u = y /\ v = z. Oann gilt:

 

g>/J(y,z) (x, 1/1 (y, z»

= h 2(x,

y, z, gy(x, y), gz(x, z»

 

=

h 2 (x,

y, z, g>/J(y,z) (x, y), g>/J (y,z) (x,

Sb2.

Sei I/I(u, v)EA>/J(Y,z) und u *y V v *z. Wegen P2 gilt dann I/I{u, v) E Ay U A z . Sei o. Bd. A. 1/1 (u, v) E Ay . Oann gilt:

 

g>/J (y,z)

(x, 1/1 (u, v»

=

gy (x,

1/1 (u, v»

 

=

h 2 (x, u, v, gy(x, u), gy(x, v»

Induktionsvoraussetzung

=

h 2(x, u, v, g>/J(y,z) (x, u), g>/J(y,z) (x,

 

154

Ubung 20.1:

Nein.

(TI +(T2 +T3)) =T4

«T2 + (T2 + «T3 + (T 3 + «TI +

T 3)

(T3

T I)

(T I

T 2)

+ Td

+

+ T2)

+ T 2)) = T4

+

~ T4

= T4

=T4

= T4

T I))

T 3)

Ubung 20.2:

«(x + I)' 2) + x)

=5

(T I . (T2' T3)) = T4

= T4

(T 2'(T 3'Td) =T4

«T2 ·T 3) 'Td

«T3'T I)'T 2) =T4

(T 3' (T I' T2)) = T4

«T I 'T 2)'T 3)

=T4

6

4

6

4

6

bzw. 7

bzw. 5

bzw. 7

bzw. 5

bzw. 7

«x+I)'2)

 

= (5 -

x)

2.

(2'(x+l»

= (5 -

x)

7.

«2'

x)

+ (2 . I))

= (5 -

x)

8.

«2'

I)

+

(2 . x»

= (5 -

x)

6.

(2' I)

 

=«5 -x)-(2 . x))

2.

 

(I

. 2)

=«5 -x)- (2'x))

7.

 

2

«5

= -x) -(2 . x))

12.

(2 + (2 . x»

 

= (5 -

x)

3.'

«2 + (2 . x)) + x)

=5

 

3.'

 

(x

+ (2

+

(2 . x)))

= 5

6.

x

= (5

-

(2

+ (2· x)))

2.

(I

. x)

= (5 -(2

= 5

«(1

«2+(2·x))+(I·x)) =5

. x) + (2 + (2 . x)))

+ (2 . x)))

(2 + «2

·x) + (I

+ (I

.x)))

. x)) + 2)

= 5

«(2' x)

= 5

«2·

x)

+

+

(I . x))

= (5 -

2)

«2,

x)

(I . x))

=3

(3· x)

=3

Die neuen Regeln:

TO:

«X I ·x)+(X 2·x))=T I (XIX 2 ·x) = TI

12:

Ubung 20.3:

«(5 . x) -

(3 . x» + (2 . (x -

«5, x) -

«5-3)'x)

(3· x)

I))) = 6

=(6-(2'(x-l)))

=(6-(2'(x-I)))

(2' x)

 

=

(6 -(2 '(x-I)))

«2' x) + (2 . (x -

I)))

=6

(2 '(x -I)) + (2 'x»

 

=6

(2'(x-l))

=(6-(2'x))

«2' x) - (2,

I))

=

(6 -(2 . x))

«(2'

x)

-

(2

. I))

+ (2 . x))

=6

«(2'

x)

+ (2 . x)) -

(2' I»

=6

«2' x) + (2 . x))

=(6+(2'1))

 

(4· x)

 

=(6+(2'1))

(6+(2'1))

= (4, x)

12. neue Regel

3.'

6.

4.

6.

2.

II.' wiederholt

TO. neue Regel

2.

13.neu

14. neu

3.'

6.

2.

15.neu

3.'

16.neu

3.

10.

1.

155

«2 ·1) + 6)

=(4·x)

6.