Reduzierbarkeit und das Post'sche Korrespondenzproblem
|
|
|
- Nadine Beltz
- vor 9 Jahren
- Abrufe
Transkript
1 Reduzierbarkeit und das Post'sche Korrespondenzproblem
2 Agenda Motivation Reduzierbarkeit Definition Bedeutung Post'sches Korrespondenzproblem (PKP) Modifiziertes Post'sches Korrespondenzproblem (MPKP) Beispiele Zusammenfassung Simon Ochsenreither 2
3 Motivation Schnittproblem kontextfreier Grammatiken Gegeben: Gesucht: Kontextfreie Grammatiken G1 und G2 L(G1) L(G2) Mehrdeutigkeitsproblem kontextfreier Grammatiken Gegeben: Kontextfreie Grammatik Gesucht: Besitzt jedes Wort ω L(G) eine eindeutige Ableitung? Leerheitsproblem kontextsensitiver Grammatiken Gegeben: Gesucht: L(G)? Kontextsensitive Grammatiken Simon Ochsenreither 3
4 Motivation Schnittproblem kontextfreier Grammatiken Gegeben: Gesucht: Kontextfreie Grammatiken G1 und G2 L(G1) L(G2) Mehrdeutigkeitsproblem kontextfreier Grammatiken Gegeben: Kontextfreie Grammatik Gesucht: Besitzt jedes Wort ω L(G) eine eindeutige Ableitung? Leerheitsproblem kontextsensitiver Grammatiken Gegeben: Gesucht: L(G)? Kontextsensitive Grammatiken Simon Ochsenreither 4
5 Motivation Schnittproblem kontextfreier Grammatiken Gegeben: Gesucht: Kontextfreie Grammatiken G1 und G2 L(G1) L(G2) Mehrdeutigkeitsproblem kontextfreier Grammatiken Gegeben: Kontextfreie Grammatik Gesucht: Besitzt jedes Wort ω L(G) eine eindeutige Ableitung? Leerheitsproblem kontextsensitiver Grammatiken Gegeben: Gesucht: L(G)? Kontextsensitive Grammatiken Simon Ochsenreither 5
6 Motivation Schnittproblem kontextfreier Grammatiken Gegeben: Gesucht: Kontextfreie Grammatiken G1 und G2 L(G1) L(G2) Mehrdeutigkeitsproblem kontextfreier Grammatiken Gegeben: Kontextfreie Grammatik Gesucht: Besitzt jedes Wort ω L(G) eine eindeutige Ableitung? Leerheitsproblem kontextsensitiver Grammatiken Gegeben: Gesucht: L(G)? Kontextsensitive Grammatiken Simon Ochsenreither 6
7 Reduzierbarkeit Definition Mit L Σ* und L' Γ* seien 2 Sprachen gegeben. L ist genau dann auf L' reduzierbar, falls eine totale Funktion f : Σ* Γ* mit folgenden Eigenschafen existiert: f ist berechenbar ω L f(ω) L'... dann ist L L' Simon Ochsenreither 7
8 Reduzierbarkeit Satz Ist L eine unentscheidbare Sprache, so ist jede Sprache L' mit L L' ebenfalls unentscheidbar Simon Ochsenreither 8
9 Reduzierbarkeit Demo Simon Ochsenreither 9
10 Post'sches Korrespondenzproblem (PKP) 1946 durch Emil Leon Post formuliert Wichtiges unentscheidbares Problem Einfache Reduktion auf andere Probleme Instrument zum Führen von Unentscheidbarkeitsbeweisen Simon Ochsenreither 10
11 Post'sches Korrespondenzproblem (PKP) Definition Gegeben: Wortpaare (x₁, y₁), (xₙ, yₙ) mit xₐ, yₐ Σ+ Gesucht: Existiert Folge a₁ aₖ mit der Eigenschaft xₐ₁ xₐ₂ xₐₖ = yₐ₁ yₐ₂ yₐₖ? Simon Ochsenreither 11
12 Post'sches Korrespondenzproblem (PKP) Demo mit ein-elementigem Alphabet Simon Ochsenreither 12
13 Post'sches Korrespondenzproblem (PKP) Für ein-elementige Alphabete trivial lösbar Durch math. Gleichungssystem berechenbar Entscheidbar! Gilt dies auch für zwei-elementige Alphabete? Gilt dies auch für mehr-elementige Alphabete? Simon Ochsenreither 13
14 Post'sches Korrespondenzproblem (PKP) Demo mit zwei-elementigem Alphabet Simon Ochsenreither 14
15 Post'sches Korrespondenzproblem (PKP) Mehr-elementige Alphabete durch Gödelisierung auf zwei-elementige Alphabete abbildbar Reduktion! Simon Ochsenreither 15
16 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn eine der Komponenten nicht einholbar ist, z. B. (011, 100) ( 11, (010, 110) 011) Simon Ochsenreither 16
17 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn eine der Komponenten nicht einholbar ist, z. B. (011, 100) ( 11, (010, 110) 011) Simon Ochsenreither 17
18 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn ein Symbol nur in den ersten oder nur in den zweiten Komponenten vorkommt, z. B. ( 01, 1) ( 0, 000) (01000, 01) Simon Ochsenreither 18
19 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn ein Symbol nur in den ersten oder nur in den zweiten Komponenten vorkommt, z. B. ( 01, 1) ( 0, 020) (01000, 01) Simon Ochsenreither 19
20 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn es kein Paar mit gleichem Präfix... ( 01, 1) ( 0, 000) (01000, 01) Simon Ochsenreither 20
21 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn es kein Paar mit gleichem Präfix... ( 01, 1) ( 0, 100) (01000, 11) Simon Ochsenreither 21
22 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn es kein Paar mit gleichem Präfix... ( 01, 1) ( 0, 100) (01000, 11)... oder Suffix gibt ( 01, 1) ( 0, 000) (01000, 01) Simon Ochsenreither 22
23 Post'sches Korrespondenzproblem (PKP) Das PKP ist unlösbar, wenn es kein Paar mit gleichem Präfix... ( 01, 1) ( 0, 100) (01000, 11)... oder Suffix gibt ( 00, 1) ( 0, 001) (01000, 01) Simon Ochsenreither 23
24 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Definition Gegeben: Wortpaare (x₁, y₁), (xₙ, yₙ) mit xₐ, yₐ Σ+ Gesucht: Existiert Folge a₂ aₖ mit der Eigenschaft xₐ₁ xₐ₂ xₐₖ = yₐ₁ yₐ₂ yₐₖ? Simon Ochsenreither 24
25 Post'sches Korrespondenzproblem (PKP) Definition Gegeben: Wortpaare (x₁, y₁), (xₙ, yₙ) mit xₐ, yₐ Σ+ Gesucht: Existiert Folge a₁ aₖ mit der Eigenschaft xₐ₁ xₐ₂ xₐₖ = yₐ₁ yₐ₂ yₐₖ? Simon Ochsenreither 25
26 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Definition Gegeben: Wortpaare (x₁, y₁), (xₙ, yₙ) mit xₐ, yₐ Σ+ Gesucht: Existiert Folge a₂ aₖ mit der Eigenschaft xₐ₁ xₐ₂ xₐₖ = yₐ₁ yₐ₂ yₐₖ? Simon Ochsenreither 26
27 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Einziger Unterschied zwischen PKP und MPKP: PKP: Start mit beliebigem Wortpaar MPKP: Start mit dem ersten Wortpaar (x ₁, y₁) Simon Ochsenreither 27
28 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Vermutung: MPKP PKP Simon Ochsenreither 28
29 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Demo: Reduktion von MPKP auf PKP Simon Ochsenreither 29
30 Modifiziertes Post'sches Korrespondenzproblem (MPKP) Beweis: Unentscheidbarkeit Simon Ochsenreither 30
31 Schnittproblem kontextfreier Grammatiken Gegeben: Gesucht: Kontextfreie Grammatiken G1 und G2 L(G1) L(G2) Simon Ochsenreither 31
32 Schnittproblem kontextfreier Grammatiken Demo: Beweis durch Reduktion Simon Ochsenreither 32
33 Schnittproblem kontextfreier Grammatiken Satz Das Schnittproblem ist für kontextfreie Grammatiken unentscheidbar Simon Ochsenreither 33
34 Mehrdeutigkeitsproblem kontextfreier Grammatiken Gegeben: Kontextfreie Grammatik Gesucht: Besitzt jedes Wort ω L(G) eine eindeutige Ableitung? Simon Ochsenreither 34
35 Mehrdeutigkeitsproblem kontextfreier Grammatiken Demo: Beweis durch Reduktion Simon Ochsenreither 35
36 Mehrdeutigkeitsproblem kontextfreier Grammatiken Satz Das Mehrdeutigkeitsproblem ist für kontextfreie Grammatiken unentscheidbar Simon Ochsenreither 36
37 Leerheitsproblem kontextsensitiver Grammatiken Gegeben: Gesucht: L(G)? Kontextsensitive Grammatiken Simon Ochsenreither 37
38 Leerheitsproblem kontextsensitiver Grammatiken Demo: Beweis durch Reduktion Simon Ochsenreither 38
39 Leerheitsproblem kontextsensitiver Grammatiken Satz Das Leerheitsproblem ist für kontextsensitive Spachen unentscheidbar Simon Ochsenreither 39
40 Zusammenfassung Allgemeines Halteproblem Halteproblem auf leerem Band Modifiziertes Post'sches Korrespondenzproblem Post'sches Korrespondenzproblem Schnittproblem kontextfreier Grammatiken Leerheitsproblem Mehrdeutigkeitsproblem kontextsensitiver kontextfreier Grammatiken Grammatiken Simon Ochsenreither 40
Das Halteproblem für Turingmaschinen
Das Halteproblem für Turingmaschinen Das Halteproblem für Turingmaschinen ist definiert als die Sprache H := { T w : T ist eine TM, die bei Eingabe w {0, 1} hält }. Behauptung: H {0, 1} ist nicht entscheidbar.
Satz von Rice. Lemma 39
Unentscheidbarkeit Satz von Rice Das nächste Resultat zeigt, dass jede Eigenschaft der von einer Turing-Maschine berechneten Funktion unentscheidbar ist. Das bedeutet, es gibt keine Methode, mit der man
Das Postsche Korrespondenzproblem
Das Postsche Korrespondenzproblem Eine Instanz des PKP ist eine Liste von Paaren aus Σ Σ : (v 1, w 1 ),..., (v n, w n ) Eine Lösung ist eine Folge i 1,..., i k von Indizes 1 i j n mit v i1... v ik = w
Ausgewählte unentscheidbare Sprachen
Proseminar Theoretische Informatik 15.12.15 Ausgewählte unentscheidbare Sprachen Marian Sigler, Jakob Köhler Wolfgang Mulzer 1 Entscheidbarkeit und Semi-Entscheidbarkeit Definition 1: L ist entscheidbar
Entscheidungsprobleme
Entscheidungsprobleme übliche Formulierung gegeben: Eingabe x aus einer Grundmenge M Frage: Hat x eine bestimmte Eigenschaft P? Beispiel: gegeben: Frage: n N Ist n eine Primzahl? Formalisierung: Grundmenge
Theoretische Informatik für Wirtschaftsinformatik und Lehramt
Theoretische Informatik für Wirtschaftsinformatik und Lehramt Entscheidungsprobleme Priv.-Doz. Dr. Stefan Milius [email protected] Theoretische Informatik Friedrich-Alexander Universität Erlangen-Nürnberg
Entscheidungsprobleme
Entscheidungsprobleme übliche Formulierung gegeben: Eingabe x aus einer Grundmenge U Frage: Hat x eine bestimmte Eigenschaft P? Beispiel: gegeben: Frage: n N Ist n eine Primzahl? Formalisierung: Grundmenge
Einfü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 2010 Lösungsblatt 11 15. Juli 2010 Einführung in die Theoretische
2.5 Halteproblem und Unentscheidbarkeit
38 25 Halteproblem und Unentscheidbarkeit Der Berechenbarkeitsbegriff ist auf Funktionen zugeschnitten Wir wollen nun einen entsprechenden Begriff für Mengen einführen Definition 255 Eine Menge A Σ heißt
Falls H die Eingabe verwirft, so wissen wir, dass M bei Eingabe w nicht hält. M hält im verwerfenden Haltezustand. Beweis:
1 Unentscheidbarkeit 2 Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Wintersemester 2014/15 #include char *s="include
Theoretische Informatik Mitschrift
Theoretische Informatik Mitschrift 9. Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit 9.1 Grundbegriffe bereits gezeigt: Spracherkennung durch Turingmaschine = Berechnung der semi-charakteristischen
Ist 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.
1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie
1 Einführung 2 Typ-0- und Typ-1-Sprachen 3 Berechnungsmodelle 4 Unentscheidbarkeit 5 Unentscheidbare Probleme 6 Komplexitätstheorie 139 Unentscheidbarkeit Überblick Zunächst einmal definieren wir formal
Theoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 17.November 2011 INSTITUT FÜR THEORETISCHE 0 KIT 17.11.2011 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der
THEORETISCHE INFORMATIK UND LOGIK
Rückblick THEORETISCHE INFORMATIK UND LOGIK 6. Vorlesung: Unentscheidbare Probleme formaler Sprachen Zwei wesentliche Erkenntnisse der letzten Vorlesung: Praktisch alle interessanten Fragen zu Turingmaschinen
1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie
1 Einführung 2 Typ-0- und Typ-1-Sprachen 3 Berechnungsmodelle 4 Unentscheidbarkeit 5 Unentscheidbare Probleme 6 Komplexitätstheorie WS 11/12 155 Überblick Zunächst einmal definieren wir formal den Begriff
Kapitel: Die Chomsky Hierarchie. Die Chomsky Hierarchie 1 / 14
Kapitel: Die Chomsky Hierarchie Die Chomsky Hierarchie 1 / 14 Allgemeine Grammatiken Definition Eine Grammatik G = (Σ, V, S, P) besteht aus: einem endlichen Alphabet Σ, einer endlichen Menge V von Variablen
THEORETISCHE INFORMATIK UND LOGIK
THEORETISCHE INFORMATIK UND LOGIK 6. Vorlesung: Unentscheidbare Probleme formaler Sprachen Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 26. April 2017 Rückblick Zwei wesentliche Erkenntnisse
Unentscheidbare Grammatik-Probleme
Unentscheidbare Grammatik-Probleme Satz: Für zwei kontextfreie Sprachen L 1 = L(G 1 ), L 2 = L(G 2 ) mit Typ-2-Grammatiken G 1 und G 2 sind die folgenden fünf Probleme unentscheidbar: 1) Leerheit des Schnitts
3.1 Kontextfreie Sprachen und Grammatiken 3.2 Ableitungsbäume 3.3 Die pre -Operation
Formale Systeme, Automaten, Prozesse Übersicht 3 3.1 Kontextfreie Sprachen und Grammatiken 3.2 Ableitungsbäume 3.3 Die pre -Operation 3.5 Normalformen für CFGs 3.6 Chomsky-Normalform 3.7 Greibach-Normalform
Post sches Korrespondenzproblem
Post sches Korrespondenzproblem Slide 1 Post sches Korrespondenzproblem Hans U. Simon (RUB) mit Modifikationen von Maike Buchin (RUB) Lehrstuhl Mathematik und Informatik Homepage: http://www.ruhr uni bochum.de/lmi
Konkatenation. Abschlusseigenschaften. Kleenescher Abschluss. Durchschnitt und Komplement
Abschlusseigenschaften Satz T6.5.5: Die kontextfreien Sprachen sind gegen Vereinigung, Konkatenation und kleeneschen Abschluss abgeschlossen. Vereinigung: Seien G 1, G 2 Grammatiken für L 1, L 2. O.B.d.A.
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2011/12
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Henning Kerstan & Jan Stückrath Barbara König
Abschluss unter Operationen
Abschluss unter Operationen Definition Definition: Es seien L eine Menge von Sprachen und τ eine n-stellige Operation, die über Sprachen definiert ist. Dann heißt L abgeschlossen unter τ, wenn für beliebige
Einführung in die Theoretische Informatik Tutorium IX
Einführung in die Theoretische Informatik Tutorium IX Michael R. Jung 16. & 17. 12. 2014 EThI - Tutorium IX 1 1 Entscheidbarkeit, Semi-Entscheidbarkeit und Unentscheidbarkeit 2 EThI - Tutorium IX 2 Definitionen
Carlos Camino Einführung in die Theoretische Informatik SS 2015
Themenüberblick Dies ist eine Art Checkliste für die Klausurvorbereitung. Zu jedem Thema im Skript sind hier ein paar Leitfragen aufgelistet. Besonders nützlich sind die Tabellen und Abbildungen auf den
Klausur: Berechenbarkeit und Komplexität (Niedermeier/Chen/Froese/Sorge, Sommersemester 2016)
Technische Universität Berlin, Berlin, 28.07.2016 Name:... Matr.-Nr.:... Klausur: Berechenbarkeit und Komplexität (Niedermeier/Chen/Froese/Sorge, Sommersemester 2016) Einlesezeit: Bearbeitungszeit: Max.
Der Satz von Rice. Dann ist C(S) eine unentscheidbare Menge.
Der Satz von Rice Satz: Sei R die Klasse der (Turing-) berechenbaren Funktionen, S eine nichttriviale Teilmenge von R und C(S) ={w Mw berechnet eine Funktion aus S}. Dann ist C(S) eine unentscheidbare
Lö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,
Wir haben eine Beziehung zwischen entscheidbar und rekursiv aufzählbar hergeleitet.
Rückschau 12.11.04 Wir haben eine Beziehung zwischen entscheidbar und rekursiv aufzählbar hergeleitet. Wir haben das Prinzip der Diagonalisierung eingeführt und mit DIAG eine erste nicht rek. aufz. Sprache
Beispiel: NTM. M = ({q 0,q 1,q 2 }, {0, 1}, {0, 1, #},δ, q 0, #, {q 2 }) q 2
Beispiel: NTM M = ({q 0,q 1,q 2 }, {0, 1}, {0, 1, #},δ, q 0, #, {q 2 }) 0,1,R 0,0,R q0 1,0,R q1 #,#,R q2 0,0,L Zustand 0 1 # q 0 {(1, R, q 0 )} {(0, R, q 1 )} q 1 {(0, R, q 1 ),(0, L, q 0 )} {(1, R, q
Unentscheidbarkeit. Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Henning Kerstan & Jan Stückrath Worum geht
Referat rekursive Mengen vs. rekursiv-aufzählbare Mengen
Kapitel 1: rekursive Mengen 1 rekursive Mengen 1.1 Definition 1.1.1 informal Eine Menge heißt rekursiv oder entscheidbar, wenn ihre charakteristische Funktion berechenbar ist. 1.1.2 formal Eine Menge A
MPCP das modifizierte PCP
MPCP das modifizierte PCP Das modifizierte PCP (MPCP) ist definiert wie PCP, einzige Ausnahme: Lösungen müssen mit i 1 = 1 beginnen! Lemma: H apple MPCP Zum Beweis muss eine Eingabe w#x in eine Instanz
Einfü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 2011 Lösungsblatt 9 25. Juli 2011 Einführung in die Theoretische Informatik
Formale Sprachen. Script, Kapitel 4. Grammatiken
Formale Sprachen Grammatiken Script, Kapitel 4 erzeugen Sprachen eingeführt von Chomsky zur Beschreibung natürlicher Sprache bedeutend für die Syntaxdefinition und -analyse von Programmiersprachen Automaten
Theorie der Informatik
Theorie der Informatik 8. Reguläre Sprachen II Malte Helmert Gabriele Röger Universität Basel 24. März 24 Pumping Lemma Pumping Lemma: Motivation Man kann zeigen, dass eine Sprache regulär ist, indem man
Entscheidbarkeitsfragen
Entscheidbarkeitsfragen Wir haben eine Reihe von Problemen, die wir auf die verschiedenen Sprachklassen anwenden können, etwa das folgende: Wortproblem: Gegeben eine Sprache L und ein Wort x. Frage: Gilt
Grundlagen der Theoretischen Informatik Musterlösungen zu ausgewählten Übungsaufgaben
Dieses Dokument soll mehr dazu dienen, Beispiele für die formal korrekt mathematische Bearbeitung von Aufgaben zu liefern, als konkrete Hinweise auf typische Klausuraufgaben zu liefern. Die hier gezeigten
Unentscheidbarkeit. 1. Wann sind Sprachen unentscheidbar? 1, A 0, A } = {
Unentscheidbarkeit 1. Wann sind Sprachen unentscheidbar? Eine Menge A heisst entscheidbar, falls die charakteristische Funktion von A, nämlich A : {0,1}, berechenbar ist, d.h. gilt: A = { 1, A 0, A } Eine
Halteproblem/Kodierung von Turing-Maschinen
Halteproblem/Kodierung von Turing-Maschinen Unser Ziel ist es nun zu zeigen, dass das sogenannte Halteproblem unentscheidbar ist. Halteproblem (informell) Eingabe: Turing-Maschine M mit Eingabe w. Frage:
Informatik III. Christian Schindelhauer Wintersemester 2006/ Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 13. Vorlesung 07.12.2006 1 Überblick: Die Church- Turing-These Turing-Maschinen 1-Band Turing-Maschine Mehrband-Turing-Maschinen Nichtdeterministische
Universelle Turingmaschinen
Universelle Turingmaschinen bisher: zum Erkennen einer rekursiven Sprache L wurde jeweils eine spezielle dtm M L angegeben jetzt: konstruieren feste dtm ( universelle Turingmaschine ), die als Eingabe
Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 16.07.2015 Viorica Sofronie-Stokkermans e-mail: [email protected] 1 Übersicht 1. Motivation 2. Terminologie
Universität Karlsruhe Institut für Theoretische Informatik. Klausur: Informatik III
Name Vorname Matrikelnummer Universität Karlsruhe Institut für Theoretische Informatik o. Prof. Dr. P. Sanders 10.4.2007 Klausur: Informatik III Aufgabe 1. Multiple Choice 11 Punkte Aufgabe 2. Minimalautomaten
Einführung in Berechenbarkeit, Komplexität und Formale Sprachen
Einführung in Berechenbarkeit, Komplexität und Formale Sprachen V7, 3.11.09 Willkommen zur Vorlesung Einführung in Berechenbarkeit, Komplexität und Formale Sprachen Friedhelm Meyer auf der Heide 1 Rückblick
Berechenbarkeit und Komplexität Vorlesung 10
Berechenbarkeit und Komplexität Vorlesung 10 Prof. Dr. Wolfgang Thomas Lehrstuhl Informatik 7 RWTH Aachen 27. November 2014 Wolfgang Thomas, Informatik 7 () Vorlesung Berechenbarkeit und Komplexität 27.
16. Die Chomsky-Hierarchie
16. Die Chomsky-Hierarchie Die Chomsky-Sprachen sind gerade die rekursiv aufzählbaren Sprachen: CH = RA Da es nicht rekursive (d.h. unentscheidbare) r.a. Sprachen gibt, ist das Wortproblem für Chomsky-Grammatiken,
Theoretische 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
Kapitel 3: Berechnungstheorie Gliederung
Gliederung 0. Motivation und Einordnung 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 3.1. Einordnung 3.2. Berechnungsmodelle 3.3. Diskussion 3.4. Ergebnisse und
Informatik III - WS07/08
Informatik III - WS07/08 Kapitel 5 1 Informatik III - WS07/08 Prof. Dr. Dorothea Wagner [email protected] Kapitel 5 : Grammatiken und die Chomsky-Hierarchie Informatik III - WS07/08 Kapitel 5 2 Definition
Theorie der Informatik
Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen Malte Helmert Gabriele Röger Universität Basel 7. April 2014 Kontextsensitive und allgemeine Grammatiken Wiederholung: (kontextsensitive)
Übungsaufgaben Blatt 3
Departement Informatik Open Class Sieben Wunder der Informatik Prof Dr Juraj Hromkovič Übungsaufgaben Blatt 3 Zürich, 23 November 26 Zusammenfassung und Aufgaben Ein Entscheidungsproblem besteht darin,
Einführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Johannes Köbler Institut für Informatik Humboldt-Universität zu Berlin WS 2012/13 Entscheidbare und semi-entscheidbare Sprachen 264 Definition Eine NTM M hält
Entscheidbare und unentscheidbare Probleme
Entscheidbare und unentscheidbare Probleme Slide 1 Entscheidbare und unentscheidbare Probleme Hans U. Simon (RUB) Email: [email protected] Homepage: http://www.ruhr-uni-bochum.de/lmi Entscheidbare und unentscheidbare
Übungsblatt 1. Lorenz Leutgeb. 30. März 2015
Übungsblatt Lorenz Leutgeb 30. März 205 Aufgabe. Annahmen ohne Einschränkungen: P Σ und P Γ. Per Definitionem der Reduktion: P P 2 f : Σ Γ wobei f total und berechenbar, genau so, dass: w Σ : w P f(w)
Berechenbarkeit und Komplexität
Berechenbarkeit und Komplexität Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2010/11 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien und Übungsblätter
Theorie der Informatik
Theorie der Informatik 15. Ackermannfunktion Malte Helmert Gabriele Röger Universität Basel 28. April 2014 Überblick: Vorlesung Vorlesungsteile I. Logik II. Automatentheorie und formale Sprachen III. Berechenbarkeitstheorie
Unentscheidbare Probleme bei formalen Sprachen
Unentscheidbare Probleme bei formalen Sprachen Maximilian Zagler 22.01.2008 Freie Universität Berlin, Institut für Informatik Proseminar Theoretische Informatik WS 07/08 Dozent: Prof. Dr. Helmut Alt 1
11.1 Kontextsensitive und allgemeine Grammatiken
Theorie der Informatik 7. April 2014 11. Kontextsensitive und Typ-0-Sprachen Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen 11.1 Kontextsensitive und allgemeine Grammatiken Malte Helmert
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2011 17. DIE CHOMSKY-HIERARCHIE Theoretische Informatik (SoSe 2011) 17. Die Chomsky-Hierarchie 1 / 15 Einleitung Die
Theorie 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
Definition (Reguläre Ausdrücke) Sei Σ ein Alphabet, dann gilt: (ii) ε ist ein regulärer Ausdruck über Σ.
Reguläre Ausdrücke Definition (Reguläre Ausdrücke) Sei Σ ein Alphabet, dann gilt: (i) ist ein regulärer Ausdruck über Σ. (ii) ε ist ein regulärer Ausdruck über Σ. (iii) Für jedes a Σ ist a ein regulärer
Klausur zur Vorlesung Informatik III Wintersemester 2007/2008
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Klausur zur Vorlesung Informatik III Wintersemester 2007/2008 Hier Aufkleber mit Name und Matrikelnr. anbringen Vorname: Nachname: Matrikelnummer:
Theoretische Informatik
Theoretische Informatik Lektion 10: Entscheidbarkeit Kurt-Ulrich Witt Wintersemester 2013/14 Kurt-Ulrich Witt Theoretische Informatik Lektion 10 1/15 Inhaltsverzeichnis Kurt-Ulrich Witt Theoretische Informatik
Reguläre Sprachen. R. Stiebe: Theoretische Informatik für ING-IF und Lehrer,
Reguläre Sprachen Reguläre Sprachen (Typ-3-Sprachen) haben große Bedeutung in Textverarbeitung und Programmierung (z.b. lexikalische Analyse) besitzen für viele Entscheidungsprobleme effiziente Algorithmen
Übungsblatt 6. Vorlesung Theoretische Grundlagen der Informatik im WS 17/18
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Übungsblatt 6 Vorlesung Theoretische Grundlagen der Informatik im WS 17/18 Ausgabe 10. Januar 2018 Abgabe 23. Januar 2018, 11:00 Uhr (im
Die Unentscheidbarkeit extensionaler Eigenschaften von Turingmaschinen: der Satz von Rice
Die Unentscheidbarkeit extensionaler Eigenschaften von Turingmaschinen: der Satz von Rice Holger Arnold Dieser Text befasst sich mit der Frage, unter welchen Bedingungen das Problem, zu bestimmen, ob die
Dank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Beispiel einer nicht berechenbaren Funktion: Busy Beaver
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
Theoretische Informatik I
Theoretische Informatik I Einheit 4.3 Eigenschaften von L 0 /L 1 -Sprachen 1. Abschlußeigenschaften 2. Prüfen von Eigenschaften 3. Grenzen der Sprachklassen Sprachklassen Semi-entscheidbare Sprache Sprache,
Informatik III. Christian Schindelhauer Wintersemester 2006/ Vorlesung
Informatik III Christian Schindelhauer Wintersemester 2006/07 15. Vorlesung 14.12.2006 1 Reduktionen Unentscheidbare Probleme Das Halteproblem Das Leerheitsproblem einer Turingmaschine Ein einfaches nicht
Was bisher geschah: Formale Sprachen
Was bisher geschah: Formale Sprachen Alphabet, Wort, Sprache Operationen und Relationen auf Wörtern und Sprachen Darstellung unendlicher Sprachen durch reguläre Ausdrücke (Syntax, Semantik, Äquivalenz)
Schnitt- und Äquivalenzproblem
Schnitt- und Äquivalenzproblem Das Schnittproblem besteht in der Frage, ob der Schnitt zweier gegebener regulärer Sprachen L 1 und L 2 leer ist. Dabei können die Sprachen durch DEAs oder Typ-3 Grammatiken,
(Prüfungs-)Aufgaben zur Berechenbarkeits- und Komplexitätstheorie
(Prüfungs-)Aufgaben zur Berechenbarkeits- und Komplexitätstheorie 1) Schreiben Sie ein LOOP-Programm, das die Funktion f: N \ {0} N, f (n) = n n berechnet. Sie dürfen in Ihrem Programm die Multiplikation
Turing: prinzipielle Berechenbarkeit Abschnitt 4.2. Turingmaschinen: DTM Abschnitt 4.2. DTM: Akzeptieren und Entscheiden Abschnitt 4.
Kap. 4: Berechnungsmodelle Turingmaschinen 4.2 Turing: prinzipielle Berechenbarkeit Abschnitt 4.2 Kap. 4: Berechnungsmodelle Turingmaschinen 4.2 Turingmaschinen: DTM Abschnitt 4.2 DTM = DFA + unbeschränkter
Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 7.07.2016 Viorica Sofronie-Stokkermans e-mail: [email protected] 1 Übersicht 1. Motivation 2. Terminologie
Kapitel 1 Automaten: Die Grundlagen und Methoden... 23
Vorwort...................................................... 17 Vorwort zur deutschen Auflage.............................. 21 Kapitel 1 Automaten: Die Grundlagen und Methoden..... 23 1.1 Wozu dient das
Reduktionen. Formalisierung von Sprache A ist nicht schwerer als Sprache B.
Reduktionen Formalisierung von Sprache A ist nicht schwerer als Sprache B. Idee: Algorithmus/DTM für B kann genutzt werden, um A zu entscheiden/akzeptieren. WS 2018/19 Reduktionen 1 Zwei einfache Sprachen
2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2017/2018
2. Klausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2017/2018 Hier Aufkleber mit Name und Matrikelnummer anbringen Vorname: Nachname: Matrikelnummer: Beachten Sie: Bringen Sie
Allgemeines Halteproblem Hilberts 10. Problem
Allgemeines Halteproblem Hilberts 10. Problem Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen November 2011 Berthold Vöcking, Informatik 1 () Vorlesung Berechenbarkeit
THEORETISCHE INFORMATIK UND LOGIK
THEORETISCHE INFORMATIK UND LOGIK 4. Vorlesung: Das Halteproblem und Reduktionen Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 19. April 2017 Ankündigung Wegen großer Nachfrage wird eine
Adventure-Problem. Vorlesung Automaten und Formale Sprachen Sommersemester Adventure-Problem
-Problem Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Zum Aufwärmen: wir betrachten das sogenannte -Problem, bei dem ein Abenteurer/eine
Mächtigkeit von LOOP-Programmen. Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen
Mächtigkeit von LOOP-Programmen Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen 1 / 23 Die Programmiersprache LOOP Syntax Elemente eines LOOP-Programms Variablen
2. Übungsblatt 6.0 VU Theoretische Informatik und Logik
2. Übungsblatt 6.0 VU Theoretische Informatik und Logik 25. September 2013 Aufgabe 1 Geben Sie jeweils eine kontextfreie Grammatik an, welche die folgenden Sprachen erzeugt, sowie einen Ableitungsbaum
Einführung in Berechenbarkeit, Komplexität und Formale Sprachen
Einführung in Berechenbarkeit, Komplexität und Formale Sprachen V8, 5.11.09 Willkommen zur Vorlesung Einführung in Berechenbarkeit, Komplexität und Formale Sprachen Friedhelm Meyer auf der Heide 1 Rückblick
VL-06: Unentscheidbarkeit II. (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger
VL-06: Unentscheidbarkeit II (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger WS 2017, RWTH BuK/WS 2017 VL-06: Unentscheidbarkeit II 1/37 Organisatorisches Nächste Vorlesung: Mittwoch, November