Übung Grundbegriffe der Informatik
|
|
- Carl Biermann
- vor 6 Jahren
- Abrufe
Transkript
1 Übung Grundbegriffe der Informatik Karlsruher Institut für Technologie Matthias Schulz, Gebäude 5034, Raum
2 Vergleich Endlicher Akzeptor - Turingmaschine z 0a a b a 2
3 Vergleich Endlicher Akzeptor - Turingmaschine z 1 = f(z 0,a) a a b a 3
4 Vergleich Endlicher Akzeptor - Turingmaschine z 2 = f(z 1,a) a a b a 4
5 Vergleich Endlicher Akzeptor - Turingmaschine a a b z 3 = f(z 2,b) a 5
6 Vergleich Endlicher Akzeptor - Turingmaschine a a b a z 4 = f(z 3,a) 6
7 Vergleich Endlicher Akzeptor - Turingmaschine z 0 a a b a 7
8 Vergleich Endlicher Akzeptor - Turingmaschine z 1 = f(z 0,a) a a b a 8
9 Vergleich Endlicher Akzeptor - Turingmaschine z 2 = f(z 1,a) a a b a 9
10 Vergleich Endlicher Akzeptor - Turingmaschine z 3 = f(z 2,b) a a b a 10
11 Vergleich Endlicher Akzeptor - Turingmaschine a a b a z 4 = f(z 3,a) 11
12 Vergleich Endlicher Akzeptor - Turingmaschine a a b a e +/ = f(z 4, ) A = (Z,z 0,X,f F) T = (Z {e +,e },z 0,X { },f,g,m) 12
13 Vergleich Endlicher Akzeptor - Turingmaschine a a b a e +/ = f(z 4, ) A = (Z,z 0,X,f F) T = (Z {e +,e },z 0,X { },f,g,m) f(z,x) = f (z,x) 13
14 Vergleich Endlicher Akzeptor - Turingmaschine a a b a e +/ = f(z 4, ) A = (Z,z 0,X,f F) T = (Z {e +,e },z 0,X { },f,g,m) f(z,x) = f (z,x) g(z,x) = egal 14
15 Vergleich Endlicher Akzeptor - Turingmaschine a a b a e +/ = f(z 4, ) A = (Z,z 0,X,f F) T = (Z {e +,e },z 0,X { },f,g,m) f(z,x) = f (z,x) g(z,x) = egal m(z,x) = 1 15
16 Vergleich Endlicher Akzeptor - Turingmaschine a a b a e +/ = f(z 4, ) A = (Z,z 0,X,f F) T = (Z {e +,e },z 0,X { },f,g,m) g(z, ) =,m(z, ) = 0,f(z, ) = e + e falls z F falls z / F 16
17 Vergleich Endlicher Akzeptor - Turingmaschine Berechnung: Zustand über Zeichen: z 0 a a b a z 1 a b a z 2 b a z 3 a z 4 e + 17
18 Vergleich Endlicher Akzeptor - Turingmaschine oder Zustand vor Zeichen: z 0 aaba z 1 aba z 2 ba z 3 a z 4 e + 18
19 A = (Z,z 0,X,f,Y,g ) 1 Fall: g (z,x) immer 1 19
20 A = (Z,z 0,X,f,Y,g ) 1 Fall: g (z,x) immer 1 T = (Z,z 0,X Y { },f,g,m) 20
21 A = (Z,z 0,X,f,Y,g ) 1 Fall: g (z,x) immer 1 T = (Z,z 0,X Y { },f,g,m) f(z,x) = f (z,x),g(z,x) = g (z,x),m(z,x) = 1 21
22 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 22
23 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Problem A: Zeichenketten länger als 1 einfügen 23
24 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Problem A: Zeichenketten länger als 1 einfügen Problem B: Zeichen löschen 24
25 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Problem A: Zeichenketten länger als 1 einfügen Idee: Alle Zeichen genug Felder nach rechts verschieben Problem B: Zeichen löschen Idee: Alle Zeichen eins nach links verschieben 25
26 Nach rechts verschieben: reserviert Platz Starte mit w = k f(i xw,y) = i wy 26
27 Nach rechts verschieben: reserviert Platz Starte mit w = k f(i xw,y) = i wy Idee: w 1 Wort vor Kopf, w 2 Wort in Index, w 3 Wort nach Kopf w 1 w 2 w 3 bleibt gleich und ist gewünschtes Ergebnis 27
28 Nach rechts verschieben: reserviert Platz Starte mit w = k f(i xw,y) = i wy g(i xw,y) = x m(i xw,y) = 1 28
29 Nach rechts verschieben: reserviert Platz Starte mit w = k f(i xw,y) = i wy g(i xw,y) = x m(i xw,y) = 1 f(i k, ) = return 29
30 Für Simulation des Mealy-Automaten: Alternative A: Auf erstem reservierten Feld Zustand und einzufügendes Wort speichern 30
31 Für Simulation des Mealy-Automaten: Alternative A: Auf erstem reservierten Feld Zustand und einzufügendes Wort speichern Alternative B: Zustand und einzufügendes Wort im Zustand speichern 31
32 Für Simulation des Mealy-Automaten: Alternative A: Auf erstem reservierten Feld Zustand und einzufügendes Wort speichern Alternative B: Zustand und einzufügendes Wort im Zustand speichern Deutlich mehr Zustände! 32
33 Eins nach links verschieben: bei gelöschtem Zeichen 33
34 Eins nach links verschieben: bei gelöschtem Zeichen f(l g,x) = l x g(l g,x) = m(l g,x) = 1 34
35 Eins nach links verschieben: bei gelöschtem Zeichen f(l g,x) = l x g(l g,x) = m(l g,x) = 1 f(l x, ) = l g g(l x, ) = x m(l x, ) = 1 35
36 f(l g,x) = l x g(l g,x) = m(l g,x) = 1 f(l x, ) = l g g(l x, ) = x m(l x, ) = 1 f(l g, ) = l g g(l g, ) = m(l g, ) = 1 36
37 Eins nach links verschieben: bei gelöschtem Zeichen l g xyz l x yz xl g yz x l g yz xl y z xyl g z xy l g z xyl z xyzl g 37
38 f(l g,x) = l x g(l g,x) = m(l g,x) = 1 f(l x, ) = l g g(l x, ) = x m(l x, ) = 1 f(l g, ) = l g g(l g, ) = m(l g, ) = 1 38
39 f(l g, ) = d g(l g, ) = m(l g, ) = 1 f(d, ) = z g(d, ) = m(d, ) = 1 39
40 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Bessere Idee: Schreibe Ausgabe hinter Eingabewort, das schrittweise gelöscht wird 40
41 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Anfangszustand z 0 nach rechts durchgehen, Trennsymbol : hinter Wort schreiben, zurückfahren 41
42 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Anfangszustand z 0 nach rechts durchgehen, Trennsymbol : hinter Wort schreiben, zurückfahren z 0 z 1 x X (z 0,x,1) (z 1,x, 1) (z 1,:, 1) (z 0,,1) 42
43 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Zeichen einlesen, nächsten Zustand merken, zu schreibendes Wort merken, Zeichen löschen, nach rechts fahren, Wort schreiben, nach links fahren 43
44 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Zeichen einlesen, nächsten Zustand merken, zu schreibendes Wort merken, Zeichen löschen, nach rechts fahren, Wort schreiben, nach links fahren z z yw z ǫ z r x X (f (z,x) g (z,x),,1) (z yw,x,1) (z ǫ,x,1) (z r,x, 1) x Y {:} (z yw,x,1) (z ǫ,x,1) (z r,x, 1) - (z w,y,1) (z r,, 1) (z,,1) 44
45 A = (Z,z 0,X,f,Y,g ) 2 Fall: g (z,x) nicht immer 1 Wenn erstes Zeichen :, löschen z Z : f(z,:) = e,g(z,:) =,m(z,:) = 1 45
46 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 0 a b b a 46
47 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 0 a b b a 47
48 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 0 a b b a 48
49 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 1 a b b a : 49
50 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 1 a b b a : 50
51 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba z 1 a b b a : 51
52 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 a b b a : 52
53 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 ab b b a : 53
54 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 ab b b a : 54
55 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 ab b b a : 55
56 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 b b b a : a 56
57 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 ǫ b b a : a b 57
58 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 r b b a : a b 58
59 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 r b b a : a b 59
60 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 r b b a : a b 60
61 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 0 b b a : a b 61
62 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 bb b a : a b 62
63 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 bb b a : a b 63
64 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 b b a : a b b 64
65 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 ǫ b a : a b b b 65
66 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 r b a : a b b b 66
67 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 r b a : a b b b 67
68 f(0,a) = 0,f(0,b) = 1,f(1,a) = 1,f(1,b) = 0 g(0,a) = ab,g(0,b) = bb,g(1,a) = bb,g(1,b) = ba 1 b a : a b b b 68
69 Turingmaschinen lesen Persönliche Meinung: Aus Tabelle Automatengraphen basteln - selten hilfreich! (Nur dann übersichtlicher, wenn f(z,x) sehr häufig nicht definiert ist) 69
70 Turingmaschinen lesen 1 Finde Zustände, bei denen Turingmaschine einfach zum rechten/linken Ende des Wortes fährt 2 Überprüfe Zustandsnamen auf Hinweise, was gespeichert wird 3 Führe Berechnung an Beispiel durch (Hinweis: sofern nicht alle Zwischenschritte gefordert sind, kann man mit 1 abkürzen) 4 Formuliere These, was Turingmaschine in einzelnen Zuständen macht 5 Herausfinden, was die Turingmaschine an sich macht 70
71 Turingmaschinen lesen Eingabealphabet {a}, Bandalphabet {a,b,0,1 }, Anfangszustand z 0 z 0 z 1 r w a (z 1,b,1) (z 0,a,1) (w,a, 1) (w,a, 1) b (z 0,b,1) (z 1,b,1) (r,b, 1) (w,b, 1) 0 (z 0,0,1) (z 1,0,1) (r,0, 1) (w,0, 1) 1 (z 0,1,1) (z 1,1,1) (r,1, 1) (w,1, 1) (r,0, 1) (r,1, 1) - (z 0,,1) 71
72 Turingmaschinen lesen Feststellungen: 1 w läuft nach links durch 72
73 Turingmaschinen lesen Feststellungen: 1 w läuft nach links durch 2 r läuft nach links durch, bis es auf a trifft; wird dann zu w 73
74 Turingmaschinen lesen Feststellungen: 1 w läuft nach links durch 2 r läuft nach links durch, bis es auf a trifft; wird dann zu w 3 r überprüft, ob noch a in Wort vorhanden; falls nicht, Ende 74
75 Turingmaschinen lesen z 0 und z 1 : b br b br a br z 0 z 1 a ar 75
76 Turingmaschinen lesen Feststellungen: 1 Das i bei z i ist die Anzahl der gelesenen a mod 2 76
77 Turingmaschinen lesen Feststellungen: 1 Das i bei z i ist die Anzahl der gelesenen a mod 2 2 Wenn keine a mehr kommen, läuft z i nach rechts 77
78 Turingmaschinen lesen Feststellungen: 1 Das i bei z i ist die Anzahl der gelesenen a mod 2 2 Wenn keine a mehr kommen, läuft z i nach rechts 3 z i schreibt i an Ende des Wortes 78
79 Turingmaschinen lesen Feststellungen: Anfang a n auf Band 1 Anzahl der a nach Rückkehr des Kopfes n 2 79
80 Turingmaschinen lesen Feststellungen: Anfang a n auf Band 1 Anzahl der a nach Rückkehr des Kopfes n 2 2 Ans Ende wird geschrieben n mod 2, n 2 mod 2, n 4 mod 2 80
81 Turingmaschinen lesen Feststellungen: Anfang a n auf Band 1 Anzahl der a nach Rückkehr des Kopfes n 2 2 Ans Ende wird geschrieben n mod 2, n 2 mod 2, n 4 mod 2 3 Vorstellung von n als Binärzahl: n wird binär rückwärts ans Ende geschrieben 81
82 Turingmaschinen lesen Feststellungen: Anfang a n auf Band 1 Anzahl der a nach Rückkehr des Kopfes n 2 2 Ans Ende wird geschrieben n mod 2, n 2 mod 2, n 4 mod 2 3 Vorstellung von n als Binärzahl: n wird binär rückwärts ans Ende geschrieben 4 Am Ende auf Band: b n R(Repr 2 (n)) 82
Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014
Klausur zur Vorlesung Grundbegriffe der Informatik 5. März 2014 Klausurnummer Nachname: Vorname: Matr.-Nr.: Aufgabe 1 2 3 4 5 6 7 max. Punkte 6 8 4 7 5 6 8 tats. Punkte Gesamtpunktzahl: Note: Punkte Aufgabe
MehrÜbung Grundbegriffe der Informatik
Übung Grundbegriffe der Informatik 15. und letzte Übung Karlsruher Institut für Technologie Matthias Janke, Gebäude 50.34, Raum 249 email: matthias.janke ät kit.edu Matthias Schulz, Gebäude 50.34, Raum
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 1-12. Sitzung Dennis Felsing dennis.felsing@student.kit.edu http://www.stud.uni-karlsruhe.de/~ubcqr/2010w/tut gbi/ 2011-01-24 Überblick 1 Reguläre Ausdrücke Wiederholung
MehrTyp-1-Sprachen. Satz 1 (Kuroda ( ) 1964)
Typ-1-Sprachen Satz 1 (Kuroda (1934-2009) 1964) Eine Sprache L hat Typ 1 (= ist kontextsensitiv) genau dann, wenn sie von einem nichtdeterministischen LBA erkannt wird. Beweis: Sei zunächst L Typ-1-Sprache.
Mehr7. Übungsblatt zu Theoretische Grundlagen der Informatik im WS 2015/16
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Peter Sanders L. Hübschle-Schneider, T. Maier 7. Übungsblatt zu Theoretische Grundlagen der Informatik im WS 2015/16 http://algo2.iti.kit.edu/tgi2015.php
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 15 Ziele vgl. AFS: Berechnungsmodelle für Typ-0- und Typ-1-Sprachen (Nicht-)Abschlußeigenschaften
MehrSprachen und Automaten. Tino Hempel
Sprachen und Automaten 11 Tino Hempel Bisherige Automaten Automat mit Ausgabe/Mealy-Automat Akzeptor, Sprache eines Akzeptors Grenze: L = {a n b n } Kellerautomat erkennt L = {a n b n } Grenze:? T. Hempel
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 1-10. Sitzung Dennis Felsing dennis.felsing@student.kit.edu http://www.stud.uni-karlsruhe.de/~ubcqr/2010w/tut gbi/ 2011-01-10 Überblick 1 O-Notation Wiederholung Mastertheorem
Mehr7 Endliche Automaten. Reimund Albers Papierfalten Kapitel 7 Endliche Automaten 103
Reimund Albers Papierfalten Kapitel 7 Endliche Automaten 103 7 Endliche Automaten Ein erstes Beispiel Ganz im Sinn der vorangegangenen Kapitel machen wir wieder Anleihen in einem wohl etablierten Gebiet.
MehrEinführung in die Informatik
Universität Innsbruck - Institut für Informatik Datenbanken und Informationssysteme Prof. Günther Specht, Eva Zangerle 24. November 28 Einführung in die Informatik Übung 7 Allgemeines Für die Abgabe der
MehrBeispiele für Turingmaschinen. 1. Addition 1.1 Trennzeichen l öschen 1.2 Summanden kopieren
01 Beispiele für Turingmaschinen 1. Addition 1.1 Trennzeichen l öschen 1.2 Summanden kopieren 2. Subtraktion 2.1 rechts löschen 2.2 links löschen 2.3 in der Mitte löschen 2.4 am Rand löschen Eine Turingmaschine
MehrDeterministische Turing-Maschinen (DTM) F3 03/04 p.46/395
Deterministische Turing-Maschinen (DTM) F3 03/04 p.46/395 Turing-Machine Wir suchen ein Modell zur formalen Definition der Berechenbarkeit von Funktionen und deren Zeit- und Platzbedarf. Verschiedene Modelle
Mehr11. Übungsblatt. x y(top(push(x, y)) = y)
Logik, Berechenbarkeit und Komplexität Sommersemester 2012 Hochschule RheinMain Prof. Dr. Steffen Reith 11. Übungsblatt 1. Ein Keller (engl. stack) ist eine bekannte Datenstruktur. Sei die Signatur S =
MehrRekursiv aufzählbare Sprachen
Kapitel 4 Rekursiv aufzählbare Sprachen 4.1 Grammatiken und die Chomsky-Hierarchie Durch Zulassung komplexer Ableitungsregeln können mit Grammatiken größere Klassen als die kontextfreien Sprachen beschrieben
MehrTheoretische Informatik 1
heoretische Informatik 1 uringmaschinen David Kappel Institut für Grundlagen der Informationsverarbeitung echnische Universität Graz 11.03.2016 Übersicht uring Maschinen Algorithmusbegriff konkretisiert
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 Tutorium 4 26..25 INSTITUT FÜR THEORETISCHE INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
MehrFrank Heitmann 2/47. 1 Ein PDA beginnt im Startzustand z 0 und mit im Keller. 2 Ist der Automat
Formale Grundlagen der Informatik 1 Kapitel 5 Über reguläre Sprachen hinaus und (Teil 2) Frank Heitmann heitmann@informatik.uni-hamburg.de 21. April 2015 Der Kellerautomat - Formal Definition (Kellerautomat
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (II) 2.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie
Mehr8. Turingmaschinen und kontextsensitive Sprachen
8. Turingmaschinen und kontextsensitive Sprachen Turingmaschinen (TM) von A. Turing vorgeschlagen, um den Begriff der Berechenbarkeit formal zu präzisieren. Intuitiv: statt des Stacks bei Kellerautomaten
MehrBerechenbarkeit/Entscheidbarkeit
Berechenbarkeit/Entscheidbarkeit Frage: Ist eine algorithmische Problemstellung lösbar? was ist eine algorithmische Problemstellung? formale Sprachen benötigen einen Berechenbarkeitsbegriff Maschinenmodelle
MehrDeterministische Turing-Maschinen
Deterministische Turing-Maschinen Um 900 präsentierte David Hilbert auf einem internationalen Mathematikerkongress eine Sammlung offener Fragen, deren Beantwortung er von zentraler Bedeutung für die weitere
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
MehrLexikalische Analyse, Tokenizer, Scanner
Lexikalische Analyse, Tokenizer, Scanner Frühe Phase des Übersetzers Aufgabenteilung: Scanner (lokale) Zeichen (Symbol-)Analyse Parser Syntax-Analyse Aufgabe des Scanners: Erkennung von: Zahlen, Bezeichner,
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Johannes Köbler Institut für Informatik Humboldt-Universität zu Berlin WS 2011/12 Die Registermaschine (random access machine, RAM) 0 I 0 1 I 1 2 I 2 m I m Programm
MehrEinige Beispiele zur Turingmaschine
Einige Beispiele zur Turingmaschine Beispiel 1: Addition von 1 zu einer Dualzahl Aufgabe: Auf dem Eingabe-Band einer Turingmaschine steht eine Dualzahl (= Binärzahl, bestehend aus 0-en und 1-en, links
MehrKapitel: 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
MehrAufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I
Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Wintersemester 2008/2009 Übung 11 Einleitung Es wird eine 15-minütige Mikroklausur geschrieben. i) Sei D R oderd C. Wann heißt
MehrTheoretische Informatik SS 04 Übung 1
Theoretische Informatik SS 04 Übung 1 Aufgabe 1 Es gibt verschiedene Möglichkeiten, eine natürliche Zahl n zu codieren. In der unären Codierung hat man nur ein Alphabet mit einem Zeichen - sagen wir die
MehrMathematik, Klasse 7, Terme und Termwerte
Mathematik, Klasse 7, Terme und Termwerte. Finde den Term und berechne dann den Termwert für x = - 5 und x = 00. x = x = x = 3 x = 4 x = 5 x = - 5 x =00 T (x) = 5 8 4 7 T (x) = 3 6 9-5 T 3 (x) = 0 3 8
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
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Tutorium 27 29..24 FAKULTÄT FÜR INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Definition
Mehr1 Prädikatenlogik: Korrektheit, Vollständigkeit, Entscheidbarkeit
1 Prädikatenlogik: Korrektheit, Vollständigkeit, Entscheidbarkeit 1.1 Korrektheit Mit dem Kalkül der Prädikatenlogik, z.b. dem Resolutionskalkül, können wir allgemeingültige Sätze beweisen. Diese Sätze
MehrAlgorithmen mit konstantem Platzbedarf: Die Klasse REG
Algorithmen mit konstantem Platzbedarf: Die Klasse REG Sommerakademie Rot an der Rot AG 1 Wieviel Platz brauchen Algorithmen wirklich? Daniel Alm Institut für Numerische Simulation Universität Bonn August
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
Mehr1.2 Rechnen mit Termen II
1.2 Rechnen mit Termen II (Thema aus dem Gebiet Algebra) Inhaltsverzeichnis 1 Potenzen, bei denen der Exponent negativ oder 0 ist 2 2 Potenzregeln 2 3 Terme mit Wurzelausdrücken 4 4 Wurzelgesetze 4 5 Das
Mehr2. Berechnungsmächtigkeit von Zellularautomaten. Ziele Simulation von Schaltwerken Simulation von Turingmaschinen
2. Berechnungsmächtigkeit von Zellularautomaten Ziele Simulation von Schaltwerken Simulation von Turingmaschinen Beispiel WIREWORLD Elektronen laufen über Drähte von einem Gatter zum nächsten 2.3 Satz
MehrPraktische Informatik I WS 1999/2000
Universität Mannheim Lehrstuhl für Praktische Informatik IV Prof. Dr. W. Effelsberg Christoph Kuhmünch, Gerald Kühne Praktische Informatik I WS 999/2 Übungsblatt 2 Ausgabe: Mi, 26.. Abgabe: Di,.2., 8 Uhr
MehrÜbungsaufgaben zu Formalen Sprachen und Automaten
Universität Freiburg PD Dr. A. Jakoby Sommer 27 Übungen zum Repetitorium Informatik III Übungsaufgaben zu Formalen Sprachen und Automaten. Untersuchen Sie das folgende Spiel: A B x x 2 x 3 C D Eine Murmel
Mehr3. Übungsblatt zu Algorithmen I im SoSe 2017
Karlsruher Institut für Technologie Prof. Dr. Jörn Müller-Quade Institut für Theoretische Informatik Björn Kaidel, Sebastian Schlag, Sascha Witt 3. Übungsblatt zu Algorithmen I im SoSe 2017 http://crypto.iti.kit.edu/index.php?id=799
MehrI.2. Endliche Automaten (ohne Ausgabe)
I2 Endliche Automaten (ohne Ausgabe) I2 Deterministische endliche Automaten Beispiel: Pascal-Syntax für Zahlen hat folgende Form: ::=
MehrUniversität des Saarlandes
Universität des Saarlandes FR 6.2 Informatik Prof. Dr. Kurt Mehlhorn, Dr. Konstantinos Panagiotou WiSe 2011/2012 Übungen zu Computational Thinking http://www.mpi-inf.mpg.de/departments/d1/teaching/ws11/ct/
MehrTheoretische Informatik I
heoretische Informatik I Einheit 2 Endliche Automaten & Reguläre Sprachen. Deterministische endliche Automaten 2. Nichtdeterministische Automaten 3. Reguläre Ausdrücke 4. Grammatiken 5. Eigenschaften regulärer
MehrErstellen der Adressen Tabelle mit Excel Erste Zeile enthält entsprechende Feld Bezeichnungen wie Anrede, Nachname, Vorname etc.
Erstellen der Adressen Tabelle mit Excel Erste Zeile enthält entsprechende Feld Bezeichnungen wie Anrede, Nachname, Vorname etc. Musterbrief erstellen in Word Serienbrief erstellen über : Menü Extras Briefe
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
MehrLösungen zur 1. Klausur. Einführung in Berechenbarkeit, formale Sprachen und Komplexitätstheorie
Hochschuldozent Dr. Christian Schindelhauer Paderborn, den 21. 2. 2006 Lösungen zur 1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und Komplexitätstheorie Name :................................
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
MehrTuring-Maschine. Berechenbarkeit und Komplexität Turing-Maschinen. Turing-Maschine. Beispiel
Berechenbarkeit und Komplexität Turing-Maschinen Wolfgang Schreiner Wolfgang.Schreiner@risc.jku.at Research Institute for Symbolic Computation (RISC) Johannes Kepler University, Linz, Austria http://www.risc.jku.at
MehrUniversitä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 26. Feb. 2007 Klausur: Informatik III Aufgabe 1. Multiple Choice 10 Punkte Aufgabe 2. Teilmengenkonstruktion
Mehr1.2 Rechnen mit Termen II
1.2 Rechnen mit Termen II Inhaltsverzeichnis 1 Ziele 2 2 Potenzen, bei denen der Exponent negativ oder 0 ist 2 3 Potenzregeln 3 4 Terme mit Wurzelausdrücken 4 5 Wurzelgesetze 4 6 Distributivgesetz 5 7
MehrBerechenbarkeit. Script, Kapitel 2
Berechenbarkeit Script, Kapitel 2 Intuitiver Berechenbarkeitsbegriff Turing-Berechenbarkeit WHILE-Berechenbarkeit Church sche These Entscheidungsprobleme Unentscheidbarkeit des Halteproblems für Turingmaschinen
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 8 28. Juni 2010 Einführung in die Theoretische
Mehr2 2 Reguläre Sprachen. 2.2 Endliche Automaten. Übersicht
Formale Systeme, Automaten, Prozesse Übersicht 2 2. Reguläre Ausdrücke 2.3 Nichtdeterministische endliche Automaten 2.4 Die Potenzmengenkonstruktion 2.5 NFAs mit ɛ-übergängen 2.6 Minimale DFAs und der
Mehr11.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
MehrMit Bus und Bahn Dortmund erleben
Tä fz v 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 00 0 0 0 z! v f I I fä z z z v z Vf I V f z! J f J z T I, T, f O,, G I T f V? f I! f f I &! Tf TT (f P) TT z ff P T f () G v I ä Pf f J f T f f f! :, T! f f z
MehrZ 50. Z O Z Int Z Komma Z Real Ziffer Komma Ziffer
10 Endliche Automaten 10.1 Einführungsbeispiele Beispiel 1: Warenautomat Ein Flasche Cola kostet 1,50. Münzen zu 1 und 50 ct werden angenommen. Cola und evtl. Restgeld werden ausgegeben. Auch der Rückgabeknopf
Mehr/-010 2% 3%.-&"(2#( 4#5% 6077## 7 8$$04%27.0& 905$0& :0;+
! "#$%&'() *+,-#.(! "#$%&'() *+,-#.( // /011#)1.#) 234#5: 61$03#7 8$("(1$5% 5 15#9($(-:1$5%4 # 90.+;(. 5 6. [?.] I.!"#$%&'(&) *&#+,-& "$./0-/1/
MehrLern- und Arbeitsauftrag <LA_305_1716_PaperDisk.doc>
Lern- und Arbeitsauftrag Autor: Material Sozialform Arbeitsort Benedikt Sutter- Bonaparte EA GA P Fachbuch X Zimmer Aufgabenstellung Daten werden immer auf Datenträgern abgelegt.
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
Mehr, 2 f N, f M f n f m dx 0 sin xx x3 3! x 5 5! a n x n n0 N f N x a n x n n0 a,ba * x b x a * y b y a * z b z aa x 2 a y 2 a z 2, * r,tr,td 3 r, * d 3 r * * d 3 r, *, * d 3 r * d 3 r, * d 3 r * * d 3 r
Mehr1 Varianten von Turingmaschinen
1 Varianten von Turingmaschinen Es gibt weitere Definitionen für Turingmaschinen. Diese haben sich aber alle als äquivalent herausgestellt. Ein wiederkehrendes Element der Vorlesung: Äquivalenz von Formalismen
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
MehrWS06/07 Referentin: Katharina Blinova. Formale Sprachen. Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven
WS06/07 Referentin: Katharina Blinova Formale Sprachen Hauptseminar Intelligente Systeme Dozent: Prof. Dr. J. Rolshoven 1. Allgemeines 2. Formale Sprachen 3. Formale Grammatiken 4. Chomsky-Hierarchie 5.
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
Mehr4. Übung zur Linearen Algebra I -
4. Übung zur Linearen Algebra I - en Kommentare an Hannes.Klarner@Fu-Berlin.de FU Berlin. WS 2009-10. Aufgabe 13 Auf dem Cartesischen Produkt Z Z werden 2 Verknüpfungen, definiert durch: Man zeige: (a
MehrLexikalische Programmanalyse der Scanner
Der Scanner führt die lexikalische Analyse des Programms durch Er sammelt (scanned) Zeichen für Zeichen und baut logisch zusammengehörige Zeichenketten (Tokens) aus diesen Zeichen Zur formalen Beschreibung
MehrWillkommen zur Vorlesung. Algorithmen und Datenstrukturen
Willkommen zur Vorlesung Algorithmen und Datenstrukturen Mein Name: Andreas Berndt Zum Dozenten Diplom-Informatiker (TU Darmstadt) Derzeit Software-Entwickler für Web- Applikationen Derzeitige Sprachen:
MehrA : z z A : z z : ( z, x, z ) δ
Informatik IV, SoS2003 1 Definition 1.1 Ein Quintupel A =(X,Z,z 0,δ,Z f )heißt nichtdeterministischer endlicher Automat (NEA): 1. X, Z sind endliche nichtleere Mengen. 2. z 0 Z 4. δ Z X Z Informatik IV,
MehrHauptklausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2011/2012
Institut für Theoretische Informatik Lehrstuhl Prof. Dr. D. Wagner Hauptklausur zur Vorlesung Theoretische Grundlagen der Informatik Wintersemester 2011/2012 Hier Aufkleber mit Name und Matrikelnr. anbringen
MehrSeminar Datenbanken Martin Gerstmann
Seminar Datenbanken Martin Gerstmann Gliederung 1. Ziele 2. Arten 2.1. erweiterbares Hashing 2.2. lineares Hashing 2.3. virtuelles Hashing 3. Bewertung 1. Ziele wachsende/schrumpfende Datenmengen verwalten
MehrProbeklausur Informatik 2 Sommersemester 2010
Probeklausur Informatik Sommersemester 0 1 Probeklausur Informatik Sommersemester 0 Name: A1 A A A A Matrikelnummer: 0 Hilfsmittel: Geodreieck Ab Punkten gilt diese Klausur als bestanden und wird nicht
MehrTuring-Maschinen. Definition 1. Eine deterministische Turing-Maschine (kurz DTM) ist ein 6- Dem endlichen Alphabet Σ von Eingabesymbolen.
Turing-Maschinen Nachdem wir endliche Automaten und (die mächtigeren) Kellerautomaten kennengelernt haben, werden wir nun ein letztes, noch mächtigeres Automatenmodell kennenlernen: Die Turing-Maschine
MehrUniversität des Saarlandes Theoretische Informatik (WS 2015) Lösungsvorschlag 4
Universität des Saarlandes Theoretische Informatik (WS 2015) Fakultät 6.2 Informatik Team der Tutoren Lösungsvorschlag 4 Aufgabe 4.1 (16 Punkte) Klassifizieren Sie die folgenden Sprachen nach den Kategorien
MehrTheoretische Informatik SS 03 Übung 4
Fakten aus Übung 3 Theoretische Informatik SS 03 Übung 4 In Übung 3 wurden einigen Fakten bewiesen, die für diese Übung benötigt werden. Folgende Konstrukte können mit LOOP-Programmen simuliert werden:
MehrAbschluss gegen Substitution. Wiederholung. Beispiel. Abschluss gegen Substitution
Wiederholung Beschreibungsformen für reguläre Sprachen: DFAs NFAs Reguläre Ausdrücke:, {ε}, {a}, und deren Verknüpfung mit + (Vereinigung), (Konkatenation) und * (kleenescher Abschluss) Abschluss gegen
MehrAnwenundg regulärer Sprachen und endlicher Automaten
Proseminar Theoretische Informatik Dozent: Prof. Helmut Alt Anwenundg regulärer Sprachen und endlicher Automaten Madlen Thaleiser 30. Oktober 2012 Reguläre Sprachen Regulärer Ausdruck definiert über einem
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
MehrSPEAK STYLING. Schweizer Haus der Schönheit DOBI-INTER AG Tel. +41 (0) Fax +41 (0)
w ö DOB- G l +41 (0) 62 855 22 22 Fx +41 (0) 62 855 22 00 @b wwwb Fll 8048 Zü B 569 Fll 1163 y l 10 W wwwwll K YG 54 B W 64 Kö b j K O l D y l ll ü l - D l y l b l ä : Zl W l bll y W D l O w w ll yl U
MehrHilfe zur Dokumentenverwaltung
Hilfe zur Dokumentenverwaltung Die Dokumentenverwaltung von Coffee-CRM ist sehr mächtig und umfangreich, aber keine Angst die Bedienung ist kinderleicht. Im Gegensatz zur Foto Galeria können Dokumente
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: ; :=
Mehr18 E N D L I C H E AU T O M AT E N erstes beispiel: ein getränkeautomat
18 E N D L I C H E AU T O M AT E N 18.1 erstes beispiel: ein getränkeautomat Als erstes Beispiel betrachten wir den folgenden primitiven Getränkeautomaten (siehe Abbildung 18.1). Man kann nur 1-Euro-Stücke
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 4: Nichtdeterminismus Teil 2 schulz@eprover.org Software Systems Engineering Nichtdeterministische endliche Automaten Definition: Ein nichtdeterministischer
MehrTheoretische Informatik I
heoretische Informatik I Einheit 2 Endliche Automaten & Reguläre Sprachen. Deterministische endliche Automaten 2. Nichtdeterministische Automaten 3. Reguläre Ausdrücke 4. Grammatiken 5. Eigenschaften regulärer
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
MehrKapitel 7: Kellerautomaten und kontextfreie Sprachen
Kapitel 7: Kellerautomaten und kontextfreie Sprachen Prof.-Dr. Peter Brezany Institut für Softwarewissenschaft Universität Wien, Liechtensteinstraße 22 1090 Wien Tel. : 01/4277 38825 E-mail : brezany@par.univie.ac.at
MehrLösungen zur 3. Projektaufgabe TheGI1
Marco Kunze (makunze@cs.tu-berlin.de) WS 2001/2002 Sebastian Nowozin (nowozin@cs.tu-berlin.de) 21. 1. 2002 Lösungen zur 3. Projektaufgabe TheGI1 Definition: Turing-Aufzähler Ein Turing-Aufzähler einer
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
MehrAlgorithmen und Datenstrukturen 1
Algorithmen und Datenstrukturen 1 7. Vorlesung Peter F. Stadler Universität Leipzig Institut für Informatik studla@informatik.uni-leipzig.de aufbauend auf den Kursen der letzten Jahre von E. Rahm, G. Heyer,
MehrIm Windows Betriebssystem sind Dateien eindeutig gekennzeichnet durch ihren Pfad, Dateinamen und nach einem Punkt die Dateierweiterung.
Dateioperationen Seite 1 von 12 Im Windows Betriebssystem sind Dateien eindeutig gekennzeichnet durch ihren Pfad, Dateinamen und nach einem Punkt die Dateierweiterung. z.b.: c:\testdateien\text.dat //Datendatei
Mehr5.4 Endliche Automaten
5.4 Endliche Automaten Ein endlicher Automat ist ein mathematisches Modell eines Systems mit Ein- und Ausgaben. Ein solches System befindet sich immer in einem internen Zustand. Beispiele Ein Register
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 7 15. Juni 2010 Einführung in die Theoretische
MehrComputer Tastatur und Funktionsweisen
Computer Tastatur und Funktionsweisen Nr.. Taste Beschreibung 1 ESC ESC-Taste, Menüfenster abbrechen 2 TAB Tabulator-Taste 3 CAPLOCK Permanente Großschreibung ein/aus (bei manchen Tastaturen muss zum Ausschalten
MehrHandbuch für Easy Mail in Leicht Lesen
Handbuch für Easy Mail in Leicht Lesen Easy Mail ist ein Englisches Wort und heißt: Einfaches Mail. Easy Mail spricht man so aus: isi mäl Seite 1 Inhaltsverzeichnis Teil 1: Wie lese ich ein E-Mail?...
MehrVo r d ä c h e r-ca r p o r t s. Vo r d ä c h e r-ca r p o r t s a u s Sta h l Ed e l s ta h l u n d. Gl a s. En g i n e e r i n g
a u s Sta h l Ed e l s ta h l u n d Gl a s 2 Ve r z i n k t e Sta h l k o n s t r u k t i o n m i t g e k l e bt e n Ec h t g l a s- s c h e i b e n Da c h ü b e r s p a n n t d i e Fr ü h s t ü c k s
MehrDeterministischer endlicher Automat A ohne Ausgabe (deterministischer endlicher Akzeptor)
Deterministischer endlicher Automat A ohne Ausgabe (deterministischer endlicher Akzeptor) wobei A = (E, Z, f, z 0, F ) E Z f : Z E Z z 0 Z Eingabealphabet Zustandsmenge (Zustands )Überführungsfunktion
MehrZIMT-Dokumentation E-Mail für Studierende Webmail-Oberfläche (Roundcube)
ZIMT-Dokumentation E-Mail für Studierende Webmail-Oberfläche (Roundcube) Anmelden Benutzername und Passwort eingeben. Dann Anmelden klicken. Login/Anmeldung Der Benutzername ist der ersten Teil Ihrer E-Mailadresse.
MehrWorterkennung in Texten speziell im Compilerbau 14. April Frank Heitmann 2/65
Grenzen regulärer Sprachen? Formale Grundlagen der Informatik 1 Kapitel 4 Über reguläre Sprachen hinaus und Frank Heitmann heitmann@informatik.uni-hamburg.de Wir haben mittlerweile einiges kennengelernt,
Mehr2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik
2. Teilklausur zur Vorlesung Grundlagen der Theoretischen Informatik Hinweise Ulrich Furbach Christian Schwarz Markus Kaiser Arbeitsgruppe Künstliche Intelligenz Fachbereich Informatik, Universität Koblenz-Landau
MehrProbeklausur Lösungen
Probeklausur Lösungen 1. Aufgabe Der obere Teil in dem creenshot zeigt den Zustandsgraph. Es fehlen jedoch die Eingaben bzw. die Ausgaben. Im unteren Teil des creenshots ist die Übergangstabelle aufgeführt.
Mehr