Induktives Denieren 4. Induktives Denieren - Themenubersicht Induktives Denieren Nat urliche Zahlen Operationen auf nat urlichen Zahlen Induktive Algorithmen Induktiv denierte Mengen Binarbaume Boolesche Terme Syntaktische Substitution Prof. Dr. Bernhard Steen Mathematik f ur Informatiker 1 - 2013 108 / 140
33
Embed
Induktives De nieren 4. Induktives De nieren - Themenub ...ls5- · Induktives De nieren 4.1 Naturliche Zahlen Existenz und Eindeutigkeit des Vorg angers Lemma 4.1 Jede von 0 verschiedene
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Induktives Definieren
4. Induktives Definieren - Themenubersicht
Induktives Definieren
Naturliche Zahlen
Operationen auf naturlichen Zahlen
Induktive Algorithmen
Induktiv definierte Mengen
Binarbaume
Boolesche Terme
Syntaktische Substitution
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 108 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Naturliche Zahlen
Definition 4.1 (Peano-Axiome) (4.1)
P1 0 ist eine naturliche Zahl: 0 ∈ N.
P2 Jede naturliche Zahl n besitzt eine eindeutig bestimmte naturlicheZahl s(n) als Nachfolger:
∀ n ∈ N. ∃m ∈ N. m = s(n)
P3 0 ist nicht Nachfolger einer naturlichen Zahl:
@ n ∈ N. 0 = s(n)
P4 Verschiedene naturliche Zahlen haben verschiedene Nachfolger:
∀m, n ∈ N. n 6= m ⇒ s(n) 6= s(m)
P5 Induktionsaxiom: Ist M ⊆ N mit 0 ∈ M und der Eigenschaft, dass ausn ∈ M auch s(n) ∈ M folgt, so muss M = N gelten.(∀M ⊆ N. 0 ∈ M ∧ ∀ n ∈ N. n ∈ M ⇒ s(n) ∈ M
)⇒
(M = N
)Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 109 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Existenz und Eindeutigkeit des Vorgangers
Lemma 4.1
Jede von 0 verschiedene naturliche Zahl n ist Nachfolger einer eindeutigbestimmten anderen naturlichen Zahl. Diese wird auch als Vorganger vonn bezeichnet.
Beweis
Sei n ∈ N von 0 verschieden. Zunachst zeigen wir, dass n Nachfolger einernaturlichen Zahl m ∈ N ist bzw. in der Menge M ′ liegt, die definiert istdurch:
M ′ =df {s(m) | m ∈ N}.
Sei weiter M ⇔df M ′ ∪ {0}. Wegen (P2) impliziert m ∈ M auchs(m) ∈ M. Damit liegen die Voraussetzungen des Induktionsaktioms (P5)vor und es folgt M = N. Wegen (P3) gilt außerdem M ′ = N\{0}. Somitgilt n ∈ M ′. Die Eindeutigkeit des Vorgangers folgt direkt aus Axiom (P4).
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 110 / 140
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 112 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Operationen auf naturlichen Zahlen
Definition (Induktiv fortgesetzte Summen und Produkte)
k∑i=1
ni =df
0 falls k = 0
(k−1∑i=1
ni ) + nk sonst
k∏i=1
ni =df
1 falls k = 0
(k−1∏i=1
ni ) · nk sonst
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 113 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Operationen auf naturlichen Zahlen
Definition 4.1 (Fakultat und Potenzen) (Beispiel 4.1)
n! =df
n∏i=1
i = (. . . (1 · 2) . . .) · n)
mn =df
n∏i=1
m = (. . . (m ·m) . . .) ·m)︸ ︷︷ ︸n mal
.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 114 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Operationen auf naturlichen Zahlen
Lemma 4.2
Fur alle n ∈ N gilt: n + 1 = s(n).
Beweis (1/2)
Wir definieren die zu der obigen Gleichheit gehorige Menge M durch:
M =df {n ∈ N | n + 1 = s(n)}.
Offensichtlich gilt 0 ∈ M, denn:
0 + 1 = 0 + s(0)(Def . 4.2.a)
= s(0).
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 115 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Operationen auf naturlichen Zahlen
Lemma 4.2
Fur alle n ∈ N gilt: n + 1 = s(n).
Beweis (2/2)
Fur n ∈ M folgt weiter auch s(n) ∈ M, denn:
s(n) + 1(Def . 4.2.b)
= s(n + 1)(n∈M)
= s(s(n)).
Also folgt M = N mit dem Induktionsaxiom (P5), womit die Aussagebewiesen ist.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 116 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Turme von Hanoi
Fur n = 0 ist nichts zu tun.
Fur n > 0
Verschiebe n − 1 Scheiben von Stapel A nach B, wobei C alsHilfsstapel dient.Verschiebe die n-te Scheibe von Stapel A nach C .Verschiebe n − 1 Scheiben von Stapel B nach C , wobei A alsHilfsstapel dient.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 117 / 140
Induktives Definieren 4.1 Naturliche Zahlen
Induktiv strukturierte Mengen
Definition 4.4 (4.4)
Sei
1 A eine Menge elementarer oder atomarer Bausteine und
2 O eine Menge von Operatoren (oder Konstruktoren) mit zugehorigenStelligkeiten k ≥ 1, die es erlauben, kleinere Bausteine zu grosserenEinheiten zusammenzusetzen.
Die durch A und O induktiv beschriebene Menge M ist die kleinsteMenge, fur die gilt:
1 A ⊆ M und
2 Ist o ein Operator der Stelligkeit k und sind m1, . . . ,mk ∈ M, so istauch o(m1, . . . ,mk) ∈ M.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 118 / 140
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 123 / 140
Darstellung und deren Bedeutung
5. Darstellung und deren Bedeutung - Ubersicht
Darstellung und deren Bedeutung
Zeichreihen
Semantikschemata
Backus-Naur-Form
Induktive Semantikschemata
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 124 / 140
Darstellung und deren Bedeutung
Reprasentation
Reprasentanten der naturlichen Zahl ”‘vier”’:
Dezimal: 4
Binar: 100
Unar: ||||Romisch: IV
Umgekehrt: Unterschiedliche Interpretation der Reprasentation ”‘IV”’:
Romische Zahl
Akronym (Individualverkehr, Intravenos,..)
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 125 / 140
Darstellung und deren Bedeutung 5.1 Zeichenreihen
Zeichenreihen
Definition 5.1 (4.7)
Sei A eine endliche Menge von Zeichen (auch Alphabet genannt). EineZeichenreihe (auch Wort) w der Lange n ∈ N uber A ist eine Funktionw : {1, . . . , n} → A. Fur n = 0 ist {1, . . . , n} leer. Man bezeichnet dieZeichenreihe als das leere Wort ε.
Die Menge aller Zeichenreihen uber A mit Lange n wird mit An bezeichnet(A0 = {ε}).
Kleenesche Hulle A∗ von A:
A∗ =df
⋃n∈N
An.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 126 / 140
Darstellung und deren Bedeutung 5.1 Zeichenreihen
Zeichenreihen
Definition 5.2 (4.8)
Seien w1 und w2 Zeichenreihen der Lange n und m uber A. Dann ist dieKonkatenation von w1 und w2 definiert durch:w1 w2 : {1, . . . , n + m} → A
w1 w2(i) =
{w1(i) falls 1 ≤ i ≤ nw2(i − n) falls n + 1 ≤ i ≤ n + m
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 127 / 140
Darstellung und deren Bedeutung 5.2 Semantikschemata
Semantikschemata
Definition 5.3 (4.9)
Ein Semantikschema ist ein Tripel (R, I, [[ · ]]) mit
R: Menge der Reprasentationen,
I: Menge der Informationen,
[[ · ]] ⊆ R× I: Semantikrelation oder Interpretation.
Statt [[ · ]](r) schreibt man [[ r ]].
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 128 / 140
Darstellung und deren Bedeutung 5.2 Semantikschemata
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 132 / 140
Darstellung und deren Bedeutung 5.3 Backus-Naur-Form
Backus-Naur-Form
Definition (BNF)
BNF besteht aus endlich vielen Regeln der Form
<N> ::= w .
Linke Regelseite: Nichtterminalsymbol
Rechte Regelseite: Zeichenreihe (ggf. auch leer), die sowohlNichtteminalsymbole als auch Terminalsymbole enthalten kann.
Notation: Statt
<N> ::= w1
. . .
<N> ::= wn
schreibt man kurz<N> ::= w1 | . . . | wn
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 133 / 140
Darstellung und deren Bedeutung 5.3 Backus-Naur-Form
Beispiel zur Backus-Naur-Form
Beispiel 5.8 (BNF fur naturliche Zahlen)
Die naturlichen Zahlen sind durch die folgende BNF definiert:
<Nat> ::= 0 | s(<Nat>)
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 134 / 140
Darstellung und deren Bedeutung 5.3 Backus-Naur-Form
BNF als Generator
Definition (Ableitungsrelation)
Seien T die Terminalzeichen, N die Nichtterminalzeichen und R die Regelneiner BNF, so ist die Ableitungsrelation ⇒ ⊆ (N ∪ T)∗ × (N ∪ T)∗ wiefolgt definiert:
w ⇒ w ′ ⇔df
∃w1,w2 ∈ (N ∪ T)∗, A ::= w ∈ R. w = w1 Aw2 ∧ w ′ = w1 w w2
⇒k : Ableitungsfolge in k Schritten (k ∈ N)
⇒∗ =df⋃k∈N⇒k : Beliebige Ableitungsfolge
Von Nichtterminal A erzeugte Sprache:
L(A) =df {w ∈ T∗ | A⇒∗ w}.
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 135 / 140
Darstellung und deren Bedeutung 5.3 Backus-Naur-Form
BNF als Generator
Beispiel (Ableitungsfolge)
<Nat> ⇒ s(<Nat>)
⇒ s(s(<Nat>))
⇒ s(s(s(<Nat>)))
⇒ s(s(s(0)))
Prof. Dr. Bernhard Steffen Mathematik fur Informatiker 1 - 2013 136 / 140
Darstellung und deren Bedeutung 5.3 Backus-Naur-Form