Diskrete Mathematik. Arne Dür Kurt Girstmair Simon Legner Georg Moser Harald Zankl
|
|
- Berthold Peters
- vor 6 Jahren
- Abrufe
Transkript
1 OLC mputational gic Diskrete Mathematik Arne Dür Kurt Girstmair Simon Legner Georg Moser Harald Zankl Fakultät für Mathematik, Informatik und UIBK Sommersemester 2011 GM (MIP) Diskrete Mathematik 1/111
2 Zusammenfassung der letzten LV Zusammenfassung der letzten LV Satz die folgenden Mengen sind gleich: die Menge der durch RA beschriebenen Sprachen die Menge der von DEA akzeptierten Sprachen die Menge der von NEA akzeptierten Sprachen die Menge der von ɛ-nea akzeptierten Sprachen Satz ➀ sei A ein beliebiger DEA, dann regulären Ausdruck R, sodass L(A) = L(R) Satz ➁ sei R ein beliebiger RA, dann ɛ-nea E, sodass L(R) = L(E) GM (MIP) Diskrete Mathematik 70/111
3 Zusammenfassung der letzten LV Definition definiere R (k) ij induktiv Basis k = 0 1 Fall i j: Kanten zwischen i und j keine solche Kante: 2 Fall i=j R (0) ij = eine oder mehrere Kanten (i, a 1, j),..., (i, a l, j): R (0) ij = a a l zusätzlich repräsentiere die Wege der Länge 0 durch das Leerwort ɛ Schritt k > 0 R (k) ij = R (k 1) ij + R (k 1) ik (R (k 1) kk ) R (k 1) kj GM (MIP) Diskrete Mathematik 71/111
4 Zusammenfassung der letzten LV Beispiel betrachte den DEA A: 0 1 q p r GM (MIP) Diskrete Mathematik 72/111
5 Zusammenfassung der letzten LV Beispiel betrachte den DEA A: 0 1 q p r Frage wie lautet der RA R, sodass L(A) = L(R)? Antwort setze R = (ɛ ) 000 Begründung: an der Tafel GM (MIP) Diskrete Mathematik 72/111
6 Übersicht Endliche Automaten Automaten, reguläre Sprachen und Grammatiken, (nicht)-deterministische endliche Automaten, Teilmengenkonstruktion, ɛ-neas, Umwandlung endlicher Automaten in reguläre Ausdrücke, Pumpinglemma, Minimierung Berechenbarkeitstheorie Einführung in die Berechenbarkeitstheorie, Turingmaschinen, Entscheidungsprobleme, Universelle Maschinen und Diagonalisierung, Komplexitätstheorie Einführung in die Komplexitätstheorie, die Klassen P und NP, logarithmisch platzbeschränkte Reduktionen, Speicherplatzkomplexität GM (MIP) Diskrete Mathematik 73/111
7 Übersicht Endliche Automaten Automaten, reguläre Sprachen und Grammatiken, (nicht)-deterministische endliche Automaten, Teilmengenkonstruktion, ɛ-neas, Umwandlung endlicher Automaten in reguläre Ausdrücke, Pumpinglemma, Minimierung Berechenbarkeitstheorie Einführung in die Berechenbarkeitstheorie, Turingmaschinen, Entscheidungsprobleme, Universelle Maschinen und Diagonalisierung, Komplexitätstheorie Einführung in die Komplexitätstheorie, die Klassen P und NP, logarithmisch platzbeschränkte Reduktionen, Speicherplatzkomplexität GM (MIP) Diskrete Mathematik 73/111
8 Abgeschlossenheit Regulärer Sprachen Abgeschlossenheit regulärer Sprachen Satz reguläre Sprachen sind abgeschlossen 1 unter Vereinigung 2 unter Schnitt 3 unter Komplement 4 unter Mengendifferenz 5 unter Abschluss (unter Kleene-Stern) 6... GM (MIP) Diskrete Mathematik 74/111
9 Abgeschlossenheit Regulärer Sprachen Vereinigung Satz reguläre Sprachen sind abgeschlossen unter Vereinigung GM (MIP) Diskrete Mathematik 75/111
10 Abgeschlossenheit Regulärer Sprachen Vereinigung Satz reguläre Sprachen sind abgeschlossen unter Vereinigung Beweis. seien A, B reguläre Sprachen und seien E, F RAs sodass A = L(E), B = L(F ) A B = L(E + F ) GM (MIP) Diskrete Mathematik 75/111
11 Abgeschlossenheit Regulärer Sprachen Vereinigung Satz reguläre Sprachen sind abgeschlossen unter Vereinigung Beweis. seien A, B reguläre Sprachen und seien E, F RAs sodass A = L(E), B = L(F ) A B = L(E + F ) GM (MIP) Diskrete Mathematik 75/111
12 Abgeschlossenheit Regulärer Sprachen Vereinigung Satz reguläre Sprachen sind abgeschlossen unter Vereinigung Beweis. seien A, B reguläre Sprachen und seien E, F RAs sodass A = L(E), B = L(F ) A B = L(E + F ) Beispiel A = {w w {0, 1} endet in 01} B = {w w {0, 1} endet mit 10} E = (0 + 1) 01 F = (0 + 1) 10 GM (MIP) Diskrete Mathematik 75/111
13 Abgeschlossenheit Regulärer Sprachen Vereinigung Satz reguläre Sprachen sind abgeschlossen unter Vereinigung Beweis. seien A, B reguläre Sprachen und seien E, F RAs sodass A = L(E), B = L(F ) A B = L(E + F ) Beispiel A = {w w {0, 1} endet in 01} B = {w w {0, 1} endet mit 10} E = (0 + 1) 01 F = (0 + 1) 10 A B = L((0 + 1) 01 + (0 + 1) 10) = L(((0 + 1) ( )) GM (MIP) Diskrete Mathematik 75/111
14 Abgeschlossenheit Regulärer Sprachen Komplement Definition sei L eine formale Sprache über dem Alphabet Σ das Komplement L von L ist Σ \ L GM (MIP) Diskrete Mathematik 76/111
15 Abgeschlossenheit Regulärer Sprachen Komplement Definition sei L eine formale Sprache über dem Alphabet Σ das Komplement L von L ist Σ \ L Satz reguläre Sprachen sind abgeschlossen unter Komplement GM (MIP) Diskrete Mathematik 76/111
16 Abgeschlossenheit Regulärer Sprachen Komplement Definition sei L eine formale Sprache über dem Alphabet Σ das Komplement L von L ist Σ \ L Satz reguläre Sprachen sind abgeschlossen unter Komplement Beweis. sei L regulär DEA A = (Q, Σ, δ, q 0, F ), sodass L = L(A) L = L(B) B = (Q, Σ, δ, q 0, Q \ F ) GM (MIP) Diskrete Mathematik 76/111
17 Abgeschlossenheit Regulärer Sprachen Komplement Definition sei L eine formale Sprache über dem Alphabet Σ das Komplement L von L ist Σ \ L Satz reguläre Sprachen sind abgeschlossen unter Komplement Beweis. sei L regulär DEA A = (Q, Σ, δ, q 0, F ), sodass L = L(A) L = L(B) B = (Q, Σ, δ, q 0, Q \ F ) GM (MIP) Diskrete Mathematik 76/111
18 Abgeschlossenheit Regulärer Sprachen Beispiel: Abgeschlossenheit unter Komplement L = L((0 + 1) 01) L =??? GM (MIP) Diskrete Mathematik 77/111
19 Abgeschlossenheit Regulärer Sprachen Beispiel: Abgeschlossenheit unter Komplement L = L((0 + 1) 01) L =??? RA NEA (0 + 1) 01 0, GM (MIP) Diskrete Mathematik 77/111
20 Abgeschlossenheit Regulärer Sprachen Beispiel: Abgeschlossenheit unter Komplement L = L((0 + 1) 01) L =??? RA NEA (0 + 1) 01 0, NEA DEA 1 0 (0 + 1) GM (MIP) Diskrete Mathematik 77/111
21 Abgeschlossenheit Regulärer Sprachen Komplement des DEA 1 0 {0, 1} \ L((0 + 1) 01) GM (MIP) Diskrete Mathematik 78/111
22 Abgeschlossenheit Regulärer Sprachen Komplement des DEA 1 0 {0, 1} \ L((0 + 1) 01) DEA RA berechne R (3) 11 = R (2) 11 + R(2) 13 (R(2) 33 ) R (2) 31 und R (3) 12 = R (2) 12 + R(2) 13 (R(2) 33 ) R (2) 32 GM (MIP) Diskrete Mathematik 78/111
23 Abgeschlossenheit Regulärer Sprachen Komplement des DEA 1 0 {0, 1} \ L((0 + 1) 01) DEA RA berechne R (3) 11 = 1 + ( ) und R (3) 12 = R (2) 12 + R(2) 13 (R(2) 33 ) R (2) 32 GM (MIP) Diskrete Mathematik 78/111
24 Abgeschlossenheit Regulärer Sprachen Komplement des DEA 1 0 {0, 1} \ L((0 + 1) 01) DEA RA berechne R (3) 11 = 1 + ( ) und R (3) 12 = ( ) GM (MIP) Diskrete Mathematik 78/111
25 Abgeschlossenheit Regulärer Sprachen Komplement des DEA 1 0 {0, 1} \ L((0 + 1) 01) DEA RA berechne R (3) 11 = 1 + ( ) und R (3) 12 = ( ) somit gilt L = L(1 + ( ) ( ) ) GM (MIP) Diskrete Mathematik 78/111
26 Abgeschlossenheit Regulärer Sprachen Durchschnitt Satz reguläre Sprachen sind unter Schnitt abgeschlossen GM (MIP) Diskrete Mathematik 79/111
27 Abgeschlossenheit Regulärer Sprachen Durchschnitt Satz reguläre Sprachen sind unter Schnitt abgeschlossen Beweis. seien L, M reguläre Sprachen dann gilt L M ist regulär L ist regulär wir wenden das Gesetz von de Morgan an: L M = ( L M) GM (MIP) Diskrete Mathematik 79/111
28 Abgeschlossenheit Regulärer Sprachen Durchschnitt Satz reguläre Sprachen sind unter Schnitt abgeschlossen Beweis. seien L, M reguläre Sprachen dann gilt L M ist regulär L ist regulär wir wenden das Gesetz von de Morgan an: L M = ( L M) GM (MIP) Diskrete Mathematik 79/111
29 Abgeschlossenheit Regulärer Sprachen Durchschnitt (2) Satz reguläre Sprachen sind unter Schnitt abgeschlossen Direkter Beweis. GM (MIP) Diskrete Mathematik 80/111
30 Abgeschlossenheit Regulärer Sprachen Durchschnitt (2) Satz reguläre Sprachen sind unter Schnitt abgeschlossen Direkter Beweis. seien L, M reguläre Sprachen DEA A L = (Q L, Σ, δ L, q L, F L ) sodass L = L(A L ) DEA A M = (Q M, Σ, δ M, q M, F M ) sodass M = L(A M ) GM (MIP) Diskrete Mathematik 80/111
31 Abgeschlossenheit Regulärer Sprachen Durchschnitt (2) Satz reguläre Sprachen sind unter Schnitt abgeschlossen Direkter Beweis. seien L, M reguläre Sprachen DEA A L = (Q L, Σ, δ L, q L, F L ) sodass L = L(A L ) DEA A M = (Q M, Σ, δ M, q M, F M ) sodass M = L(A M ) wir konstruieren den Produktautomaten A = A L A M : A = (Q L Q M, Σ, δ, (q L, q M ), F L F M ) mit δ((p, q), a) = (δ L (p, a), δ M (q, a)) GM (MIP) Diskrete Mathematik 80/111
32 Abgeschlossenheit Regulärer Sprachen Durchschnitt (2) Satz reguläre Sprachen sind unter Schnitt abgeschlossen Direkter Beweis. seien L, M reguläre Sprachen DEA A L = (Q L, Σ, δ L, q L, F L ) sodass L = L(A L ) DEA A M = (Q M, Σ, δ M, q M, F M ) sodass M = L(A M ) wir konstruieren den Produktautomaten A = A L A M : A = (Q L Q M, Σ, δ, (q L, q M ), F L F M ) mit δ((p, q), a) = (δ L (p, a), δ M (q, a)) wir sehen: L(A) = L(A L ) L(A M ) GM (MIP) Diskrete Mathematik 80/111
33 Abgeschlossenheit Regulärer Sprachen Mengendifferenz Satz reguläre Sprachen sind unter Differenz abgeschlossen GM (MIP) Diskrete Mathematik 81/111
34 Abgeschlossenheit Regulärer Sprachen Mengendifferenz Satz reguläre Sprachen sind unter Differenz abgeschlossen Beweis. seien L, M reguläre Sprachen L ist regulär dann gilt L M ist regulär L\M = L M GM (MIP) Diskrete Mathematik 81/111
35 Abgeschlossenheit Regulärer Sprachen Mengendifferenz Satz reguläre Sprachen sind unter Differenz abgeschlossen Beweis. seien L, M reguläre Sprachen L ist regulär dann gilt L M ist regulär L\M = L M GM (MIP) Diskrete Mathematik 81/111
36 Pumpinglemma (Schleifenlemma) Erinnerung: Ausdrucksstärke regulärer Sprachen Beispiel betrachte Sprache L, die aus allen Strings von 1ern besteht, deren Anzahl eine Primzahl ist GM (MIP) Diskrete Mathematik 82/111
37 Pumpinglemma (Schleifenlemma) Erinnerung: Ausdrucksstärke regulärer Sprachen Beispiel betrachte Sprache L, die aus allen Strings von 1ern besteht, deren Anzahl eine Primzahl ist Beispiel <expression> ::= <condition> if <condition> then <expression> fi <expression> <expression> Frage Durch regulären Ausdrücke beschreibbar? GM (MIP) Diskrete Mathematik 82/111
38 Pumpinglemma (Schleifenlemma) Erinnerung: Ausdrucksstärke regulärer Sprachen Beispiel betrachte Sprache L, die aus allen Strings von 1ern besteht, deren Anzahl eine Primzahl ist Beispiel <expression> ::= <condition> if <condition> then <expression> fi <expression> <expression> Frage Durch regulären Ausdrücke beschreibbar? Antwort Nein GM (MIP) Diskrete Mathematik 82/111
39 Pumpinglemma (Schleifenlemma) Wie zeigen wir, dass eine Sprache nicht regulär ist? GM (MIP) Diskrete Mathematik 83/111
40 Pumpinglemma (Schleifenlemma) Wie zeigen wir, dass eine Sprache nicht regulär ist? Beispiel betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } GM (MIP) Diskrete Mathematik 83/111
41 Pumpinglemma (Schleifenlemma) Wie zeigen wir, dass eine Sprache nicht regulär ist? Beispiel betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } angenommen L wäre regulär: DEA A, L(A) = L sei n = Q und m n betrache ( m ) m L: GM (MIP) Diskrete Mathematik 83/111
42 Pumpinglemma (Schleifenlemma) Wie zeigen wir, dass eine Sprache nicht regulär ist? Beispiel betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } angenommen L wäre regulär: DEA A, L(A) = L sei n = Q und m n betrache ( m ) m L: m {}}{{}}{ ((((((((((((((((((((((((((((((((( ))))))))))))))))))))))))))))))))) m GM (MIP) Diskrete Mathematik 83/111
43 Pumpinglemma (Schleifenlemma) Wie zeigen wir, dass eine Sprache nicht regulär ist? Beispiel betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } angenommen L wäre regulär: DEA A, L(A) = L sei n = Q und m n betrache ( m ) m L: m {}}{{}}{ ((((((((((((((((((((((((((((((((( ))))))))))))))))))))))))))))))))) m q 0 q r GM (MIP) Diskrete Mathematik 83/111
44 Pumpinglemma (Schleifenlemma) Beispiel Wie zeigen wir, dass eine Sprache nicht regulär ist? betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } angenommen L wäre regulär: DEA A, L(A) = L sei n = Q und m n betrache ( m ) m L: ((((((((((((((((( (((((((( (((((((())))))))))))))))))))))))))))))))) }{{}}{{}}{{} x y z q 0 p p r GM (MIP) Diskrete Mathematik 83/111
45 Pumpinglemma (Schleifenlemma) Beispiel Wie zeigen wir, dass eine Sprache nicht regulär ist? betrachte die folgende nicht-reguläre Sprache L: L = {( m ) m m 0} = {ɛ, (), (()), ((())), (((()))),... } angenommen L wäre regulär: DEA A, L(A) = L sei n = Q und m n betrache ( m ) m L: ((((((((((((((((( (((((((( (((((((())))))))))))))))))))))))))))))))) }{{}}{{}}{{} x y z q 0 r Teilstring y ɛ, y kann weggelassen oder vervielfacht werden GM (MIP) Diskrete Mathematik 83/111
46 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen GM (MIP) Diskrete Mathematik 84/111
47 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz GM (MIP) Diskrete Mathematik 84/111
48 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache GM (MIP) Diskrete Mathematik 84/111
49 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache 2 dann eine Konstante n GM (MIP) Diskrete Mathematik 84/111
50 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache 2 dann eine Konstante n und Wörter w L, mit l(w) n gilt GM (MIP) Diskrete Mathematik 84/111
51 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache 2 dann eine Konstante n und Wörter w L, mit l(w) n gilt Wörter x, y, z mit w = xyz GM (MIP) Diskrete Mathematik 84/111
52 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache 2 dann eine Konstante n und Wörter w L, mit l(w) n gilt Wörter x, y, z mit wobei y ɛ, l(xy) n w = xyz GM (MIP) Diskrete Mathematik 84/111
53 Pumpinglemma (Schleifenlemma) Pumpinglemma (Schleifenlemma) zunächst zeigen wir einen Abschlusseigenschaft von regulären Sprachen Satz 1 sei L eine reguläre Sprache 2 dann eine Konstante n und Wörter w L, mit l(w) n gilt Wörter x, y, z mit wobei y ɛ, l(xy) n sodass k 0 w = xyz x(y) k z L GM (MIP) Diskrete Mathematik 84/111
54 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) GM (MIP) Diskrete Mathematik 85/111
55 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) obda L unendlich, sonst ist der Satz trivial sei w = a 1 a m m n GM (MIP) Diskrete Mathematik 85/111
56 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) obda L unendlich, sonst ist der Satz trivial sei definiere w = a 1 a m p i = δ(q 0, a 1 a i ) m n GM (MIP) Diskrete Mathematik 85/111
57 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) obda L unendlich, sonst ist der Satz trivial sei definiere w = a 1 a m p i = δ(q 0, a 1 a i ) m n p i ist der Zustand von A nach dem Lesen von i Symbolen von w; beachte p 0 = q 0 GM (MIP) Diskrete Mathematik 85/111
58 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) obda L unendlich, sonst ist der Satz trivial sei definiere w = a 1 a m p i = δ(q 0, a 1 a i ) m n p i ist der Zustand von A nach dem Lesen von i Symbolen von w; beachte p 0 = q 0 betrachte den Weg p 0 p 1 p 2 p n 1 p n GM (MIP) Diskrete Mathematik 85/111
59 Pumpinglemma (Schleifenlemma) Beweis (1). angenommen L ist regulär dann DEA A = (Q, Σ, δ, q 0, F ) mit n Zuständen, sodass L = L(A) obda L unendlich, sonst ist der Satz trivial sei definiere w = a 1 a m p i = δ(q 0, a 1 a i ) m n p i ist der Zustand von A nach dem Lesen von i Symbolen von w; beachte p 0 = q 0 betrachte den Weg p 0 p 1 p 2 p n 1 p n die p i können nicht alle verschieden sein: es gibt nur n Zustände GM (MIP) Diskrete Mathematik 85/111
60 Pumpinglemma (Schleifenlemma) Beweis (2). Indices i, j, sodass p i = p j =: p i < j zerlege w: a 1 a i }{{} x a i+1 a j }{{} y ɛ a j+1 a m }{{} z GM (MIP) Diskrete Mathematik 86/111
61 Pumpinglemma (Schleifenlemma) Beweis (2). Indices i, j, sodass p i = p j =: p i < j zerlege w: a 1 a i }{{} x a i+1 a j }{{} y ɛ a j+1 a m }{{} z y q 0 x p z GM (MIP) Diskrete Mathematik 86/111
62 Pumpinglemma (Schleifenlemma) Beweis (2). Indices i, j, sodass p i = p j =: p i < j zerlege w: a 1 a i }{{} x a i+1 a j }{{} y ɛ a j+1 a m }{{} z y q 0 x p z für all k wird x(y) k z akzeptiert: A durchläuft den Weg von p nach p k-mal GM (MIP) Diskrete Mathematik 86/111
63 Pumpinglemma (Schleifenlemma) Beweis (2). Indices i, j, sodass p i = p j =: p i < j zerlege w: a 1 a i }{{} x a i+1 a j }{{} y ɛ a j+1 a m }{{} z y q 0 x p z für all k wird x(y) k z akzeptiert: A durchläuft den Weg von p nach p k-mal GM (MIP) Diskrete Mathematik 86/111
64 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas GM (MIP) Diskrete Mathematik 87/111
65 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen GM (MIP) Diskrete Mathematik 87/111
66 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen 1 n GM (MIP) Diskrete Mathematik 87/111
67 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen 1 n 2 ein String w L mit l(w) n und GM (MIP) Diskrete Mathematik 87/111
68 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen 1 n 2 ein String w L mit l(w) n und 3 Zerlegung von w in x, y und z mit w = xyz y ɛ, l(xy) n, GM (MIP) Diskrete Mathematik 87/111
69 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen 1 n 2 ein String w L mit l(w) n und 3 Zerlegung von w in x, y und z mit w = xyz y ɛ, l(xy) n, 4 k mit x(y) k z L GM (MIP) Diskrete Mathematik 87/111
70 Pumpinglemma (Schleifenlemma) Kontraposition des Pumpinglemma um zu zeigen, dass eine Sprache nicht regulär ist, verwendet man die Kontraposition des Pumpinglemmas Satz angenommen 1 n 2 ein String w L mit l(w) n und 3 Zerlegung von w in x, y und z mit w = xyz y ɛ, l(xy) n, 4 k mit x(y) k z L dann ist L nicht regulär GM (MIP) Diskrete Mathematik 87/111
Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 3. Endliche Automaten (V) 21.05.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Determinierte endliche Automaten (DEAs) Indeterminierte
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 10 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV Satz Sei G = (V, Σ, R, S) eine kontextfreie
MehrGrundlagen Theoretischer Informatik I SoSe 2011 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de
Grundlagen Theoretischer Informatik I SoSe 2011 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Grundlagen Theoretischer Informatik I Gesamtübersicht Organisatorisches; Einführung Logik
MehrZusammenfassung. Satz. 1 Seien F, G Boolesche Ausdrücke (in den Variablen x 1,..., x n ) 2 Seien f : B n B, g : B n B ihre Booleschen Funktionen
Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 6 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Satz 1 Seien F, G Boolesche Ausdrücke
MehrAutomaten und formale Sprachen: Vorlesungsskript G. Brewka, A. Nittka
Automaten und formale Sprachen: Vorlesungsskript G. Brewka, A. Nittka Literatur: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie,
MehrZusammenfassung. 1 Wir betrachten die folgende Signatur F = {+,,, 0, 1} sodass. 3 Wir betrachten die Gleichungen E. 4 Dann gilt E 1 + x 1
Zusammenfassung Zusammenfassung der letzten LV Einführung in die Theoretische Informatik Woche 7 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 1 Wir betrachten die folgende Signatur
MehrTHEORETISCHE INFORMATIK
THEORETISCHE INFORMATIK Vorlesungsskript Jiří Adámek Institut für Theoretische Informatik Technische Universität Braunschweig Januar 2014 Inhaltsverzeichnis 1 Endliche Automaten 1 1.1 Mathematische Grundbegriffe.......................
MehrEntscheidungsprobleme. Berechenbarkeit und Komplexität Entscheidbarkeit und Unentscheidbarkeit. Die Entscheidbarkeit von Problemen
Berechenbarkeit und Komlexität Entscheidbarkeit und Unentscheidbarkeit Wolfgang Schreiner Wolfgang.Schreiner@risc.uni-linz.ac.at Research Institute for Symbolic Comutation (RISC) Johannes Keler University,
MehrTheoretische Informatik I
Theoretische Informatik I Einheit 2.4 Grammatiken 1. Arbeitsweise 2. Klassifizierung 3. Beziehung zu Automaten Beschreibungsformen für Sprachen Mathematische Mengennotation Prädikate beschreiben Eigenschaften
MehrGrammatiken und die Chomsky-Hierarchie
Grammatiken und die Chomsky-Hierarchie Def.: Eine Grammatik G=(Σ,V,S,R) besteht aus endlichem Alphabet Σ endlicher Variablenmenge V mit V Σ= Startsymbol SєV endlicher Menge R с (V Σ) + x(v Σ)* von Ableitungsregeln
MehrVorlesung Theoretische Informatik
Vorlesung Theoretische Informatik Automaten und Formale Sprachen Hochschule Reutlingen Fakultät für Informatik Masterstudiengang Wirtschaftsinformatik überarbeitet von F. Laux (Stand: 09.06.2010) Sommersemester
MehrTheoretische Informatik 1 + 2
AG Theoretische Grundlagen der KI, Fachbereich Informatik, Universität Bremen Skript zu den Lehrveranstaltungen Theoretische Informatik 1 + 2 Prof. Dr. Carsten Lutz Basierend auf einem Skript von Franz
MehrEinführung. Vorlesungen zur Komplexitätstheorie: Reduktion und Vollständigkeit (3) Vorlesungen zur Komplexitätstheorie. K-Vollständigkeit (1/5)
Einführung 3 Vorlesungen zur Komplexitätstheorie: Reduktion und Vollständigkeit (3) Univ.-Prof. Dr. Christoph Meinel Hasso-Plattner-Institut Universität Potsdam, Deutschland Hatten den Reduktionsbegriff
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/25 Was kann man mit endlichen
MehrReguläre Ausdrücke. Prof.Dr.Christian Wagenknecht mit Beiträgen von Herrn Dr.Michael Hielscher
Reguläre Ausdrücke Prof.Dr.Christian Wagenknecht mit Beiträgen von Herrn Dr.Michael Hielscher Prof.Dr.Chr. Wagenknecht Formale Sprachen und Automaten 1/44 Definition reguläre Ausdrücke für reguläre Sprachen
MehrAutomatentheorie Berechnungsmodell für logische Sprachen
Automatentheorie Berechnungsmodell für logische Sprachen Thorsten Haupt Betreuer: Tim Priesnitz -Proseminar Theorie kommunizierender Systeme SS 24- Prof. Gert Smolka, PS-Lab, Universität des Saarlandes
MehrÜbungsaufgaben und Lösungen. zur Vorlesung. Theoretische Grundlagen der Informatik
UNIVERSITÄT KONSTANZ Theoretische Grundlagen der Informatik SS 3 Fachbereich Informatik & Informationswissenschaft www.inf.uni-konstanz.de/algo/lehre/ss3/theo Dr. Bernd Gärtner, Carola Haid, Jasper Möller,
MehrDeterministische Turing-Maschinen (DTM) F3 03/04 p.46/395
Deterministische Turing-Maschinen (DTM) F3 03/04 p.46/395 Turing-Machine Wir suchen ein Modell zur formalen Definition der Berechenbarkeit von Funktionen und deren Zeit- und Platzbedarf. Verschiedene Modelle
MehrTheoretische Informatik II
Theoretische Informatik II Einheit 4.6 Elementare Berechenbarkeitstheorie II: Unlösbare Probleme 1. Beweistechniken für Unlösbarkeit 2. Wichtige unlösbare Probleme 3. Der Satz von Rice 4. Unentscheidbare
MehrDie Komplexitätsklassen P und NP
Die Komplexitätsklassen P und NP Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen 3. Dezember 2009 Berthold Vöcking, Informatik 1 () Vorlesung Berechenbarkeit und
MehrGrammatiken. Einführung
Einführung Beispiel: Die arithmetischen Ausdrücke über der Variablen a und den Operationen + und können wie folgt definiert werden: a, a + a und a a sind arithmetische Ausdrücke Wenn A und B arithmetische
MehrTheoretische Informatik 2 (WS 2006/07) Automatentheorie und Formale Sprachen / Kontextfreie Sprachen und Kellerautomaten
Inhalt 1 Einführung 2 Automatentheorie und Formale Sprachen Grammatiken Reguläre Sprachen und endliche Automaten Kontextfreie Sprachen und Kellerautomaten Kontextsensitive und Typ 0-Sprachen 3 Berechenbarkeitstheorie
MehrTheoretische Informatik
Theoretische Informatik Einheit 1 Mathematische Methodik 1. Problemlösen 2. Beweistechniken 3. Wichtige Grundbegriffe Methodik des Problemlösens Klärung der Voraussetzungen Welche Begriffe sind zum Verständnis
Mehr4.9 Deterministische Kellerautomaten Wir haben bereits definiert: Ein PDA heißt deterministisch (DPDA), falls
4.9 Deterministische Kellerautomaten Wir haben bereits definiert: Ein PDA heißt deterministisch (DPDA), falls δ(q, a, Z) + δ(q, ɛ, Z) 1 (q, a, Z) Q Σ. Die von einem DPDA, der mit leerem Keller akzeptiert,
MehrFormale Grundlagen der Informatik 1 Kapitel 12 Zusammenfassung
Formale Grundlagen der Informatik 1 Kapitel 12 Zusammenfassung Frank Heitmann heitmann@informatik.uni-hamburg.de 13. Mai 2014 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/17 Überblick Wir hatten
MehrWortproblem für kontextfreie Grammatiken
Wortproblem für kontextfreie Grammatiken G kontextfreie Grammatik. w Σ w L(G)? Wortproblem ist primitiv rekursiv entscheidbar. (schlechte obere Schranke!) Kellerautomat der L(G) akzeptiert Ist dieser effizient?
MehrAutomaten, Formale Sprachen und Berechenbarkeit I. Skript zur Vorlesung im WS 2001/02 an der TU München
Automaten, Formale Sprachen und Berechenbarkeit I Skript zur Vorlesung im WS 2001/02 an der TU München Ekkart Kindler Steffen Manthey Version: 1.30 vom 30. April 2002 ii Redaktioneller Hinweis: Es gibt
MehrDas Briefträgerproblem
Das Briefträgerproblem Paul Tabatabai 30. Dezember 2011 Inhaltsverzeichnis 1 Problemstellung und Modellierung 2 1.1 Problem................................ 2 1.2 Modellierung.............................
MehrFormale Sprachen. Script, Kapitel 4. Grammatiken
Formale Sprachen Grammatiken Script, Kapitel 4 erzeugen Sprachen eingeführt von Chomsky zur Beschreibung natürlicher Sprachen bedeutend für die Syntaxdefinition von Programmiersprachen (Compilerbau) Automaten
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 27 29..24 FAKULTÄT FÜR INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Definition
MehrTheorie der Informatik
Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 Einführung Beispiel: Aussagenlogische Formeln Aus dem Logikteil: Definition (Syntax
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 4 26..25 INSTITUT FÜR THEORETISCHE INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
MehrEndlicher Automat (EA)
Endlicher Automat (EA) siehe auch Formale Grundlagen 3 1 Motivation: Automaten für die Modellierung, Spezifikation und Verifikation verwenden! Definition Ein Endlicher Automat A = (S,I,Σ,T,F) besteht aus
MehrInformatik IC2. Balazs Simon 2005.03.26.
Informatik IC2 Balazs Simon 2005.03.26. Inhaltsverzeichnis 1 Reguläre Sprachen 3 1.1 Reguläre Sprachen und endliche Automaten...................... 3 1.2 Determinisieren.....................................
Mehr185.278 Theoretische Informatik und Logik, VU 4.0 (Teil1: Automaten und Formale Sprachen)
185.278 Theoretische Informatik und Logik, VU 4.0 (Teil1: Automaten und Formale Sprachen) Marion OSWALD (marion@logic.at) unter Mitwirkung von Chris FERMÜLLER, Rudi FREUND, Alexander LEITSCH, Gernot SALZER
MehrZusammenfassung Grundzüge der Informatik 4
Zusammenfassung Grundzüge der Informatik 4 Sommersemester 04 Thorsten Wink 21. September 2004 Version 1.2 Dieses Dokument wurde in L A TEX 2εgeschrieben. Stand: 21. September 2004 Inhaltsverzeichnis 1
MehrSprachen/Grammatiken eine Wiederholung
Sprachen/Grammatiken eine Wiederholung Was sind reguläre Sprachen? Eigenschaften regulärer Sprachen Sprachen Begriffe Symbol: unzerlegbare Grundzeichen Alphabet: endliche Menge von Symbolen Zeichenreihe:
MehrTheoretische Informatik
Theoretische Informatik für die Studiengänge Ingenieur-Informatik berufsbegleitendes Studium Lehramt Informatik (Sekundar- und Berufsschule) http://theo.cs.uni-magdeburg.de/lehre04s/ Lehrbeauftragter:
MehrTheoretische Informatik 2
Theoretische Informatik 2 Johannes Köbler Institut für Informatik Humboldt-Universität zu Berlin WS 2009/10 Entscheidbare und semi-entscheidbare Sprachen Definition Eine NTM M hält bei Eingabe x, falls
MehrGTI. Hannes Diener. 6. Juni - 13. Juni. ENC B-0123, diener@math.uni-siegen.de
GTI Hannes Diener ENC B-0123, diener@math.uni-siegen.de 6. Juni - 13. Juni 1 / 49 Die Turingmaschine war das erste (bzw. zweite) formale Modell der Berechenbarkeit. Sie wurden bereits 1936 (also lange
Mehr1 Vom Problem zum Programm
1 Vom Problem zum Programm Ein Problem besteht darin, aus einer gegebenen Menge von Informationen eine weitere (bisher unbekannte) Information zu bestimmen. 1 Vom Problem zum Programm Ein Algorithmus ist
MehrMächtigkeit von WHILE-Programmen
Mächtigkeit von WHILE-Programmen Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen 26. November 2009 Berthold Vöcking, Informatik 1 () Vorlesung Berechenbarkeit
MehrDer Kurs bestand aus zwei Teilen. Mit welchem Teil wollen Sie anfangen? Ich habe mich für Teil A entschieden.
Mündliche Prüfung in Grundlagen Theoretischer Informatik A + B Prüfer: Prof. Heinemann Dauer: 30 Minuten, 12.09.13 Version: Winter 12/13 und Sommer 13 Der Kurs bestand aus zwei Teilen. Mit welchem Teil
MehrNoethersche und artinsche Ringe
Noethersche und artinsche Ringe Seminar Kommutative Algebra und Varietäten Prof. Dr. K. Wingberg, Dr. J. Gärtner Vortrag 6 Yassin Mousa 05.06.2014 Im Folgenden bezeichne R immer einen kommutativen Ring
MehrModul Formale Sprachen Bachelor Informatik 3. Semester
Modul Formale Sprachen Bachelor Informatik 3. Semester Lehrinhalte: Das Modul führt in die Grundlagen der Automatentheorie sowie der Theorie formaler Sprachen ein. Es vermittelt grundlegende Aussagen und
Mehr1 Einführung 2 1.1 Zwei Beispiele (MIN JOB SCHEDULING und MAXCUT)... 2 1.2 Notationen und Definitionen... 7 1.3 Übungsaufgaben...
Vorwort v I Approximative Algorithmen 1 1 Einführung 2 1.1 Zwei Beispiele (MIN JOB SCHEDULING und MAXCUT).... 2 1.2 Notationen und Definitionen... 7 1.3 Übungsaufgaben..... 18 2 DieKomplexitätsklassen
Mehr4.2.4 Reguläre Grammatiken
4.2.4 Reguläre Grammatiken Eine reguläre Grammatik ist eine kontextfreie Grammatik, deren Produktionsregeln weiter eingeschränkt sind Linksreguläre Grammatik: A w P gilt: w = ε oder w = Ba mit a T und
MehrAlgorithmentheorie. 13 - Maximale Flüsse
Algorithmentheorie 3 - Maximale Flüsse Prof. Dr. S. Albers Prof. Dr. Th. Ottmann . Maximale Flüsse in Netzwerken 5 3 4 7 s 0 5 9 5 9 4 3 4 5 0 3 5 5 t 8 8 Netzwerke und Flüsse N = (V,E,c) gerichtetes Netzwerk
MehrNP-Vollständigkeit. Krautgartner Martin (9920077) Markgraf Waldomir (9921041) Rattensberger Martin (9921846) Rieder Caroline (0020984)
NP-Vollständigkeit Krautgartner Martin (9920077) Markgraf Waldomir (9921041) Rattensberger Martin (9921846) Rieder Caroline (0020984) 0 Übersicht: Einleitung Einteilung in Klassen Die Klassen P und NP
MehrTheoretische Informatik - Zusammenfassung
Theoretische Informatik - Zusammenfassung Dino Wernli, Fabian Hahn 15. März 2009 1 Alphabete, Sprachen, Aufgaben 1.1 Alphabete, Wörter und Sprachen Alphabete Eine endliche, nichtleere Menge Σ heisst Alphabet.
MehrTheoretische Informatik Mitschrift
6. Kontextfreie Sprachen Theoretische Informatik Mitschrift Typ-2-Grammatiken: Regeln der Form A mit A N und N * Beispiel: Grammatik für arithmetische Ausdrücke G= {E,T,F },{,,,,a}, P, E, P : E ET T T
MehrVorlesung Methoden des Software Engineering. Martin Wirsing. Einheit C.3, 9.12.2004
Block C (Formale Methoden): Petrinetze 9.12.04 1 Vorlesung Methoden des Software Engineering Block C Formale Methoden Petrinetze Martin Wirsing Einheit C.3, 9.12.2004 Block C (Formale Methoden): Petrinetze
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2013
Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2013 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Sander Bruggink Automaten und Formale Sprachen 1 Deterministische Kellerautomaten
MehrTheoretische Informatik 2 (WS 2006/07) Automatentheorie und Formale Sprachen 19
Inhalt 1 inführung 2 Automatentheorie und ormale prachen Grammatiken Reguläre prachen und endliche Automaten Kontextfreie prachen und Kellerautomaten Kontextsensitive und yp 0-prachen 3 Berechenbarkeitstheorie
MehrInformatik I. Lutz Donnerhacke lutz@iks-jena.de. PGP:db089309 1c1c 6311 ef09 d819 e029 65be bfb6 c9cb
Informatik I Lutz Donnerhacke lutz@iks-jena.de PGP:db089309 1c1c 6311 ef09 d819 e029 65be bfb6 c9cb 1 Semesterübersicht Grundbegriffe der theoretischen Informatik Übersicht über Funktionen von Betriebsystemen
MehrBeispiel vor dem Beweis:
Beispiel vor dem Beweis: Beispiel vor dem Beweis: A = ¼3 6 2 3 11 2½ Beispiel vor dem Beweis: 2½ 2½ ¼3 6 A = 2 3 11 311 E 12 A = 3 6 Beispiel vor dem Beweis: 2½ 2½ ¼3 6 A = 2 3 11 311 E 12 A = 3 6 3 11
MehrReguläre Sprachen Endliche Automaten
Endliche Automaten (Folie 54, Seite 16 im Skript) Einige Vorteile endlicher deterministischer Automaten: durch Computer schnell simulierbar wenig Speicher benötigt: Tabelle für δ (read-only), aktueller
MehrAufgabentypen die in der Klausur vorkommen
Aufgabentypen die in der Klausur vorkommen können 1. Nennen Sie fünf wichtige Anwendungsgebiete der Computerlinguistik. 2. Für welches der drei Anwendungsgebiete Maschinelle Übersetzung, Rechtschreibkorrektur
Mehr9/1"2$/"#6#,-./0/12#-.3'S3(&"E3' A303;7"B'13#-.03-.%3*?(72*3*'A3-.%##6*7-.3' dem/der Kandidat/in seine/ ihre Stimme geben :
dem/der Kandidat/in seine/ ihre Stimme geben : Zum vermeintlichen Konflikt von Verständlichkeit und Geschlechtergerechtigkeit in der Rechtssprache!"#$%&'"%&()*+&,#-&./#012+3*4-&!"#$%&%'()*'+#,-./0/1234'56*7-.3'8'9/1"2$/"'
Mehr16. All Pairs Shortest Path (ASPS)
. All Pairs Shortest Path (ASPS) All Pairs Shortest Path (APSP): Eingabe: Gewichteter Graph G=(V,E) Ausgabe: Für jedes Paar von Knoten u,v V die Distanz von u nach v sowie einen kürzesten Weg a b c d e
MehrAufgaben Theoretische Informatik
Aufgaben Theoretische Informatik Elmar Eder 26. Dezember 2015 Lösungen der Aufgaben bitte abgeben auf dem Abgabesystem von Dominik Kaaser auf https://ti.cosy.sbg.ac.at/ als ASCII- oder UTF-8-Dateien mit
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 8: kontextfreie Grammatiken Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/37 Überblick Kontextfreie Grammatiken
MehrDer Zwei-Quadrate-Satz von Fermat
Der Zwei-Quadrate-Satz von Fermat Proseminar: Das BUCH der Beweise Fridtjof Schulte Steinberg Institut für Informatik Humboldt-Universität zu Berlin 29.November 2012 1 / 20 Allgemeines Pierre de Fermat
MehrGrundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Ulrich Furbach. Sommersemester 2014
Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Ulrich Furbach Institut für Informatik Sommersemester 2014 Furbach Grundlagen d. Theoretischen Informatik:
MehrProbabilistische Primzahltests
Probabilistische Primzahltests Daniel Tanke 11. Dezember 2007 In dieser Arbeit wird ein Verfahren vorgestellt, mit welchem man relativ schnell testen kann, ob eine ganze Zahl eine Primzahl ist. Für einen
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Turing-Maschine, Berechenbarkeit INSTITUT FÜR THEORETISCHE 0 KIT 07.11.2011 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen
MehrWas ist Mathematik? Eine Strukturwissenschaft, eine Geisteswissenschaft, aber keine Naturwissenschaft.
Vorlesung 1 Einführung 1.1 Praktisches Zeiten: 10:00-12:00 Uhr Vorlesung 12:00-13:00 Uhr Mittagspause 13:00-14:30 Uhr Präsenzübung 14:30-16:00 Uhr Übungsgruppen Material: Papier und Stift wacher Verstand
MehrFunktionale Programmierung mit Haskell
Funktionale Programmierung mit Haskell Prof. Dr. Hans J. Schneider Lehrstuhl für Programmiersprachen und Programmiermethodik Friedrich-Alexander-Universität Erlangen-Nürnberg Sommersemester 2011 I. Die
Mehr9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83
9.. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 Die Grundfrage bei der Anwendung des Satzes über implizite Funktionen betrifft immer die folgende Situation: Wir haben eine Funktion f : V W und eine Stelle x
MehrAufgabe 3: Übersetzen Sie die folgenden natürlich-sprachlichen Aussagen in die Sprache der
Aufgabe 1: Sind die folgenden Abbildungen jeweils injektiv, surjektiv und/oder bijektiv? (a) f 1 (x) = x, mit f 1 : R + R + (b) f (x) = x, mit f : R R (c) f 3 (x) = x, mit f 3 : R R (d) f 4 (x) = 3x, mit
MehrPrimzahlzertifikat von Pratt
Primzahlzertifikat von Pratt Daniela Steidl TU München 17. 04. 2008 Primzahltests in der Informatik "Dass das Problem, die Primzahlen von den Zusammengesetzten zu unterscheiden und letztere in ihre Primfaktoren
MehrFormale Sprachen und deren Grammatiken. Zusammenhang mit der Automatentheorie.
Formale Sprachen Formale Sprachen und deren Grammatiken. Zusammenhang mit der Automatentheorie. Inhaltsübersicht und Literatur Formale Sprachen: Definition und Darstellungen Grammatiken für formale Sprachen
MehrREG versus CF. Theorem REG ist echt in CF enthalten.
REG versus CF Theorem REG ist echt in CF enthalten. Beweis: Wir wissen: L = {a m b m m 1} ist nicht regulär. Andererseits ist L kontextfrei, wie die einfache kontextfreie Grammatik G = ({a, b}, {S}, S,
MehrInformatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit
Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Sommersemester 2011 Dozent: Prof. Dr. J. Rothe, Prof. Dr. M. Leuschel J. Rothe (HHU Düsseldorf)
MehrKomplexitätstheorie Einführung und Überblick (Wiederholung)
Literatur C. Papadimitriou UC Berkeley Zum Komplexitätsbegriff Strukturelle Komplexität Average Case Analyse Effiziente Algorithmen Logische Komplexität Beschreibungssprachen: SQL Kolmogorov Komplexität
MehrAlgebraische Kurven. Vorlesung 26. Die Schnittmultiplizität
Prof. Dr. H. Brenner Osnabrück SS 2012 Algebraische Kurven Vorlesung 26 Die Schnittmultiplizität Es seien zwei ebene algebraische Kurven C,D A 2 K gegeben, die keine Komponente gemeinsam haben. Dann besteht
MehrGrundlagen der Theoretischen Informatik, SoSe 2008
1. Aufgabenblatt zur Vorlesung Grundlagen der Theoretischen Informatik, SoSe 2008 (Dr. Frank Hoffmann) Lösung von Manuel Jain und Benjamin Bortfeldt Aufgabe 2 Zustandsdiagramme (6 Punkte, wird korrigiert)
MehrMathematische Grundlagen der Informatik 2
Zusammenfassung Math2I Mathematische Grundlagen der Informatik 2 Emanuel Duss emanuel.duss@gmail.com 12. April 2013 1 Zusammenfassung Math2I Mathematische Grundlagen der Informatik 2 Dieses Dokument basiert
MehrInduktive Limiten. Arpad Pinter, Tobias Wöhrer. 30. Jänner 2010
Induktive Limiten Arpad Pinter, Tobias Wöhrer 30. Jänner 2010 1 Inhaltsverzeichnis 1 Induktiver Limes von Mengen 2 2 Induktiver Limes von Vektorräumen 4 3 Lokalkonvexe topologische Vektorräumen 7 4 Induktiver
MehrAutomaten und Formale Sprachen. Skript zur Vorlesung WS 2009/2010. Vorlesender: Prof. Dr. M. Kunde. Fassung vom 07.01.2008
Automaten und Formale Sprachen Skript zur Vorlesung WS 2009/2010 Vorlesender: Prof. Dr. M. Kunde Fassung vom 07.01.2008 Autor: Prof. M. Dietzfelbinger Technische Universität Ilmenau Fakultät für Informatik
MehrEinführung in die Informatik I
Einführung in die Informatik I Algorithmen und deren Programmierung Prof. Dr. Nikolaus Wulff Definition Algorithmus Ein Algorithmus ist eine präzise formulierte Handlungsanweisung zur Lösung einer gleichartigen
MehrTheoretische Informatik 1
Theoretische Informatik 1 Bernhard Nessler Institut für Grundlagen der Informationsverabeitung TU Graz SS 2007 Übersicht 1 Allgemein Teilgebiete der Informatik ohne Theoretische Grundlagen 2 Fragen an
Mehr11. Primfaktorzerlegungen
78 Andreas Gathmann 11 Primfaktorzerlegungen Euch ist sicher aus der Schule bekannt, dass sich jede positive ganze Zahl a als Produkt a = p 1 p n von Primzahlen schreiben lässt, und dass diese Darstellung
MehrAlgorithmen und Programmierung
Algorithmen und Programmierung Kapitel 5 Formale Algorithmenmodelle A&P (WS 14/15): 05 Formale Algorithmenmodelle 1 Überblick Motivation Formale Algorithmenmodelle Registermaschine Abstrakte Maschinen
Mehr5. Verschiedene Repräsentanten
5. Verschiedene Repräsentanten 5.1. Die Sätze Hall und König Sei I := {1,...,n}, und sei A(I) = (A 1,...,A n ) eine Familie von Teilmengen einer endlichen Menge E. Zu K I seien A(K) := (A i : i K) und
MehrCompiler. Kapitel. Syntaktische Analyse. Kapitel 4. Folie: 1. Syntaktische Analyse. Autor: Aho et al.
Folie: 1 Kapitel 4 Übersicht Übersicht Syntax: Definition 4 syn-tax: the way in which words are put together to form phrases, clauses, or sentences. Webster's Dictionary Die Syntax (griechisch σύνταξις
MehrEinführung in die Computerlinguistik Statistische Grundlagen
Statistik 1 Sommer 2015 Einführung in die Computerlinguistik Statistische Grundlagen Laura Heinrich-Heine-Universität Düsseldorf Sommersemester 2015 Statistik 2 Sommer 2015 Überblick 1. Diskrete Wahrscheinlichkeitsräume
Mehr2: Zahlentheorie / Restklassen 2.1: Modulare Arithmetik
Stefan Lucks Diskrete Strukturen (WS 2009/10) 57 2: Zahlentheorie / Restklassen 2.1: Modulare Arithmetik Uhr: Stunden mod 24, Minuten mod 60, Sekunden mod 60,... Rechnerarithmetik: mod 2 w, w {8, 16, 32,
MehrEinführung in die Algebra
Prof. Dr. H. Brenner Osnabrück SS 2009 Einführung in die Algebra Vorlesung 13 Einheiten Definition 13.1. Ein Element u in einem Ring R heißt Einheit, wenn es ein Element v R gibt mit uv = vu = 1. DasElementv
MehrKomplexitätstheorie. Teil F: Interaktive Beweissysteme 22: AM. Version von: 26. Juni 2015 (10:03) Sommersemester 2015 - Thomas Schwentick
Komplexitätstheorie Teil F: Interaktive Beweissysteme 22: AM Version von: 26. Juni 2015 (10:03) Sommersemester 2015 - Thomas Schwentick Kompl.-Theorie / Schwentick / SoSe 15 F: 22. AM. Folie 1 Inhalt 22.1
MehrProgrammiersprachen und Übersetzer
Programmiersprachen und Übersetzer Sommersemester 2010 19. April 2010 Theoretische Grundlagen Problem Wie kann man eine unendliche Menge von (syntaktisch) korrekten Programmen definieren? Lösung Wie auch
Mehrw a is die Anzahl der Vorkommen von a in w Beispiel: abba a = 2
1 2 Notation für Wörter Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg w a is die Anzahl der Vorkommen von a in w Beispiel: abba
MehrLogik und diskrete Strukturen
Prof. Dr. Institut für Informatik Abteilung I Wintersemester 2012/13 Organisatorisches Vorlesung Dienstag und Donnerstag 10:15 11:45 Uhr (HS 1) und 12:30 14:00 Uhr (HS 2) Vorlesung am Vormittag = Vorlesung
MehrAlgorithmen II Vorlesung am 15.11.2012
Algorithmen II Vorlesung am 15.11.2012 Kreisbasen, Matroide & Algorithmen INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg und Algorithmen nationales
MehrGrundlagen der theoretischen Informatik
Grundlagen der theoretischen Informatik Dr. Harald Hempel SS 2006 Inhaltsverzeichnis I. Formale Sprachen 7 1. Sprachen und Grammatiken 8 1.1. Grundlagen................................... 8 1.2. Grammatiken..................................
Mehr8 Diskrete Optimierung
8 Diskrete Optimierung Definition 8.1. Ein Graph G ist ein Paar (V (G), E(G)) besteh aus einer lichen Menge V (G) von Knoten (oder Ecken) und einer Menge E(G) ( ) V (G) 2 von Kanten. Die Ordnung n(g) von
MehrGrundlagen der Informatik II. Teil I: Formale Modelle der Informatik
Grundlagen der Informatik II Teil I: Formale Modelle der Informatik 1 Einführung GdInfoII 1-2 Ziele/Fragestellungen der Theoretischen Informatik 1. Einführung abstrakter Modelle für informationsverarbeitende
MehrEinführung in die Informatik
Einführung in die Informatik Jochen Hoenicke Software Engineering Albert-Ludwigs-University Freiburg Sommersemester 2014 Jochen Hoenicke (Software Engineering) Einführung in die Informatik Sommersemester
MehrFormale Sprachen, reguläre und kontextfreie Grammatiken
Formale Sprachen, reguläre und kontextfreie Grammatiken Alphabet A: endliche Menge von Zeichen Wort über A: endliche Folge von Zeichen aus A A : volle Sprache über A: Menge der A-Worte formale Sprache
MehrDiskrete Mathematik für Informatiker
Diskrete Mathematik für Informatiker Markus Lohrey Universität Siegen Wintersemester 2014/2015 Lohrey (Universität Siegen) Diskrete Mathematik Wintersem. 2014/2015 1 / 344 Organisatorisches zur Vorlesung
Mehr