EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 8. DER ÄQUIVALENZSATZ. Prof. Dr. Klaus Ambos-Spies. Sommersemester 2017
|
|
- Helga Frank
- vor 6 Jahren
- Abrufe
Transkript
1 EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester DER ÄQUIVALENZSATZ Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 1 / 36
2 Übersicht In diesem Kapitel zeigen wir zunächst, dass die von uns eingeführten formalen Berechnungskonzepte übereinstimmen, d.h., dass eine Funktion genau dann Turing-berechenbar ist, wenn diese Registermaschinen-berechenbar ist, und wenn diese rekursiv ist (Äquivalenzsatz, 8.1) Wir stellen dann die Church-Turing-These vor, die besagt, dass die formalen Berechnungsbegriffe den intuitiven Berechnungsbegriff erfassen ( 8.2), und diskutieren schließlich einige Folgerungen aus dem Äquivalenzsatz, wobei wir insbesondere alternative Charakterisierungen der primitiv rekursiven Funktionen vorstellen ( 8.3). Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 2 / 36
3 8.1 Der Äquivalenzsatz Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 3 / 36
4 Der Äquivalenzsatz ÄQUIVALENZSATZ. Für eine (partielle) Funktion f : N n N sind folgende Aussagen äquivalent: f ist (partiell) rekursiv. f wird von einer Registermaschine berechnet. f ist (partiell) Turing-berechenbar. F(REK) = F(RM) = F(TM) Betrachtet man auch die von uns eingeführten Varianten der Turingund Registermaschinen-Berechenbarkeit, so lässt sich der Satz noch wie folgt erweitern: Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 4 / 36
5 Der Erweiterte Äquivalenzsatz ERWEITERTER ÄQUIVALENZSATZ. Für eine (partielle) Funktion f : N n N sind folgende Aussagen äquivalent: f ist (partiell) rekursiv. f wird von einem Registeroperator berechnet. f wird von einer Registermaschine berechnet. f ist (partiell) Turing-berechenbar. f ist (partiell) k-band-turingmaschinen-berechenbar (k 1). F(REK) = F(RO) = F(RM) = F(TM) = F(k-TM) = k 1 F(k-TM) Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 5 / 36
6 Bereits gezeigte Inklusionen In den vorangegangenen Kapitel haben wir bereits die folgenden Inklusionen bewiesen: F(REK) F(RO) (Kapitel 6) F(RO) F(RM) (Kapitel 5) F(RM) k 1 F(k-TM) (Kapitel 5) k 1 F(k-TM) = F(k-TM) = F(TM) für alle k 1 (Kapitel 4) Zum Beweis des (Erweiterten) Äquivalenzsatzes genügt es also noch zu zeigen: F(TM) F(REK) Der BEWEIS wird auf den folgenden Folien skizziert. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 6 / 36
7 Gliederung des Beweises der Inklusion F(TM) F(REK) Sei ϕ (n) F(TM). Um ϕ (n) F(REK) zu zeigen gehen wir wie folgt vor: (1) NORMIERUNG: Wähle eine geeignet normierte TM M, die ϕ berechnet. (2) GÖDELISIERUNG (KODIERUNG): Kodiere die Maschine M, M-Konfigurationen und M-Rechnungen durch Zahlen so, dass das Prädikat RECHNUNG( x, y, z) y kodiert eine terminierende M-Rechnung bei Eingabe x mit Ergebnis z primitiv rekursiv ist. Dann gilt ϕ( x) = (µy(rechnung( x,(y) 1,(y) 2 ))) 2, womit ϕ F(REK) bewiesen ist. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 7 / 36
8 Normierung Sei ϕ (n) eine n-stellige partiell Turing-berechenbare Funktion. Nach Definition gibt es dann eine Turingmaschine M = ({0},n,{0},Γ,Z,z 0,δ), die ϕ berechnet, d.h. für deren berechnete Funktion ϕ M gilt: ϕ = ϕ M. O.B.d.A. können wir folgende Annahmen über die Maschine M machen: Γ = {0,1,...,p} (für p 1 geeignet), wobei 1 = b das Blankzeichen sei Z = {0,1,...,q} (für q 1 geeignet) z 0 = 0 und z stopp := q ist ausgezeichneter Stoppzustand von M Die Buchstaben des Bandalphabets und die Zustände sind also Zahlen! Wir erreichen dies durch Umbenennen der Buchstaben des Bandalphabets (die nicht zum Ein- und Ausgabealphabet {0} gehören) und der Zustände. Den Stoppzustand q erhalten wir dadurch, dass wir diesen Zustand zur ursprünglichen Zustandsmenge hinzunehmen und für jedes Paar (z, a), für das δ nicht definiert ist, die Programmzeile δ(z,a) = (a,s,q) neu hinzufügen. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 8 / 36
9 Gödelisierung: Vorbemerkungen Um zu zeigen, dass die von M berechnete Funktion ϕ M partiell rekursiv ist, kodieren wir die Maschine M und deren Konfigurationen durch Zahlen, wodurch sich die Arbeitsweise von M mit Hilfe arithmetischer Prädikate und Funktionen beschreiben lässt. Hierzu benutzen wir die im letzten Kapitel eingeführte primitiv rekursive Kodierung endlicher Zahlenfolgen. Wir rufen zunächst die dort eingeführten Funktionen ins Gedächtnis und führen eine vereinfachte Bezeichnungsweise für die kodierten Folgen ein. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 9 / 36
10 Gödelisierung: Kodierung von Zahlfolgen x 1,...,x n := τ (x 1,...,x n ) := τ (λ) (x) i := π (x,i) d.h. ( x 1,...,x n ) i = x i (x) i,j := ((x) i ) j = π (π (x,i),j) l( x 1,...,x n ) = n head( x 1,...,x n ) = x 1 tail( x 1,...,x n ) = x 2,...,x n x 1,...,x n y 1,...,y m = x 1,...,x n,y 1,...,y m Wir haben gezeigt, dass mit Ausnahme von... diese Funktionen primitiv rekursiv sind. Weiter ist die Funktion x 1,...,x n primitiv rekursiv, wenn wir die Eingabelänge n festhalten. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 10 / 36
11 Gödelisierung: Kodierung von Konfigurationen Einer Konfiguration c =...a l...a 1 a 0...a r... z ordnen wir die Gödelnummer c = z(c), l(c), r(c) zu, wobei z(c) = z (Zustand) l(c) = a 1,...,a l (linke Bandhälfte; von rechts gelesen) r(c) = a 0,...,a r (rechte Bandhälfte inkl. AF; von links gelesen). NB(1): Da die Buchstaben des Bandalphabets Zahlen sind, können wir hier ein Wort a 1...a n durch die kodierte Zahlenfolge a 1,...,a n beschreiben. NB(2): Die wesentliche Information über c lässt sich primitiv rekursiv aus c extrahieren. Z.B. ist ( c) 1 der Zustand von c, ( c) 2 und ( c) 3 die kodierte linke bzw. rechte Bandhälfte und ( c) 3,1 die Inschrift des AF. Zur leichteren Lesbarkeit verwenden wir die folgenden primitiv rek. Funktionen: z(x) := (x) 1 lbh(x) := (x) 2 rbh(x) := (x) 3 af(x) := (x) 3,1 Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 11 / 36
12 Gödelisierung: Ausgezeichnete Konfigurationen und Übergänge Als nächstes zeigen wir, dass folgende Funktionen primitiv rekursiv sind: 1 start : ordnet einer Eingabe die Gödelnummer der zugehörigen Startkonfiguration zu 2 wert : ordnet der Gödelnummer einer Konfiguration die zugehörige Ausgabe zu 3 nfk : ordnet der Gödelnummer einer Nichtstopp-Konfiguration die Gödelnummer der Nachfolgekonfiguration zu Hiermit werden wir dann die primitive Rekursivität des Rechnungsprädikates RECHNUNG nachweisen. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 12 / 36
13 Gödelisierung: Kodierte Eingabefunktion BEHAUPTUNG. Die Funktion start : N n N mit start( x) = start(x 1,...,x n ) = c, wobei c die zu x = (x 1,...,x n ) gehörende Startkonfiguration c = x x x n 1... ist, ist primitiv rekursiv. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 13 / 36
14 Gödelisierung: Kodierte Eingabefunktion (Forts.) BEWEIS DER BEHAUPTUNG. Definiere start durch start( x) = 0, lbhstart( x), rbhstart( x) wobei lbhstart( x) = 1 rbhstart( x) = 1 unär(x 1 ) 1 unär(x n ) 1 Hierbei ordnet die durch unär(0) = 0 unär(m + 1) = unär(m) 0 definierte Funktion unär einer Zahl m die kodierte Folge m = 0,...,0 der Länge m + 1 zur Beschreibung der Unärdarstellung 0 m+1 von m zu. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 14 / 36
15 Gödelisierung: Kodierte Ausgabefunktion BEHAUPTUNG. Die Funktion wert : N N, die der Kodierung c einer Konfiguration c den zugehörigen Ausgabewert zuordnet, d.h. wert( c) = m für c =... a l... a 1 a 0 z m a m+2... a r... (a m+2 0), ist primitiv rekursiv. BEWEIS. Da m + 2 durch die Länge der relevanten rechten Bandhälfte beschränkt ist und a m+2 der erste rechts des Arbeitsfeldes stehende von 0 verschiedene Buchstabe ist, gilt wert(x) = µy l(rbh(x))(y 2 & (rbh(x)) y 0) 2. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 15 / 36
16 Gödelisierung: Kodierte Einschrittfunktion BEHAUPTUNG. Die Funktion nfk : N N, die der Gödelnummer c einer Nichtstoppkonfiguration c die Gödelnummer der Nachfolgekonfiguration von c zuordnet (und die die Gödelnummer c einer Stoppkonfiguration c auf sich selbst abbildet), ist primitiv rekursiv. BEWEIS. Wir setzen nfk(x) = nfz(x), nflbh(x), nfrbh(x) aus den im Folgenden definierten primitiv rekursiven Hilfsfunktionen nfz(x), nflbh(x) und nfrbh(x) zusammen, die bei Eingabe x = c Zustand sowie kodierte linke bzw. rechte Bandhälfte der Nachfolgekonfiguration c von c ausgeben. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 16 / 36
17 Gödelisierung: Kodierte Einschrittfunktion - Hilfsfunktionen Zur Definition dieser 3 Komponenten von nfk stellen wir das Programm δ zunächst durch drei primitiv rekursive Funktionen dar: nz(z,a) gibt den Nachfolgezustand des Zustandes z an, falls a auf dem Arbeitsfeld steht: { z falls δ(z,a) = (a,b,z ) (für a, B geeignet) nz(z,a) = z sonst NB: nz ist primitiv rekursiv, da nz(z,a) = z. no(z,a) gibt den im Zustand z ausgeführten Druckbefehl an, falls a auf dem Arbeitsfeld steht: { a falls δ(z,a) = (a,b,z ) (für B, z geeignet) no(z,a) = a sonst NB: no ist primitiv rekursiv, da no(z,a) = a. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 17 / 36
18 Gödelisierung: Kodierte Einschrittfunktion - Hilfsfunktionen (Forts) nb(z, a) gibt den im Zustand z ausgeführten Bewegungsbefehl (in kodierter Form) an, falls a auf dem Arbeitsfeld steht: { B nb(z,a) = S falls δ(z,a) = (a,b,z ) (für a, z geeignet) sonst Hierbei sei: L = 0, S = 1 und R = 2. NB: nb ist primitiv rekursiv, da nb(z,a) = 1. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 18 / 36
19 Gödelisierung: Kodierte Einschrittfunktion - Definition der Komponenten Hiermit können wir nun definieren: nfz(x) := nz(z(x), af(x)) lbh(x) nflbh(x) := tail(lbh(x)) 1 no(z(x),af(x)) lbh(x) falls nb(z(x),af(x)) = S falls nb(z(x),af(x)) = L falls nb(z(x),af(x)) = R sowie nfrbh(x) := no(z(x),af(x)) tail(rbh(x)) head(lbh(x)) no(z(x),af(x)) tail(rbh(x)) tail(rbh(x)) 1 falls nb(z(x),af(x)) = S falls nb(z(x),af(x)) = L falls nb(z(x),af(x)) = R Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 19 / 36
20 Gödelisierung: Kodierte Einschrittfunktion - Definition der Komponenten (Bemerkungen) Bei der Definition von nflbh haben wir den relevanten Teil der linken Bandhälfte links um ein Blank erweitert, falls diese durch den L-Befehl rechts um ein Feld gekürzt wird (s. Fall 2). Analog haben wir bei nfrbh im Fall 3 ein Blank am rechten Ende der rechten Bandhälfte hinzugefügt. Hierdurch haben wir sichergestellt, dass die relevanten linken und rechten Bandteile nie leer sind. Weiter beachte man, dass wir die Funktionen so definiert haben, dass für ein x, das keine Konfiguration mit Zustand z < q kodiert, nfk(x) = nfz(x), nflbh(x), nfrbh(x) = x gilt. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 20 / 36
21 Gödelisierung: Kodierung von Konfigurationenfolgen Eine Folge c 1,...,c m von Konfigurationen stellen wir als kodierte Folge der kodierten Konfigurationen dar: c 1,..., c m BEHAUPTUNG. Es gibt ein 1-stelliges primitiv rekursives Prädikat TKF, das auf eine Zahl x, deren erste (kodierte) Komponente (x) 1 eine Konfiguration kodiert, genau dann zutrifft, falls x eine maximale endliche M-Konfigurationenfolge kodiert: (x) 1 kodiert Konfiguration [TKF(x) x kodiert eine endl. maximale M-Konfigurationenfolge c 1,...,c m, d.h. x = c 1,..., c m & c 1 M c 2 M c m & c m ist Stoppkonfiguration] Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 21 / 36
22 Gödelisierung: Kodierung von Konfigurationenfolgen (Forts.) BEWEIS DER BEHAUPTUNG. Definiere TKF durch TKF(x) : l(x) 1 & i < l(x) (i 1 z((x) i ) < q & nfk((x) i ) = (x) i+1 ) & z((x) l(x) ) = q Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 22 / 36
23 Gödelisierung: das kodierte Rechnungsprädikat BEHAUPTUNG. Das (n+2)-stellige Prädikat RECHNUNG mit RECHNUNG( x, y, z) y kodiert eine terminierende M-Rechnung bei Eingabe x mit Ergebnis z ist primitiv rekursiv. BEWEIS. RECHNUNG( x,y,z) start( x) = (y) 1 & TKF(y) & wert((y) l(y) ) = z Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 23 / 36
24 Abschluss des Beweises Wie bereits zu Beginn des Beweises bemerkt, lässt sich die von M berechnete Funktion ϕ M mit Hilfe des gödelisierten Rechnungsprädikats durch darstellen. ϕ M ( x) = (µy(rechnung( x,(y) 1,(y) 2 ))) 2, Aus der primitiven Rekursivität von RECHNUNG ergibt sich hieraus die partielle Rekursivität von ϕ M. Da ϕ = ϕ M folgt hiermit: ϕ F(REK). Damit ist die Inklusion F(TM) F(REK) bewiesen, was auch den Beweis des Äquivalenzsatzes abschließt. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 24 / 36
25 8.2 Die Church-Turing-These Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 25 / 36
26 Äquivalenzsatz und Church-Turing-These Neben den drei von uns betrachteten Ansätzen zur Formalisierung des Berechenbarkeitsbegriffs wurde eine Reihe anderer formaler Berechnungskonzepte (z.b. Markov-Algorithmen, der λ-kalkül und Post s Kanonische Systeme) eingeführt, die sich ebenfalls als äquivalent zur Turing-Berechenbarkeit erwiesen haben. Weiter scheint es keinen Grund zu geben, der einen hindert einen Algorithmus in eine äquivalente Turing-Maschine zu überführen. Man geht daher davon aus, dass mit der Turing-Berechenbarkeit (und den anderen formalen hierzu äquivalenten Berechenbarkeitsbegriffen) eine adäquate Formalisierung des intuitiven Berechenbarkeitsbegriffs vorliegt ( CHURCH-TURING-THESE oder kurz CHURCHSCHE THESE). Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 26 / 36
27 Church-Turing-These CHURCH-TURING-THESE (CHURCHsche THESE): Für eine (partielle) Funktion ϕ : N n N sind die folgenden Aussagen äquivalent: ϕ ist (partiell) Turing-berechenbar ϕ ist im intuitiven Sinne (partiell) berechenbar NB Diese These beschreibt eine Überzeugung. Sie vergleicht ein vages, intuitives Konzept (berechenbar) mit einem präzisen mathematischen Konzept (Turing-berechenbar). Die These ist daher nicht im strengen mathematischen Sinn beweisbar. Man kann daher nur anschaulich argumentieren und sagen, dass die These plausibel ist. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 27 / 36
28 Church-Turing-These für die Entscheidbarkeit Nach der Church-Turing-These und dem Äquivalenzsatz stimmen die (partiell) berechenbaren Funktionen mit den (partiell) rekursiven Funktionen überein. Da eine Mengen genau dann entscheidbar ist, wenn ihre charakteristische Funktion berechenbar ist, und da wir entsprechend definiert haben, dass eine Menge genau dann rekursiv ist, wenn ihre charakteristische Funktion rekursiv ist, impliziert die Church-Turing-These auch die Äquivalenz A entscheidbar A rekursiv Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 28 / 36
29 Church-Turing-These für die Aufzählbarkeit Den Begriff der Aufzählbarkeit konnten wir ebenfalls auf den der Berechenbarkeit zurückführen, indem wir beobachteten, dass eine Menge genau dann aufzählbar ist, wenn sie der Definitionsbereich einer partiell berechenbaren Funktion ist. Wir definieren nun entsprechend: DEFINITION. Eine Menge M N n ist rekursiv aufzählbar (r.a.), wenn M der Definitionsbereich einer partiell rekursiven Funktion ϕ : N n N ist. Aus der Church-Turing-These für die Berechenbarkeit ergibt sich dann: A aufzählbar A rekursiv aufzählbar Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 29 / 36
30 8.3 Folgerungen aus dem Äquivalenzsatz Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 30 / 36
31 Eine Folgerung aus dem Äquivalenzsatz Die im Beweis des Äquivalenzsatzes gefundene Darstellung von ϕ ϕ( x) = (µy(rechnung( x,(y) 1,(y) 2 ))) 2, zeigt, dass jede partiell rekursive Funktion eine Darstellung hat, in der der µ-operator nur einmal angewendet wird, während die anderen Bestandteile der Darstellung primitiv rekursiv sind: NORMALFORMSATZ. Zu jeder partiell rekursiven Funktion ϕ : N n N gibt es eine 1-stellige primitiv rekursive Funktion f und ein (n + 1)-stelliges primitiv rekursives Prädikat P, sodass gilt. ϕ( x) = f (µy(p( x,y))) Anmerkung: Im nächsten Kapitel werden wir eine Verschärfung des Normalformsatzes erhalten ( Normalformtheorem von Kleene). Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 31 / 36
32 Primitiv rekursive Funktionen und TMs Ähnlich kann man zeigen: SATZ. Für eine totale Funktion f (n) über N sind folgende Aussagen äquivalent: (a) f ist primitiv rekursiv. (b) f wird von einer Turingmaschine M berechnet, deren Laufzeit time M ( x) durch eine primitiv rekursive Funktion t( x) beschränkt ist. BEWEISIDEE. (a) (b) Induktion nach dem Aufbau der primitiv rekursiven Funktionen. (b) (a) Nach den vorangehenden Bemerkungen genügt es zu zeigen, dass die kodierte Rechnung einer Turingmaschine primitiv rekursiv in der Eingabe und in der Rechenzeit beschränkt ist. Dies ergibt sich leicht aus der Definition der kodierten Rechnung. (Übung!) Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 32 / 36
33 Kleiner Äquivalenzsatz Weiter lassen sich die primitiv rekursiven Funktionen mit Hilfe der primitiven Registeroperatoren beschreiben: KLEINER ÄQUIVALENZSATZ. F(PRO) = F(PRIM). Da wir bereits F(PRIM) F(PRO) = F kon (PRO) gezeigt haben, genügt es hierzu folgendes Lemma zu beweisen. LEMMA. F kon (PRO) F(PRIM). Aus Zeitgründen verzichten wir auf den Beweis, der ebenfalls mit Kodierungen arbeitet: Hier werden Registermaschinen gödelisiert. Bei Interesse kann der Beweis im Skript (Kapitel 10) nachgelesen werden: Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 33 / 36
34 Historische Anmerkung STICHWORT GÖDELISIERUNG: Kurt Gödel 1906 (Brünn/Brno) (Princeton) Bedeutendster Mathematischer Logiker des 20. Jahrhunderts Gödel benutzte die Technik der Gödelisierung um seine berühmten Unvollständigkeitssätze zu zeigen: 1. UNVOLLSTÄNDIGKEITSSATZ. Es gibt keinen (konsistenten) Kalkül der Arithmetik, in dem alle wahren Sätze der Arithmetik herleitbar sind. 2. UNVOLLSTÄNDIGKEITSSATZ. Die Konsistenz eines Kalküls lässt sich nicht mit Mitteln des Kalküls alleine beweisen. ( Hilbert s Programm zur Formalisierung der Mathematik ist undurchführbar) Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 34 / 36
35 Historische Anmerkung (Fortsetzung) Berechenbarkeitstheoretische Version des 1. Unvollständigkeitssatzes: Die in einem Kalkül herleitbaren Sätze bilden eine rekursiv aufzählbare Menge. Die Menge der wahren Sätzen der Arithmetik ist nicht rekursiv aufzählbar. (Hierbei wird von einer Gödelisierung der Formeln ausgegangen.) Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 35 / 36
36 Unser erstes Ziel, nämlich den Algorithmenbegriff zu formalisieren, haben wir erreicht. Wir benutzen dies nun um Grundergebnisse der Berechenbarkeitstheorie (z.b. Existenz universeller Maschinen) Grenzen der Berechenbarkeit (z.b. Unentscheidbarkeit des Halteproblems) aufzuzeigen. Theoretische Informatik (SoSe 2017) 8. Der Äquivalenzsatz 36 / 36
8. Der Äquivalenzsatz
8. Der Äquivalenzsatz ÄQUIVALENZSATZ. Für eine (partielle) Funktion f : N n N sind folgende Aussagen äquivalent: f ist (partiell) Turing-berechenbar. f wird von einer k-band-turingmaschine berechnet (k
Mehr10. Der Äquivalenzsatz
10. Der Äquivalenzsatz In diesem Abschnitt zeigen wir, dass die von uns betrachteten verschiedenen Formalisierungen des Berechenbarkeitsbegriffs äquivalent sind, d.h. alle zu derselben Klasse (partiell)
MehrUniverselle Maschinen und universelle Funktionen
Universelle Maschinen und universelle Funktionen UNIVERSELLE FUNKTIONEN DEFINITION. Sei F eine Klasse von partiellen Funktionen über N. Eine partielle Funktion ϕ (n+1) ist n-universell für F, wenn (i)
MehrTheoretische Informatik für Wirtschaftsinformatik und Lehramt
Theoretische Informatik für Wirtschaftsinformatik und Lehramt Universelle Turingmaschinen und Church sche These Priv.-Doz. Dr. Stefan Milius stefan.milius@fau.de Theoretische Informatik Friedrich-Alexander
Mehr14. Rekursiv aufzählbare Mengen
14. Rekursiv aufzählbare Mengen In diesem Abschnitt fassen wir einige Eigenschaften der rekursiv aufzählbaren d.h. der nach Churchscher These (effektiv) aufzählbaren Mengen zusammen. In Korollar 11.8 haben
Mehr9. Universelle Maschinen und universelle Funktionen
9. Universelle Maschinen und universelle Funktionen In diesem Abschnitt zeigen wir die Existenz universeller Turingmaschinen U. Solch eine Maschine U simuliert (interpretiert) alle Turingmaschinen (genauer:
MehrWir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen?
Einige Fragen Ziel: Wir suchen Antworten auf die folgenden Fragen: Wie kann man das intuitiv Berechenbare formal fassen? Was ist ein Algorithmus? Welche Indizien hat man dafür, dass ein formaler Algorithmenbegriff
Mehr10. UNENTSCHEIDBARE PROBLEME:
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2011 10. UNENTSCHEIDBARE PROBLEME: DIAGONALISIERUNG UND REDUKTION Theoretische Informatik (SoSe 2011) 10. Unentscheidbare
MehrLogik und Beweisbarkeit
Logik und Beweisbarkeit VL 10 Martin Mundhenk Univ. Jena, Institut für Informatik 22. Januar 2019 Vorlesung 11: Beweissysteme 3. Berechenbarkeitstheorie VL08: URM-berechenbare Funktionen und die These
Mehr2 Turingmaschinen 6. Eine nd. k-band-turingmaschine M zur Erkennung einer m-stelligen Sprache L (Σ ) m ist ein 8-Tupel
2. Turingmaschinen Als Formulierung von Algorithmen benutzen wir hier Turingmaschinen. Von den vielen Varianten dieses Konzeptes (s. Vorlesung Einführung in die Theoretische Informatik ) greifen wir das
Mehr9. UNVERSELLE MASCHINEN UND UNIVERSELLE FUNKTIONEN
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 9. UNVERSELLE MASCHINEN UND UNIVERSELLE FUNKTIONEN Theoretische Informatik (SoSe 2012) 9. Universelle Funktionen
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 15.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 3. TURINGMASCHINEN. Prof. Dr. Klaus Ambos-Spies. Sommersemester 2012
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 3. TURINGMASCHINEN Theoretische Informatik (SoSe 2012) 3. Turingmaschinen 1 / 45 Alan Mathison Turing (1912-1954)
MehrUnentscheidbarkeitssätze der Logik
Unentscheidbarkeitssätze der Logik Elmar Eder () Unentscheidbarkeitssätze der Logik 1 / 30 Die Zahlentheorie ist nicht formalisierbar Satz (Kurt Gödel) Zu jedem korrekten formalen System der Zahlentheorie
MehrDie Church-Turing-These
Die Church-Turing-These Elmar Eder () Die Church-Turing-These 1 / 12 Formale Systeme Formale Systeme µ-partiellrekursive Funktionen Logikkalküle SLD-Resolution (Prolog) Chomsky-Grammatiken Turing-Maschinen
Mehr6.4 Entscheidbarkeit. nein sein müssen, ist klar. THEO 6.4 Entscheidbarkeit 205/307 c Ernst W. Mayr
6.4 Entscheidbarkeit Wortproblem Leerheit Äquivalenz Schnittproblem Typ 3 ja ja ja ja DCFL ja ja ja nein (*) Typ 2 ja ja nein (*) nein Typ 1 ja nein (*) nein nein Typ 0 nein (*) nein nein nein (*) Diese
MehrAlan Mathison Turing ( )
3. Turingmaschinen Alan Mathison Turing (1912-1954) Britischer Logiker, Mathematiker und Computerpionier http://www.time.com/time/time100/scientist/profile/turing.html 1 FORMALISIERUNG VON ALGORITHMEN
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 7.07.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
Mehr6. REKURSIVE FUNKTIONEN Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 6. REKURSIVE FUNKTIONEN Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen Theoretische
MehrEntscheidungsprobleme
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
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 0. ORGANISATORISCHES UND ÜBERBLICK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2014 0. ORGANISATORISCHES UND ÜBERBLICK Theoretische Informatik (SoSe 2014) 0. Organisatorisches und Überblick 1 / 16
Mehr5. Universelle Maschinen und uniform rekursive Klassen
5. Universelle Maschinen und uniform rekursive Klassen Die Existenz universeller Maschinen erlaubt effektive Aufzählungen der Klasse der r.a. Mengen, der Klasse der partiell rekursiven Funktionen und der
MehrRekursive und primitiv rekursive Funktionen. Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen
Rekursive und primitiv rekursive Funktionen Ein maschinenunabhängiges formales Berechnungsmodell auf den natürlichen Zahlen IDEE: Definiere eine Klasse von (partiell) berechenbaren Funktionen über N induktiv
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 0. ORGANISATORISCHES UND ÜBERBLICK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2017 0. ORGANISATORISCHES UND ÜBERBLICK Theoretische Informatik (SoSe 2017) 0. Organisatorisches und Überblick 1 / 16
Mehr6. Varianten des Turingmaschinen-Konzeptes II: Varianten der Speicherstruktur
6. Varianten des Turingmaschinen-Konzeptes II: Varianten der Speicherstruktur Der Speicherzugriff bei Turingmaschinen ist recht umständlich. Man erhält effizientere Speicherstrukturen, wenn man mehrere
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik 0 KIT 17.05.2010 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik nationales Forschungszentrum Vorlesung in am
MehrLOOP-Programme: Syntaktische Komponenten
LOOP-Programme: Syntaktische Komponenten LOOP-Programme bestehen aus folgenden Zeichen (syntaktischen Komponenten): Variablen: x 0 x 1 x 2... Konstanten: 0 1 2... Operationssymbole: + Trennsymbole: ; :=
MehrUniversität Heidelberg 23. Juli 2018 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl. Math. Martin Monath
Universität Heidelberg 23. Juli 2018 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl. Math. Martin Monath Erste Klausur zur Vorlesung Einführung in die Theoretische Informatik Es können maximal
MehrTheoretische Informatik für Wirtschaftsinformatik und Lehramt
Theoretische Informatik für Wirtschaftsinformatik und Lehramt Entscheidungsprobleme Priv.-Doz. Dr. Stefan Milius stefan.milius@fau.de Theoretische Informatik Friedrich-Alexander Universität Erlangen-Nürnberg
MehrEin formales Berechnungsmodell: Turingmaschinen. Turingmaschinen 26 / 62
Ein formales Berechnungsmodell: Turingmaschinen Turingmaschinen 26 / 62 Ein formales Rechnermodell Bisher haben wir abstrakt von Algorithmen bzw. Programmen gesprochen und uns dabei JAVA- oder C++-Programme
Mehr5. REGISTERMASCHINEN Ein formales Berechnungsmodell auf den natürlichen Zahlen
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2011 5. REGISTERMASCHINEN Ein formales Berechnungsmodell auf den natürlichen Zahlen Theoretische Informatik (SoSe 2011)
MehrKapitel 1.4. Exkurs: Entscheidbarkeit und Komplexität. Mathematische Logik (WS 2012/3) K. 1.4: Entscheidbarkeit und Komplexität 1/10
Kapitel 1.4 Exkurs: Entscheidbarkeit und Komplexität Mathematische Logik (WS 2012/3) K. 1.4: Entscheidbarkeit und Komplexität 1/10 Algorithmen Ein Algorithmus oder eine Rechenvorschrift ist ein effektives
MehrBerechenbarkeit und Komplexität
Teil II: Berechenbarkeit und Komplexität Algorithmen und Komplexität 22. November 2016 Berechenbarkeitstheorie RAM-Maschine 1: M 1 1 2: M 0 1 3: M 0 M 0 M 1 4: M 2 M 2 M 1 5: GOTO 3 IF M 2 > 0. M 2 : M
MehrNachklausur zur Vorlesung Einführung in die Theoretische Informatik
Universität Heidelberg 11. Oktober 2012 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Nachklausur zur Vorlesung Einführung in die Theoretische Informatik Musterlösungen
MehrAlgorithmentheorie 8. Vorlesung
Algorithmentheorie 8. Vorlesung Martin Dietzfelbinger 1. Juni 2006 1.7 Die Churchsche These Der intuitive Berechenbarkeitsbegriff wird durch die Formalisierung TM-Berechenbarkeit, also Rekursivität von
Mehr11. Woche: Turingmaschinen und Komplexität Rekursive Aufzählbarkeit, Entscheidbarkeit Laufzeit, Klassen DTIME und P
11 Woche: Turingmaschinen und Komplexität Rekursive Aufzählbarkeit, Entscheidbarkeit Laufzeit, Klassen DTIME und P 11 Woche: Turingmaschinen, Entscheidbarkeit, P 239/ 333 Einführung in die NP-Vollständigkeitstheorie
Mehr4. VARIANTEN DES TURINGMASCHINEN-KONZEPTES
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2012 4. VARIANTEN DES TURINGMASCHINEN-KONZEPTES Theoretische Informatik (SoSe 2012) 4. Varianten des Turingmaschinen-Konzeptes
MehrAlgorithmen und Komplexität, Teil II: Berechenbarkeit und Komplexität
Algorithmen und Komplexität, Teil II: Berechenbarkeit und Komplexität Ralph Keusch 21. November 2017 Berechenbarkeitstheorie RAM-Maschine 1: M 1 1 2: M 0 1 3: M 0 M 0 M 1 4: M 2 M 2 M 1 5: GOTO 3 IF M
MehrGrundlagen Theoretischer Informatik 2 WiSe 2011/12 in Trier. Henning Fernau Universität Trier
Grundlagen Theoretischer Informatik 2 WiSe 2011/12 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Grundlagen Theoretischer Informatik 2 Gesamtübersicht Organisatorisches; Einführung Ersetzungsverfahren:
MehrDefinition 98 Eine Turingmaschine heißt linear beschränkt (kurz: LBA), falls für alle q Q gilt:
5.2 Linear beschränkte Automaten Definition 98 Eine Turingmaschine heißt linear beschränkt (kurz: LBA), falls für alle q Q gilt: (q, c, d) δ(q, ) = c =. Ein Leerzeichen wird also nie durch ein anderes
Mehr2.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
MehrEntscheidungsprobleme
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
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 16.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
Mehr8. Rekursive und primitiv rekursive Funktionen
8. Rekursive und primitiv rekursive Funktionen In diesem Abschnitt führen wir eine weitere (letzte) Formalisierung des Berechenbarkeitskonzeptes für Funktionen über den natürlichen Zahlen ein. Hatten wir
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 2010 Lösungsblatt 11 15. Juli 2010 Einführung in die Theoretische
MehrMä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
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 19 Entscheidbarkeit und Berechenbarkeit In der letzten Vorlesung haben wir verschiedene mathematische Operationen
MehrFragen 1. Muss eine DTM ein Wort zu Ende gelesen haben, um es zu akzeptieren? a) Ja! b) Nein!
4 Turingmaschinen Eingabeband nicht nur lesen, sondern auch schreiben kann und die zudem mit ihrem Lese-Schreib-Kopf (LSK) nach links und rechts gehen kann. Das Eingabeband ist zudem in beide Richtungen
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik 0 KIT 07.11.2014 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik nationales Forschungszentrum Vorlesung in am
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 23 Der erste Gödelsche Unvollständigkeitssatz Wir haben gesehen, dass die Unentscheidbarkeit des Halteproblems über
Mehr1 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
MehrDank. 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
MehrUnentscheidbarkeit von Problemen mittels Turingmaschinen
Unentscheidbarkeit von Problemen mittels Turingmaschinen Daniel Roßberg 0356177 Roland Schatz 0355521 2. Juni 2004 Zusammenfassung In dieser Arbeit befassen wir uns mit der Unentscheidbarkeit von Problemen
MehrInformatik 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
MehrBerechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion
Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität 26. November 2007 Semi-Entscheidbarkeit
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (III) 8.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
MehrBerechenbarkeit. Script, Kapitel 2
Berechenbarkeit Script, Kapitel 2 Intuitiver Berechenbarkeitsbegriff Turing-Berechenbarkeit WHILE-Berechenbarkeit Church sche These Entscheidungsprobleme Unentscheidbarkeit des Halteproblems für Turingmaschinen
MehrBerechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion
Berechenbarkeit und Komplexität: Rekursive Aufzählbarkeit und die Technik der Reduktion Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität 7. Dezember 2006 Rekursiv vs. rekursiv
MehrTuring-Maschine Definition
Turing-Maschine Definition Definition: Eine Turing-Maschine ist ein Quintupel M = (X, Z, z 0, Q, δ), wobei - X und Z Alphabete sind, - z 0 Z und Q Z gelten, - δ eine Funktion von (Z \ Q) (X { }) in Z (X
MehrKapitel 5. Entscheidbarkeit und Berechenbarkeit. 5.1 Entscheidbarkeit
Kapitel 5 Entscheidbareit und Berechenbareit Wir wenden uns nun grundsätzlichen Fragen zu, nämlich den Fragen nach der prinzipiellen Lösbareit von Problemen. Dazu stellen wir auch einen Zusammenhang zwischen
MehrTuring-Maschinen: Ein abstrakes Maschinenmodell
Wann ist eine Funktion (über den natürlichen Zahlen) berechenbar? Intuitiv: Wenn es einen Algorithmus gibt, der sie berechnet! Was heißt, eine Elementaroperation ist maschinell ausführbar? Was verstehen
MehrBerechnungsmodelle. Mathias Hecht. April 29, 2010
Berechnungsmodelle Mathias Hecht April 29, 2010 1 Die Turingmaschine 1.1 Definition Eine Turingmaschine wird durch ein Tupel (Γ, Q, δ) beschrieben. Γ ein endliches Alphabet Q : eine endliche Menge an Zuständen
MehrBeispiel: 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
MehrInformatik III. Arne Vater Wintersemester 2006/ Vorlesung
Informatik III Arne Vater Wintersemester 2006/07 10. Vorlesung 24.11.2006 1 Turingmaschinen Informatik III 9. Vorlesung - 2 Turingmaschinen Eine (deterministische 1-Band) Turingmaschine (DTM) wird beschrieben
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 21 Repräsentierbarkeit der Halteeigenschaft Ein Durchlauf eines Registerprogramms P bis zum Rechenschritt t wird am
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
MehrLogik und Beweisbarkeit
Logik und Beweisbarkeit VL 08 Martin Mundhenk Univ. Jena, Institut für Informatik 11. Januar 2019 Teil 3: Berechenbarkeitstheorie 1. Aussagenlogik 2. Arithmetik 3. Berechenbarkeitstheorie VL08: URM-berechenbare
Mehr3. Mathematische Maschinen
3. Mathematische Maschinen Bei den Anforderungen an Algorithmen im letzten Paragraphen haben wir bemerkt, dass ein Algorithmus im Prinzip von einer Maschine ausgeführt werden kann. Umgekehrt kann solch
MehrReduktionen. 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
Mehr1 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
MehrVL-11: LOOP und WHILE Programme I. (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger
VL-11: LOOP und WHILE Programme I (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger WS 2017, RWTH BuK/WS 2017 VL-11: LOOP und WHILE Programme I 1/46 Organisatorisches Nächste Vorlesung: Mittwoch,
MehrSemi-Entscheidbarkeit und rekursive Aufzählbarkeit
Semi-Entscheidbarkeit und rekursive Aufzählbarkeit Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen 9. November 2009 Berthold Vöcking, Informatik 1 () Vorlesung
MehrHalteproblem/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:
MehrWiederholung. Organisatorisches. VL-11: LOOP und WHILE Programme I. (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger
Organisatorisches VL-11: LOOP und WHILE Programme I (Berechenbarkeit und Komplexität, WS 2017) Gerhard Woeginger Nächste Vorlesung: Mittwoch, November 29, 14:15 15:45 Uhr, Roter Hörsaal Webseite: http://algo.rwth-aachen.de/lehre/ws1718/buk.php
MehrPräsenzübung Berechenbarkeit und Komplexität
Lehrstuhl für Informatik 1 WS 2013/14 Prof. Dr. Berthold Vöcking 28.01.2014 Kamal Al-Bawani Benjamin Ries Präsenzübung Berechenbarkeit und Komplexität Musterlösung Name:...................................
MehrVorname Name Matrikelnummer 1. a) Benennen Sie die übrigen 6 Komponenten einer nicht-deterministischen Turingmaschine (TM): (3 Punkte)
1 Aufgabe 1 (19 Punkte) a) Benennen Sie die übrigen 6 Komponenten einer nicht-deterministischen Turingmaschine (TM): (3 Punkte) Q, die endliche Zustandsmenge b) Was besagt die Church-Turing-These? (1 Punkt)
MehrTheorie 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
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 2011 Lösungsblatt 8 18. Juli 2011 Einführung in die Theoretische Informatik
MehrFalls 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
MehrGrundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I
Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Institut für Informatik Sommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
MehrBerechenbarkeit. Script, Kapitel 2
Berechenbarkeit Script, Kapitel 2 Intuitiver Berechenbarkeitsbegriff Turing-Berechenbarkeit WHILE-Berechenbarkeit Church sche These Entscheidungsprobleme Unentscheidbarkeit des Halteproblems für Turingmaschinen
MehrGrundlagen 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
MehrGrundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I
Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Institut für Informatik Sommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
Mehr1 Eine Menge M Σ heißt (rekursiv) aufzählbar genau. 2 Die Familie aller aufzählbaren Mengen wird mit RE
Aufzählbarkeit Formale Grundlagen der Informatik 1 Kapitel 9 Entscheidbarkeit und Aufzählbarkeit Frank Heitmann heitmann@informatik.uni-hamburg.de 5. Mai 2014 Definition 1 Eine Menge M Σ heißt (rekursiv)
Mehr3. Turingmaschinen FORMALISIERUNG VON ALGORITHMEN. Turingmaschinen Registermaschinen Rekursive Funktionen UNTERSCHEIDUNGSMERKMALE DER ANSÄTZE:
FORMALISIERUNG VON ALGORITHMEN Wegen der beobachteten Zusammenhänge zwischen Berechnungs-, Entscheidungs- und Aufzählungsverfahren genügt es Berechnungsverfahren zu formalisieren. Weiter genügt es Verfahren
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
MehrAngewandte Mathematik am Rechner 1
Angewandte Mathematik am Rechner 1 SOMMERSEMESTER 2017 Kapitel 3 [Bildquellen: Wikipedia User David Madore, Inductiveload ] Grundlagen 2: Funktionen, Berechenbarkeit und emergente Komplexität Michael Wand
MehrTuring Maschine. Thorsten Timmer. SS 2005 Proseminar Beschreibungskomplexität bei Prof. D. Wotschke. Turing Maschine SS 2005 p.
Thorsten Timmer SS 2005 Proseminar Beschreibungskomplexität bei Prof. D. Wotschke Turing Maschine SS 2005 p. 1/35 Inhalt Einführung Formale Definition Berechenbare Sprachen und Funktionen Berechnung ganzzahliger
MehrÜ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)
MehrDank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Akzeptierbarkeit und Entscheidbarkeit. Teil V.
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
MehrDie 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
Mehra b b a Vom DFA zur TM Formale Grundlagen der Informatik 1 Kapitel 9 Turing-Maschinen Der Lese-/Schreibkopf Bedeutung der TM
Vom DFA zur TM Formale der Informatik 1 Kapitel 9 Frank Heitmann heitmann@informatik.uni-hamburg.de a b b a z 0 a z 1 a z 2 b 2. Mai 2016 Wir wollen auf dem Band nach rechts und links gehen können und
MehrTheoretische 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
MehrInformatik III. Arne Vater Wintersemester 2006/ Vorlesung
Informatik III Arne Vater Wintersemester 2006/07 11. Vorlesung 30.11.2006 1 Beziehungen zwischen den Sprachen Jede reguläre Sprache ist eine kontextfreie Sprache. Jede kontextfreie Sprache ist eine entscheidbare
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik
MehrTuringmaschinen. und eine kleine Einführung in Bereiche der theoretischen Informatik
Turingmaschinen und eine kleine Einführung in Bereiche der theoretischen Informatik Gliederung Einführung Leben Alan Turing Theoretische Informatik Turingmaschine Aufbau, Definition Beispiele Game of Life
MehrWie man eine Sprache versteht
Aufzählbarkeit Formale Grundlagen der Informatik 1 Kapitel 10 Aufzählbarkeit und (Un-)Entscheidbarkeit Frank Heitmann heitmann@informatik.uni-hamburg.de 11. Mai 2015 Definition 1 Eine Menge M Σ heißt (rekursiv)
Mehr