Automaten für Datenwörter
Autor: | Robert Strehl |
---|---|
EAN: | 9783639317015 |
eBook Format: | |
Sprache: | Deutsch |
Produktart: | eBook |
Veröffentlichungsdatum: | 03.12.2010 |
Untertitel: | Untersuchung von Register-, Pebble- und Datenautomaten |
Kategorie: | |
Schlagworte: | Automatentheorie Bachelorarbeit Datenautomat Datenwort Informatik Logik Pebbleautomat Registerautomat |
49,00 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
In der Informatik kann man mit Hilfe von sogenannten endlichen Automaten ein reaktives System versuchen zu modellieren. Die Eingabe besteht hierbei aus einer (endlichen) Folge von Zeichen, die einem endlichen Alphabet entstammen. Als Reaktion auf die Eingabe kann der Automat Zustandswechsel ausführen. Diese Abstraktion eines Systems kann nun entscheiden, ob eine Eingabe akzeptiert oder verworfen wird. Eine mögliche Erweiterung von endlichen Automaten besteht darin, dass man das Eingabealphabet durch eine unendliche Menge von Äquivalenzklassen (hier: Datenwörter) ersetzt. Diese Erweiterung erlaubt es, ein System abzubilden, in dem das Spektrum der Eingabezeichen unbekannt oder sogar unendlich ist. Als Beispiel kann man sich ein System mit einer dynamischen Anzahl an Klienten vorstellen. Die Eingabezeichen repräsentieren hierbei gewisse Anfragen von Klienten. Der Autor Robert Strehl gibt einen einführenden Überblick über die bisher vorgestellten Automatenmodelle für Datenwörter (Register-, Pebble- und Datenautomaten), analysiert deren Ausdrucksstärke, Abschlusseigenschaften, Entscheidbarkeit und Effizienz und setzt die verschiedenen Modelle untereinander in Beziehung.
Robert Strehl studierte Mathematik und Informatik an der Technischen Universität Dortmund. Die vorliegende Arbeit entstand am Lehrstuhl für Logik in der Informatik bei Herrn Prof. Dr. Thomas Schwentick im Rahmen des Bachelor-Studiengangs Informatik.
Robert Strehl studierte Mathematik und Informatik an der Technischen Universität Dortmund. Die vorliegende Arbeit entstand am Lehrstuhl für Logik in der Informatik bei Herrn Prof. Dr. Thomas Schwentick im Rahmen des Bachelor-Studiengangs Informatik.