Was bisher geschah. Modellierung von Aussagen durch Aussagenlogik

(1)

Was bisher geschah

Modellierung vonAussagendurch

Aussagenlogik I Syntax: Junktoren, Aussagenvariablen, Formelbaum

I Semantik: Belegungen, WW-Tabellen Pr¨adikatenlogik Syntax (Quantoren, Individuenvariablen)

Modellierung vonDatendurch

Mengen I extensionale und intensionale Darstellung

I M¨achtigkeiten von (endlichen) Mengen|M|

I Beziehungen zwischen Mengen ⊆,=,⊂

I leere Menge ∅

I Potenzmenge 2^M

I Mengen-Operationen∪,∩, ,\,∆, Produkt×, iterierte Produkte ⁿ, ^∗

93

(2)

Folgen

Folgen (Listen, W¨ orter) werden definiert:

extensional durch Angabe der Elemente und ihrer Reihenfolge Beispiele: 3210, [1, 4, 9, 16, 25], abababababa

intensional durch Angabe einer Eigenschaft, die f¨ ur jeden Index i das i-te Element eindeutig bestimmt.

Beispiele: (4 − i )

1≤i≤4

, (i

²

)

i∈{1,...,5}

,

(w

i

)

0≤i≤10

mit w

i

=

a falls i ∈ 2

Z

b sonst

(v

_i

)

i∈N

mit v

_i

=

a falls i ∈ 2

Z

b sonst

(i

²

)

i∈N

= [0, 1, 4, 9, . . .], (3)

_k∈_N

= [3, 3, 3, 3, . . .]

L¨ ange der Folge (a

n

)

n∈I

:

Anzahl der Elemente (= M¨ achtigkeit der Indexmenge I ⊆

N

)

94

(3)

Modellierung durch Folgen

Beispiel W¨ urfelfolgen:

I

Menge der m¨ oglichen Werte (Augenzahlen): {1, 2, . . . , 6}, z.B. 3 ∈ {1, 2, . . . , 6}

I

Menge aller Folgen von Werten bei viermaligem W¨ urfeln (nacheinander): {1, 2, . . . , 6}

⁴

,

z.B. [3, 6, 5, 3] ∈ {1, 2, . . . , 6}

⁴

I

Menge aller Folgen von Werten beim W¨ urfeln beliebig oft nacheinander: {1, 2, . . . , 6}

^∗

,

z.B. [3, 2, 2, 5, 1] ∈ {1, 2, . . . , 6}

^∗

, ε ∈ {1, 2, . . . , 6}

^∗

95

(4)

Modellierung durch Mengen und Folgen

I Menge aller Skatkarten:

S ={♦,♥,♠,♣} ×({7,8,9,10} ∪ {B,D,K,A})

I Folgealler Unter (B) nach Wert aufsteigend geordnet [(♣,B),(♠,B),(♥,B),(♦,B)]∈S⁴

I Folgealler Karten der Farbe ♠nach Wert (Nullspiel) aufsteigend geordnet

[(♠,7),(♠,8),(♠,9),(♠,10),(♠,B),(♠,D),(♠,K),(♠,A)]∈S⁸

I Mengealler M¨oglichkeiten der (zwei) Karten im Skat:

{{h,k} |h∈K∧k ∈K ∧h6=k} ⊆2^S (Warum nicht⊆S²? )

I Blatt =Mengealler Karten auf der Hand (zu Beginn des Spieles) B ∈2^S mit|B|= 10 (10 verschiedene Karten)

I Kartenf¨acher (zu Beginn des Spieles):Folge (k1, . . . ,k10)∈S¹⁰ mit

|{k1, . . . ,k10}|= 10 (alle Karten verschieden), z.B.

[(♠,B),(♥,B),(♦,A),(♦,9),(♣,A),(♣,K),(♣,9),(♥,10),(♥,8),(♥,7)]

I Stich:Folgevon drei nacheinander gelegten Karten (geordnetes Tripel) (k1,k2,k3)∈S³mit|{k1, . . . ,k3}|= 3

I Spiel: Folge der (w¨ahrend des Spiels gefallenen) Stiche∈ S³10

96

(5)

Zusammenh¨ ange Folgen – Mengen

Folge (a

_n

)

n∈I

gegeben

I

Menge {a

_n

| n ∈ I } der Elemente der Folge (a

n

)

n∈I

(eindeutig)

I Folge [1,4,9,16], Menge der Elemente{1,4,9,16}

I Folge [a,a,a, . . .], Menge der Elemente{a}

(Folge l¨ asst sich nicht eindeutig rekonstruieren.)

I

Menge der Anfangsst¨ ucke der Folge (eindeutig) Beispiel: (2

ⁿ

)

n∈N

, Menge {[1], [1, 2], [1, 2, 4], . . .}

(Folge l¨ asst sich eindeutig rekonstruieren.) Menge A gegeben

I

Folgen (a

n

)

n∈I

durch Mengen definiert (A

^∗

, A

^ω

)

I

beliebige Anordnung der Elemente einer Menge zu Folgen (i.A. nicht eindeutig, mehrere M¨ oglichkeiten), z.B.

I M={a,b,c,d}, Folgen [a,b,c,d],[b,d,b,c,d,a]

I M=N, Folgen [0,1,2, . . .] , [0,2,4,6,8,1,3,5,7,9,10,12. . .]

I M=Z, Folgen [0,1,−1,2,−2,3,−3, . . .]

[0,1,2,3,−3,−2,−1,4,5, . . .]

97

(6)

Alphabet, Wort, Sprache

Alphabet (endliche) Menge

A

von Symbolen

Wort endliche Folge von Symbolen

w

=

w1· · ·wn

mit

∀i ∈ {1, . . . , n} : w

i

∈ A

L¨ ange eines Wortes

|w|

= Anzahl der Symbole in w Anzahl der Vorkommen eines Symboles in einem Wort

|w|_a

= Anzahl der a in w (f¨ ur a ∈ A) Sprache Menge von W¨ ortern

L

⊆ A

^∗

98

(7)

W¨ orter – Beispiele

^banane

ist ein Wort (Zeichenkette) mit Symbolen aus der Menge{a,b,e,n}, nebenundabbbeeeabauch, ananas undab+beanicht

2009

ist ein Wort mit Symbolen aus der Menge{0,2,9},

90und 09020090auch, −2090nicht

(x+y)·(z−x)

ist ein Wort mit Symbolen aus der Menge{x,y,z,(,),+,−,·},

()xz(xy+−auch, x+ 3·z nicht

(¬p∧p)→q

ist ein Wort mit Symbolen aus der Menge{p,q,∧,¬,→,(,)},

q→(p→q)und∧)(¬p∧auch, p↔q nicht otto holt obst .

ist ein Wort mit Symbolen aus der Menge{otto,obst,holt,.},

.otto. . ottoauch, los otto nicht

99

(8)

Verkettung von W¨ ortern (Folgen)

Verkettung

◦

von W¨ ortern:

F¨ ur alle W¨ orter u = u

₁

· · · u

_m

∈ A

^∗

, v = v

₁

· · · v

_n

∈ A

^∗

gilt u ◦ v = u

₁

· · · u

_m

v

₁

· · · v

_n

Beispiel: anne ◦ marie = annemarie Eigenschaften der Operation ◦:

I

◦ ist assoziativ, d.h.

∀u ∈ A

^∗

∀v ∈ A

^∗

∀w ∈ A

^∗

((u ◦ v) ◦ w = u ◦ (v ◦ w ))

I

Das leere Wort ε ist neutrales Element f¨ ur ◦, d.h.

∀w ∈ A

^∗

(ε ◦ w = w ◦ ε = w )

I

◦ ist nicht kommutativ.

Gegenbeispiel: u = marie, v = anne u ◦ v = marieanne

6=

annemarie = v ◦ u

100

(9)

Beziehungen zwischen W¨ ortern (Folgen)

Pr¨ afix (Anfangswort)

v

∀u ∈ A

^∗

∀v ∈ A

^∗

((u

v

v) ↔ (∃w ∈ A

^∗

(u ◦ w = v))) (F¨ ur zwei W¨ orter u ∈ A

^∗

, v ∈ A

^∗

gilt u v v genau dann, wenn ein Wort w ∈ A

^∗

existiert, so dass u ◦ w = v gilt.) Beispiele:

I

an v anna (mit w = na)

I

n 6v anna

I

tom v tomate (mit w = ate)

I

oma 6v tomate

I

f¨ ur jedes Wort u ∈ A

^∗

gilt ε v u (mit w = u)

I

f¨ ur jedes Wort u ∈ A

^∗

gilt u v u (mit w = ε)

(analog zur Teiler-Beziehung zwischen nat¨ urlichen Zahlen)

101

(10)

Postfix- und Infix-Beziehung auf W¨ ortern (Folgen)

Postfix-Beziehung:

∀u∈A^∗∀v∈A^∗ (Postfix(u,v)↔(∃w ∈A^∗ (w ◦u=v)))

F¨ur zwei W¨orteru=u1· · ·um∈A^∗,v =v1· · ·vn∈A^∗ heißtu genau dannPostfix(Suffix) vonv, wenn ein Wortw ∈A^∗ existiert, so dass w◦u=v gilt.

Beispiel:entenist Postfix von studenten(mitw =stud) Infix-Beziehung (Teilwort, Faktor):

∀u∈A^∗ ∀v ∈A^∗ (Infix(u,v)↔(∃w ∈A^∗∃w⁰∈A^∗ (w◦u◦w⁰ =v)))

Für zwei Wörteru=u₁· · ·u_m∈A^∗,v =v₁· · ·v_n∈A^∗ heißtu genau dannInfixvonv, wenn zwei Wörterw,w⁰∈A^∗ existieren, so dass w◦u◦w⁰=v gilt.

Beispiel:uwe ist Infix vonsauwetter (mitw =sa,w⁰ =tter) satt ist kein Infix vonsauwetter

102

(11)

Beispiele f¨ ur Sprachen

I Menge aller englischen W¨orterL₁⊂ {a, . . . ,z}^∗

I Menge aller deutschen WörterL2⊂ {a, . . . ,z,ß,ä,ö,ü}^∗

I Menge aller m¨oglichen DNAL₃⊆ {A,T,G,C}^∗

I Menge aller nat¨urlichen Zahlen in Dezimaldarstellung L4={0, . . . ,9}^∗ (evtl. mit f¨uhrenden Nullen)

I Menge aller natürlichen Zahlen in Binärdarstellung (Bitfolgen beliebiger Länge)L5={0,1}^∗

I Menge aller aussagenlogischen Formeln in AL({p,q,r}) L₆⊂ {p,q,r,t,f,¬,∨,∧,→,↔,(,)},

I Menge aller arithmetischen Ausdr¨ucke ¨uberZ(ohne Variablen) L7⊂ {0, . . . ,9,+,·,−,/,(,)},

I Menge aller deutschen S¨atzeL8⊂(L2∪ {.,,,!,?,(,),−})^∗ Wie lassen sich unendliche Sprachenendlichdarstellen?

(Voraussetzung f¨ur maschinelle Verarbeitung)

verschiedene Darstellungen in den LV zur theoretischen Informatik z.B. Automaten und formale Sprachen im 3. Semester (INB)

103