Grundbegriffe der Informatik
|
|
- Ulrich Acker
- vor 7 Jahren
- Abrufe
Transkript
1 Grundbegriffe der Informatik Einheit 6: formale Sprachen Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/18
2 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen Konkatenationsabschluss formaler Sprachen 2/18
3 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen Konkatenationsabschluss formaler Sprachen Formale Sprachen 3/18
4 Sprachen natürliche Sprache: Aussprache Stil, z. B. Wortwahl und Satzbau Welche Formulierungen sind syntaktisch korrekt? Ist und syntaktische welcher korrekt nicht? Informatik: Sprachen, die nicht natürlich sind: Programmiersprachen Aufbau von s, WWW-Seiten,... Eingabedateien für... Syntax Wie spezifiziert man, was korrekt ist? Wie überprüft man, ob etwas korrekt ist? Semantik Wie definiert man, was syntaktisch korrekte Gebilde bedeuten? darum kümmern wir uns später Formale Sprachen 4/18
5 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen Konkatenationsabschluss formaler Sprachen Formale Sprachen Formale Sprachen 5/18
6 Formale Sprachen Alphabet A gegeben Eine formale Sprache (über einem Alphabet A) ist eine Teilmenge L A. im Zusammenhang mit syntaktischer Korrektheit: formale Sprache L der syntaktisch korrekten Gebilde syntaktisch falsche Gebilde gehören nicht zu L Beispiele: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, -}. formale Sprache der Dezimaldarstellungen ganzer Zahlen enthält z.b. 1, -22 und , aber nicht formale Sprache der syntaktisch korrekten Java-Programme enthält alle Java-Programme enthält zum Beispiel nicht: [2] class int)( Formale Sprachen Formale Sprachen 6/18
7 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen Konkatenationsabschluss formaler Sprachen Formale Sprachen Produkt formaler Sprachen 7/18
8 Produkt oder Konkatenation formaler Sprachen kennen schon Konkatenation von Wörtern Produkt der Sprachen L 1 und L 2 : L 1 L 2 = {w 1 w 2 w 1 L 1 w 2 L 2 } Lemma. Für jede formale Sprache L ist L {ε} = L = {ε} L. Formale Sprachen Produkt formaler Sprachen 8/18
9 Produkt oder Konkatenation formaler Sprachen kennen schon Konkatenation von Wörtern Produkt der Sprachen L 1 und L 2 : L 1 L 2 = {w 1 w 2 w 1 L 1 w 2 L 2 } Lemma. Für jede formale Sprache L ist L {ε} = L = {ε} L. Formale Sprachen Produkt formaler Sprachen 8/18
10 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
11 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
12 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
13 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
14 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
15 Neutrales Element des Produkts formaler Sprachen Beweis des Lemmas. Einfaches Nachrechnen: L {ε} = {w 1 w 2 w 1 L w 2 {ε}} = {w 1 w 2 w 1 L w 2 = ε} = {w 1 ε w 1 L} = {w 1 w 1 L} = L Analog zeigt man L = {ε} L. Formale Sprachen Produkt formaler Sprachen 9/18
16 Potenzen von Sprachen wir wollen Potenzen L k formaler Sprachen definieren Problem : Was soll L 0 sein? Definiere: L 0 = {ε} k N 0 : L k+1 = L L k Einfaches Nachrechnen ergibt z. B.: L 1 = L L 2 = L L L 3 = L L L Genau genommen: L 3 = L (L L), aber: Konkatenation von Sprachen ist eine assoziative Operation. Formale Sprachen Produkt formaler Sprachen 10/18
17 Potenzen von Sprachen wir wollen Potenzen L k formaler Sprachen definieren Problem : Was soll L 0 sein? Definiere: L 0 = {ε} k N 0 : L k+1 = L L k Einfaches Nachrechnen ergibt z. B.: L 1 = L L 2 = L L L 3 = L L L Genau genommen: L 3 = L (L L), aber: Konkatenation von Sprachen ist eine assoziative Operation. Formale Sprachen Produkt formaler Sprachen 10/18
18 Potenzen von Sprachen wir wollen Potenzen L k formaler Sprachen definieren Problem : Was soll L 0 sein? Definiere: L 0 = {ε} k N 0 : L k+1 = L L k Einfaches Nachrechnen ergibt z. B.: L 1 = L L 2 = L L L 3 = L L L Genau genommen: L 3 = L (L L), aber: Konkatenation von Sprachen ist eine assoziative Operation. Formale Sprachen Produkt formaler Sprachen 10/18
19 Potenzen von Sprachen wir wollen Potenzen L k formaler Sprachen definieren Problem : Was soll L 0 sein? Definiere: L 0 = {ε} k N 0 : L k+1 = L L k Einfaches Nachrechnen ergibt z. B.: L 1 = L L 2 = L L L 3 = L L L Genau genommen: L 3 = L (L L), aber: Konkatenation von Sprachen ist eine assoziative Operation. Formale Sprachen Produkt formaler Sprachen 10/18
20 Beispiele für Produkt von Sprachen (1) L = {aa, b} Dann ist L 0 = {ε} L 1 = {aa, b} L 2 = {aa, b} {aa, b} = {aa aa, aa b, b aa, b b} = {aaaa, aab, baa, bb} L 3 = {aa aa aa, aa aa b, aa b aa, aa b b, b aa aa, b aa b, b b aa, b b b} = {aaaaaa, aaaab, aabaa, aabb, baaaa, baab, bbaa, bbb} Formale Sprachen Produkt formaler Sprachen 11/18
21 Beispiele für Produkt von Sprachen (2) Sei L = {a n b n n N + }, also sozusagen (immer diese Pünktchen... ) Was ist L 2 = L L? L = {ab, aabb, aaabbb, aaaabbbb,... }. L 2 = {ab ab, ab aabb, ab aaabbb,... } {aabb ab, aabb aabb, aabb aaabbb,... } {aaabbb ab, aaabbb aabb, aaabbb aaabbb,... }. Mit anderen Worten L 2 = {a n1 b n1 a n2 b n2 n 1 N + n 2 N + }. Beachte: die Exponenten n 1 vorne und n2 hinten heißen verschieden. Formale Sprachen Produkt formaler Sprachen 12/18
22 Beispiele für Produkt von Sprachen (2) Sei L = {a n b n n N + }, also sozusagen (immer diese Pünktchen... ) Was ist L 2 = L L? L = {ab, aabb, aaabbb, aaaabbbb,... }. L 2 = {ab ab, ab aabb, ab aaabbb,... } {aabb ab, aabb aabb, aabb aaabbb,... } {aaabbb ab, aaabbb aabb, aaabbb aaabbb,... }. Mit anderen Worten L 2 = {a n1 b n1 a n2 b n2 n 1 N + n 2 N + }. Beachte: die Exponenten n 1 vorne und n2 hinten heißen verschieden. Formale Sprachen Produkt formaler Sprachen 12/18
23 Potenzen mehrfach definiert für Alphabet A und für i N 0 hatten wir schon Potenzen A i definiert. Jedes Alphabet A kann man als formale Sprache L A auffassen (enthält alle Wörter der Länge 1) Man mache sich klar: A i ist ( im Wesentlichen ) das Gleiche wie L i A. Formale Sprachen Produkt formaler Sprachen 13/18
24 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen Konkatenationsabschluss formaler Sprachen Formale Sprachen Konkatenationsabschluss formaler Sprachen 14/18
25 Konkatenationsabschluss von L bei Alphabeten schon gesehen: A = i=0 Ai. der Konkatenationsabschluss L von L ist L = i=0 der ε-freie Konkatenationsabschluss L + von L ist L + = i=1 L i L i Man sieht: L = L 0 L +. Formale Sprachen Konkatenationsabschluss formaler Sprachen 15/18
26 Beispiele für Konkatenationsabschluss Es sei wieder L = {a n b n n N + }. haben schon gesehen: analog L 2 = {a n 1 b n 1 a n 2 b n 2 n 1 N + n 2 N + }. L 3 = {a n 1 b n 1 a n 2 b n 2 a n 3 b n 3 n 1 N + n 2 N + n 3 N + }. wir erlauben uns Pünktchen... : L i = {a n 1 b n1 a n i b n i n 1,..., n i N + }. Dann kann man für L + notieren: L + = {a n 1 b n1 a n i b n i i N + n 1,..., n i N + }. Sie merken (hoffentlich): L + und L sind präziser und kürzer hinzuschreiben als viele Pünktchen. Formale Sprachen Konkatenationsabschluss formaler Sprachen 16/18
27 Zwei Warnungen Die Bezeichnung ε-freier Konkatenationsabschluss für L + ist irreführend. Wie steht es um das leere Wort bei L + und L? Klar ist: ε L 0 L Aber: L = L 1 L +, wenn also ε L, dann auch ε L +. Beachte {} = {ε} Formale Sprachen Konkatenationsabschluss formaler Sprachen 17/18
28 Zwei Warnungen Die Bezeichnung ε-freier Konkatenationsabschluss für L + ist irreführend. Wie steht es um das leere Wort bei L + und L? Klar ist: ε L 0 L Aber: L = L 1 L +, wenn also ε L, dann auch ε L +. Beachte {} = {ε} Formale Sprachen Konkatenationsabschluss formaler Sprachen 17/18
29 Was ist wichtig Das sollten Sie mitnehmen: was formale Sprachen sind, wie ihr Produkt definiert ist und wie Konkatenationsabschluss und ε-freier Konkatenationsabschluss definiert sind. Das sollten Sie üben: Erkennen von Strukturen der Form L, L +, L 1 L 2 Lesen von Ausdrücken der Form (L + 1 L 2) usw. Rechnen mit formalen Sprachen Formale Sprachen Konkatenationsabschluss formaler Sprachen 18/18
Grundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 6: formale Sprachen Thomas Worsch Universität Karlsruhe, Fakultät für Informatik November 2008 1/14 Überblick Formale Sprachen Formale Sprachen Produkt formaler Sprachen
Mehr6 F O R M A L E S P R A C H E N. 6.1 formale sprachen
6.1 formale sprachen 6 F O R M A L E S P R A C H E N Eine natürliche Sprache umfasst mehrere Aspekte, z. B. Aussprache und Stil, also z. B. Wortwahl und Satzbau. Dafür ist es auch notwendig zu wissen,
MehrGrundbegriffe der Informatik Tutorium 2
Grundbegriffe der Informatik Tutorium 2 Tutorium Nr. 16 Philipp Oppermann 9. November 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrGrundbegriffe der Informatik Tutorium 2
Grundbegriffe der Informatik Tutorium 2 Tutorium Nr. 32 Philipp Oppermann 13. November 2013 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 4: Wörter Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für Theoretische Informatik
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 4: Wörter (und vollständige Induktion) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/29 Überblick Wörter Wörter Das leere Wort Mehr zu
MehrFormale Sprachen und Automaten
Formale Sprachen und Automaten Kapitel 1: Grundlagen Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Ziel Einführung der wichtigsten
MehrTutorium 23 Grundbegriffe der Informatik
Tutorium 23 Grundbegriffe der Informatik Tutor: Felix Stahlberg SOFTWARE DESIGN AND QUALITY GROUP Source: pixelio.de KIT The cooperation of Forschungszentrum Karlsruhe GmbH and Universität Karlsruhe (TH)
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 4: Wörter und vollständige Induktion Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/41 Überblick Wörter Wörter
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 21: Relationen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für Theoretische Informatik
MehrWas bisher geschah. Modellierung von Aussagen durch Logiken. Modellierung von Daten durch Mengen
Was bisher geschah Modellierung von Aussagen durch Logiken Modellierung von Daten durch Mengen extensionale und intensionale Darstellung Mächtigkeiten endlicher Mengen, Beziehungen zwischen Mengen, =,
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 18: Logik Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/35 Überblick Formeln in Prädikatenlogik erster Stufe Theorien und
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
MehrTheorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie
Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung
MehrKapitel 0: Grundbegriffe Gliederung
Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechenbarkeitstheorie 4. Komplexitätstheorie 5. Kryptographie 0/2, Folie 1 2009 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 17: Relationen Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/77 Überblick Äquivalenzrelationen Definition Äquivalenzrelationen
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 17: Relationen Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/76 Überblick Äquivalenzrelationen Definition Äquivalenzrelationen
MehrEinführung in die Computerlinguistik formale Sprachen
Einführung in die Computerlinguistik formale Sprachen Dozentin: Wiebke Petersen 2. Foliensatz Wiebke Petersen Einführung CL 1 Wiebke Petersen Einführung CL 2 Wiebke Petersen Einführung CL 3 Wiebke Petersen
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
MehrGrundlagen der theoretischen Informatik
Grundlagen der theoretischen Informatik Kurt Sieber Fakultät IV, Department ETI Universität Siegen SS 2013 Vorlesung vom 09.04.2013 Inhalt der Vorlesung Teil I: Automaten und formale Sprachen (Kurt Sieber)
MehrEinführung in die Computerlinguistik formale Sprachen
Einführung in die Computerlinguistik formale Sprachen Dozentin: Wiebke Petersen 2. Foliensatz Wiebke Petersen Einführung CL 1 Wiebke Petersen Einführung CL 2 Wiebke Petersen Einführung CL 3 Wiebke Petersen
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 16.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Organizatorisches Literatur Motivation und Inhalt Kurzer
MehrEinführung in die Theoretische Informatik
Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Sascha Böhme, Lars Noschinski Sommersemester 2 Lösungsblatt 23. Mai 2 Einführung in die Theoretische Informatik Hinweis:
MehrEinführung in die Theoretische Informatik
Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Dr. Werner Meixner, Dr. Alexander Krauss Sommersemester 2 Lösungsblatt 3. April 2 Einführung in die Theoretische Informatik
MehrAutomaten und Formale Sprachen
Automaten und Formale Sprachen Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2011/12 WS 11/12 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien
Mehr7. Syntax: Grammatiken, EBNF
7. Syntax: Grammatiken, EBNF Teil 1 Sehr schönes Beispiel für Notwendigkeit der Theoretischen Informatik für Belange der Praktischen Informatik Vertiefung in: Einführung in die Theoretische Informatik
MehrKurz-Skript zur Theoretischen Informatik I
Kurz-Skript zur Theoretischen Informatik I Inhaltsverzeichnis 1 Grundlagen 2 2 Reguläre Ausdrücke 4 3 Endliche Automaten 5 3.1 Vollständige endliche Automaten................................... 6 3.2 ε
MehrTheoretische Informatik Kap 1: Formale Sprachen/Automatentheorie
Gliederung der Vorlesung. Grundbegriffe. Formale Sprachen/Automatentheorie.. Grammatiken.2..3. Kontext-freie Sprachen 2. Berechnungstheorie 2.. Berechenbarkeitsmodelle 2.2. Die Churchsche These 2.3. Unentscheidbarkeit
MehrTheoretische Informatik. Alphabete, Worte, Sprachen
Theoretische Informatik Alphabete, Worte, Sprachen Alphabete, Worte, Sprachen 1. Alphabete und Worte Definitionen, Beispiele Operationen mit Worten Induktionsbeweise 2. Sprachen Definition und Beispiele
MehrZusammenfassung. Beispiel. 1 Wir betrachten die folgende Signatur F = {,, +, 0, 1} sodass. 3 Wir betrachten die Identitäten E. 4 Dann gilt E 1 + x = 1
Zusammenfassung Zusammenfassung der letzten LVA Einführung in die Theoretische Informatik Christina Kohl Alexander Maringele eorg Moser Michael Schaper Institut für Informatik @ UIBK Wintersemester 2016
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
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 7 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV 1 Wir betrachten die folgende Signatur
MehrGrundlagen der Informatik. Prof. Dr. Stefan Enderle NTA Isny
Grundlagen der Informatik Prof. Dr. Stefan Enderle NTA Isny 1. Automaten und Sprachen 1.1 Endlicher Automat Einen endlichen Automaten stellen wir uns als Black Box vor, die sich aufgrund einer Folge von
MehrDas Pumping-Lemma Formulierung
Das Pumping-Lemma Formulierung Sei L reguläre Sprache. Dann gibt es ein n N mit: jedes Wort w L mit w n kann zerlegt werden in w = xyz, so dass gilt: 1. xy n 2. y 1 3. für alle k 0 ist xy k z L. 59 / 162
MehrAutomatentheorie und Formale Sprachen
Automatentheorie und Formale Sprachen Mengen, Alphabete, Wörter, formale Sprachen Dozentin: Wiebke Petersen 29.4.2009 Wiebke Petersen Automatentheorie und formale Sprachen SoSe 09 Mengen Definition 1.
MehrGrundbegriffe der Informatik Tutorium 11
Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 32 Philipp Oppermann 29. Januar 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrDas Pumping Lemma der regulären Sprachen
Das Pumping Lemma der regulären Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de 1 Das Pumping Lemma Das Pumping Lemma der regulären Sprachen macht eine Aussage der Art wenn eine Sprache L regulär
MehrFormale Sprachen und Automaten
Formale Sprachen und Automaten Kapitel 3: Regular Expressions Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Kapitel 3 Regular
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 14: Endliche Automaten Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/38 Überblick Erstes Beispiel: ein Getränkeautomat Mealy-Automaten
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 19: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik
Mehr2 Alphabete, Wörter, Sprachen und die Darstellung von Problemen
Das Tiefste, das wir erfahren können, sind die Offenbarungen der Mystik. Sie sind das fundamentalste Gefühl, das an der Wiege aller wahren Kunst und Wissenschaft steht. Wer es nicht kennt, kann sich nicht
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 6: Induktives Vorgehen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für Theoretische
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 9: Speicher Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für Theoretische Informatik
MehrHochschule Bonn-Rhein-Sieg University of Applied Sciences Grantham-Allee Sankt Augustin
Hochschule Bonn-Rhein-Sieg Uniersity of Applied Sciences Grantham-Allee 20 53757 Sankt Augustin Director b-it Applied Science Institute Fachbereich Informatik Prof. Dr. Kurt-Ulrich Witt Mathematische und
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/47 Was kann
MehrGrundbegriffe der Informatik Tutorium 12
Grundbegriffe der Informatik Tutorium 12 Tutorium Nr. 16 Philipp Oppermann 28. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
MehrIst eine algorithmische Problemstellung lösbar und wenn ja, mit welchen Mitteln? was ist eine algorithmische Problemstellung?
Überblick 1. reguläre Sprachen endliche Automaten (deterministisch vs. nichtdeterministisch) Nichtregularität 2. Berechenbarkeit Registermaschinen/Turingmaschinen Churchsche These Unentscheidbarkeit 3.
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
MehrAbschnitt 2: Daten und Algorithmen
Abschnitt 2: Daten und Algorithmen 2. Daten und Algorithmen 2.1 Zeichenreihen 2.2 Datendarstellung durch Zeichenreihen 2.3 Syntaxdefinitionen 2.4 Algorithmen 2 Daten und Algorithmen Einf. Progr. (WS 08/09)
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 11: Graphen Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/59 Graphische Darstellung von Zusammenhängen schon
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 3: Alphabete, Abbildungen, Aussagenlogik Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/32 Überblick Alphabete
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 9: Speicher Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2009/2010 1/20 Überblick Speicher Bit und Byte Speicher als Tabellen
MehrAm Dienstag, den 16. Dezember, ist Eulenfest. 1/45
Am Dienstag, den 16. Dezember, ist Eulenfest. 1/45 Grundbegriffe der Informatik Einheit 12: Erste Algorithmen in Graphen Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009
MehrGrundbegriffe der Informatik
Thomas Worsch Grundbegriffe der Informatik Vorlesung im Wintersemester 2014/2015 Fakultät für Informatik Karlsruher Institut für Technologie I N H A LT S V E R Z E I C H N I S ( K U R Z ) Inhaltsverzeichnis
MehrFormale Sprachen und endliche Automaten
Formale Sprachen und endliche Automaten Formale Sprachen Definition: 1 (Alphabet) Ein Alphabet Σ ist eine endliche, nichtleere Menge von Zeichen oder Symbolen. Ein Wort über dem Alphabet Σ ist eine endliche
Mehr(e) E = {(ba n b) n n N 0 }
Prof. J. Esparza Technische Universität München S. Sickert, J. Krämer KEINE ABGABE Einführung in die theoretische Informatik Sommersemester 2017 Übungsblatt 1 Übungsblatt Wir unterscheiden zwischen Übungs-
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
MehrKapitel IV Formale Sprachen und Grammatiken
Kapitel IV Formale Sprachen und Grammatiken 1. Begriffe und Notationen Sei Σ ein (endliches) Alphabet. Dann Definition 42 1 ist Σ das Monoid über Σ, d.h. die Menge aller endlichen Wörter über Σ; 2 ist
MehrFormale Sprachen und Grammatiken
Formale Sprachen und Grammatiken Jede Sprache besitzt die Aspekte Semantik (Bedeutung) und Syntax (formaler Aufbau). Die zulässige und korrekte Form der Wörter und Sätze einer Sprache wird durch die Syntax
MehrAbschnitt 4: Daten und Algorithmen
Abschnitt 4: Daten und Algorithmen 4. Daten und Algorithmen 4.1 4.2 Syntaxdefinitionen 4.3 Eigenschaften von Algorithmen 4.4 Paradigmen der Algorithmenentwicklung Peer Kröger (LMU München) Einführung in
Mehr1.5 Turing-Berechenbarkeit
A.M. Turing (1937): Maschinenmodell zur exakten Beschreibung des Begriffs effektiv berechenbar Stift Mensch a c b b Rechenblatt a b b c Lese-/Schreibkopf endliche Kontrolle Turingmaschine Eine Turingmaschine
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 9: Speicher Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/19 Überblick Speicher Bit und Byte Speicher als Tabellen und Abbildungen
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016 Teil 3: Kodierung 1 Motivation 2 Exkurs Grundlagen formaler Sprachen 3 Grundlagen 4 Beispielkodierungen FM2 (WS 2014/15,
Mehr17 R E L AT I O N E N
17 R E L AT I O N E N 17.1 äquivalenzrelationen 17.1.1 Definition In Abschnitt 11.2.1 hatten wir schon einmal erwähnt, dass eine Relation R M M auf einer Menge M, die reflexiv, symmetrisch und transitiv
MehrZusammenfassung der letzten LVA. Diskrete Mathematik
Zusammenfassung Zusammenfassung der letzten LVA Diskrete Mathematik Christina Kohl Georg Moser Oleksandra Panasiuk Christian Sternagel Vincent van Oostrom (Beweisformen) Beweisformen sind etwa (i) deduktive
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Mengen)
WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Mengen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrAm Dienstag, den 16. Dezember, ist Eulenfest. 1/48
Am Dienstag, den 16. Dezember, ist Eulenfest. 1/48 Grundbegriffe der Informatik Einheit 12: Erste Algorithmen in Graphen Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 5: Reguläre Ausdrücke und Grammatiken schulz@eprover.org Software Systems Engineering Reguläre Sprachen Bisher: Charakterisierung von Sprachen über Automaten
MehrMafI 1 Repetitorium Übungen
MafI 1 Repetitorium Übungen M. Sc. Dawid Kopetzki KW 18 (29.04.2015) M. Sc. Dawid Kopetzki MafI 1 Repetitorium Übungen 1 / 13 Intro Info zur ersten Abgabe Erinnerung: Am 06.05. zwischen 1416 Uhr ist Fachschaftsvollversammlung
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 4 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Zusammenfassung Zusammenfassung der letzten LV Modus Ponens A B B A MP Axiome für
MehrFormalismen für REG. Formale Grundlagen der Informatik 1 Kapitel 7 Kontextfreie Sprachen. Das Pumping Lemma. Abschlusseigenschaften
Formalismen für RE Formale rundlagen der Informatik 1 Kapitel 7 Kontextfreie Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de Satz Zu jeder regulären Sprache L gibt es einen DFA A mit L(A) =
MehrMATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016
MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/17 MARK HAMILTON LMU MÜNCHEN 1.1. Grundbegriffe zu Mengen. 1. 17. OKTOBER 2016 Definition 1.1 (Mengen und Elemente). Eine Menge ist die Zusammenfassung
MehrEinführung in die theoretische Informatik
SS 2015 Einführung in die theoretische Informatik Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2015ss/theo/ Sommersemester 2015 THEO Kapitel 0 Organisatorisches Vorlesungen:
MehrEinführung in die Computerlinguistik Satz von Kleene
Einführung in die Computerlinguistik Satz von Kleene Dozentin: Wiebke Petersen 5. Foliensatz Wiebke Petersen Einführung CL 1 Satz von Kleene (Stephen C. Kleene, 1909-1994) Jede Sprache, die von einem deterministischen
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 16: Erste Algorithmen in Graphen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für
MehrReguläre Sprachen und endliche Automaten
Reguläre Sprachen und endliche Automaten 1 Motivation: Syntaxüberprüfung Definition: Fließkommazahlen in Java A floating-point literal has the following parts: a whole-number part, a decimal point (represented
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 11: Graphen Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/42 Graphische Darstellung von Zusammenhängen schon an vielen Stellen
MehrDeterministische endliche Automaten - Wiederholung
Deterministische endliche Automaten - Wiederholung Die folgende Klasse Zahl stellt einen endlichen Automaten dar. Ermittle die Größen des Automaten und zeichne den Zustandsgraphen. Gib Zeichenfolgen an,
MehrSatz von Kleene. (Stephen C. Kleene, ) Wiebke Petersen Einführung CL 2
Satz von Kleene (Stephen C. Kleene, 1909-1994) Jede Sprache, die von einem deterministischen endlichen Automaten akzeptiert wird ist regulär und jede reguläre Sprache wird von einem deterministischen endlichen
Mehr4. Induktives Definieren - Themenübersicht
Induktives Definieren 4. Induktives Definieren - Themenübersicht Induktives Definieren Natürliche Zahlen Operationen auf natürlichen Zahlen Induktive Algorithmen Induktiv definierte Mengen Binärbäume Boolesche
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 2: Signale, Nachrichten, Informationen, Daten Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 29/21 1/19 Überblick Signale
MehrEinführung in die Theoretische Informatik
echnische Universität München Fakultät für Informatik Prof. obias Nipkow, Ph.D. ascha öhme, Lars Noschinski ommersemester 2011 Lösungsblatt 5 6. Juni 2011 Einführung in die heoretische Informatik Hinweis:
MehrDeterministischer Kellerautomat (DPDA)
Deterministische Kellerautomaten Deterministischer Kellerautomat (DPDA) Definition Ein Septupel M = (Σ,Γ, Z,δ, z 0,#, F) heißt deterministischer Kellerautomat (kurz DPDA), falls gilt: 1 M = (Σ,Γ, Z,δ,
MehrSprachen und Programmiersprachen
Sprachen und Programmiersprachen Natürliche Sprachen versus Programmiersprachen / Spezifikationssprachen Syntax legt die grammatikalische Korrektheit fest. Semantik legt die Bedeutung von syntaktisch korrekten
MehrWas bisher geschah Alphabet, Wort, Sprache
Was bisher geschah Alphabet, Wort, Sprache Wörter w A Operationen: Spiegelung R, Verkettung Palindrome Relationen: Präfix, Infix, Postfix, lexikographische, quasi-lexikographische Ordnung Sprachen L A
MehrWas bisher geschah Alphabet, Wort, Sprache
Was bisher geschah Alphabet, Wort, Sprache Wörter w A Operationen: Spiegelung R, Verkettung Palindrome Relationen: Präfix, Infix, Postfix, lexikographische, quasi-lexikographische Ordnung Sprachen L A
MehrEinführung in die Theoretische Informatik
Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Sascha Böhme, Lars Noschinski Sommersemester 2 Lösungsblatt 2 3. Mai 2 Einführung in die Theoretische Informatik Hinweis:
Mehr1. Klausur zur Vorlesung Informatik III Wintersemester 2003/2004. Mit Lösung!
Universität Karlsruhe Theoretische Informatik Fakultät für Informatik WS 23/4 ILKD Prof. Dr. D. Wagner 2. Februar 24. Klausur zur Vorlesung Informatik III Wintersemester 23/24 Mit Lösung! Beachten Sie:
MehrProgrammierung WS12/13 Lösung - Übung 1 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder
Prof. aa Dr. J. Giesl Programmierung WS12/13 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder Tutoraufgabe 1 (Syntax und Semantik): 1. Was ist Syntax? Was ist Semantik? Erläutern Sie den Unterschied. 2.
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 29.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Motivation 2. Terminologie 3. Endliche Automaten und reguläre
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2016 20.04.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen
MehrVorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion
Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten
MehrKapitel 1. Grundlagen Mengen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
Mehr3 Allgemeine Algebren
Grundlagen der Mathematik für Informatiker 1 3 Allgemeine Algebren Definition 3.1 Für eine Menge A nennen wir eine n-stellige Funktion ω : A n A eine n-äre algebraische Operation. Bemerkung zum Fall n
MehrInhalt Kapitel 5: Syntax
Inhalt Kapitel 5: Syntax 1 Syntax und Semantik 2 Formale Sprachen 3 Backus-Naur Form 4 Chomsky Grammatik 5 Reguläre Ausdrücke 6 Endliche Automaten 180 Syntax und Semantik Syntax Syntax: Festlegung des
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 22.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen
MehrLösung zur Klausur. Grundlagen der Theoretischen Informatik im WiSe 2003/2004
Lösung zur Klausur Grundlagen der Theoretischen Informatik im WiSe 2003/2004 1. Geben Sie einen deterministischen endlichen Automaten an, der die Sprache aller Wörter über dem Alphabet {0, 1} akzeptiert,
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 1-14. Sitzung Dennis Felsing dennis.felsing@student.kit.edu http://www.stud.uni-karlsruhe.de/~ubcqr/2010w/tut gbi/ 2011-02-07 Äquivalenzrelationen 1 Äquivalenzrelationen
Mehr= k 0+k 0 ( ). Wir addieren (0 k) zu den Seiten der Gleichung ( ): 0 = k 0.
Def 4 Eine Menge K mit zwei Abbildungen + : K K K und : K K K (heißen Addition und Multiplikation; wir werden a b bzw a+b statt (a,b), +(a,b) schreiben) ist ein kommutativer Ring, falls: (R1) (K, +) ist
Mehr15 R E G U L Ä R E AU S D R Ü C K E U N D R E C H T S L I N E A R E G R A M M AT I K E N
15 R E G U L Ä R E AU S D R Ü C K E U N D R E C H T S L I N E A R E G R A M M AT I K E N Am Ende von Einheit 14 über endliche Automaten haben wir gesehen, dass manche formale Sprachen zwar von kontextfreien
Mehr