Handout - Institut fÃ¼r Theoretische Informatik - Technische ...

Weitere Magazine

Empfehlungen

Info

Endliche Automaten Geschichtliches Endliche Automaten Die Geschichte des Studiums endlicher Automaten beginnt in den 1940’er/1950’er Jahren. Ihre Bedeutung und ihr Anwendungsbereich haben seither ständig zugenommen, z.B.: Schaltungsentwurf lexikalische Analyse von Programmtexten im Compiler schnelle Textsuche automatische Verifikation von Hard- und Software Modellierungssprachen Als Modell konkreter oder abstrakter “Systeme” verfügen sie über ein endliches Gedächtnis (über die Systemvorgeschichte), in Form sogenannter Zustände. Zustandsänderungen erfolgen mittels markierter sog. Übergänge oder Transitionen, die mit gewissen Labeln versehen sind.. Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 12 / 191
Endliche Automaten erste Beispiele Beispiel (Lichtschalter) start aus s s an Systemstart, Anfangszustand “guter” oder Endzustand ”markierter” Übergang; Zustandsänderung bei Eingabe s Beispiel (Texterkennung des Worts “theo”) t h e o start t th the theo Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 13 / 191
Seite 1 und 2: Theoretische Informatik 1 Jürgen K
Seite 3 und 4: Outline Endliche Automaten Übersic
Seite 5 und 6: Outline Kontextfreie Sprachen Über
Seite 7 und 8: Hintergrund und Motivation Was ist
Seite 9 und 10: Hintergrund und Motivation Vorgehen
Seite 11: Hintergrund und Motivation Hintergr
Seite 15 und 16: Endliche Automaten erste Beispiele
Seite 17 und 18: Endliche Automaten Probleme=formale
Seite 23 und 24: Endliche Automaten Endliche Automat
Seite 29 und 30: Endliche Automaten Weitere Beispiel
Seite 31 und 32: Endliche Automaten Erste Automatenk
Seite 37 und 38: Endliche Automaten Determinismus vs
Seite 39 und 40: Endliche Automaten Determinismus vs
Seite 41 und 42: Endliche Automaten Das Pumping-Lemm
Seite 43 und 44: Endliche Automaten Das Pumping-Lemm
Seite 45 und 46: Endliche Automaten Erste Abschluße
Seite 51 und 52: ε-Übergänge Endliche Automaten
Seite 53 und 54: Endliche Automaten ε - Übergänge
Seite 63 und 64:
Endliche Automaten ε - Übergänge
Seite 65 und 66:
Endliche Automaten ε - Übergänge
Seite 67 und 68:
Endliche Automaten Residuierung Zwe
Seite 69 und 70:
Endliche Automaten Residuierung Es
Seite 71 und 72:
Endliche Automaten Reguläre Ausdr
Seite 73 und 74:
Seite 75 und 76:
Seite 77 und 78:
Seite 79 und 80:
Seite 81 und 82:
Seite 83 und 84:
Seite 85 und 86:
Seite 87 und 88:
Endliche Automaten Minimierung von
Seite 89 und 90:
Seite 91 und 92:
Seite 93 und 94:
Seite 95 und 96:
Seite 97 und 98:
Endliche Automaten Regularitätsnac
Seite 99 und 100:
Endliche Automaten Regularitätsnac
Seite 101 und 102:
Endliche Automaten Universelle Auto
Seite 103 und 104:
Seite 105 und 106:
Seite 107 und 108:
Endliche Automaten Kritik am Autmat
Seite 109 und 110:
Kontextfreie Sprachen Idee einer fo
Seite 111 und 112:
Kontextfreie Sprachen Idee einer fo
Seite 113 und 114:
Kontextfreie Sprachen Kontextfreie
Seite 115 und 116:
Seite 117 und 118:
Seite 119 und 120:
Kontextfreie Sprachen Ableitungsbä
Seite 121 und 122:
Kontextfreie Sprachen Ableitungsbä
Seite 123 und 124:
Kontextfreie Sprachen Das Pumping L
Seite 125 und 126:
Seite 127 und 128:
Seite 129 und 130:
Kontextfreie Sprachen Abschlußeige
Seite 131 und 132:
Kontextfreie Sprachen Abschlußeige
Seite 133 und 134:
Kontextfreie Sprachen Normalformen
Seite 135 und 136:
Kontextfreie Sprachen Der CYK Algor
Seite 137 und 138:
Seite 139 und 140:
Seite 141 und 142:
Seite 143 und 144:
Seite 145 und 146:
Seite 147 und 148:
Seite 149 und 150:
Seite 151 und 152:
Seite 153 und 154:
Seite 155 und 156:
Seite 157 und 158:
Kontextfreie Sprachen Kellerautomat
Seite 159 und 160:
Seite 161 und 162:
Seite 163 und 164:
Seite 165 und 166:
Seite 167 und 168:
Seite 169 und 170:
Seite 171 und 172:
Seite 173 und 174:
Kontextfreie Sprachen Deterministis
Seite 175 und 176:
Seite 177 und 178:
Seite 179 und 180:
mathematischer Hintergrund Mengen M
Seite 181 und 182:
mathematischer Hintergrund Mengen D
Seite 183 und 184:
mathematischer Hintergrund Mengen D
Seite 185 und 186:
mathematischer Hintergrund Relation
Seite 187 und 188:
mathematischer Hintergrund Äquival
Seite 189 und 190:
mathematischer Hintergrund Abzählb
Seite 191:
mathematischer Hintergrund Abzählb
Alle anzeigen

Handout - Institut fÃ¼r Theoretische Informatik - Technische ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?