Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
Ziel der Modellierung<br />
Soll das Verhalten des Systems in jedem Zustand und bei jeder<br />
möglichen Eingabe eindeutig bestimmt sein, führt dies zum Begriff<br />
des vollständig deterministischen Automaten;<br />
in der realen Welt sind Systeme nicht-deterministisch, da nicht<br />
vollständig spezifizierbar (philosophisches Problem); wie funktioniert<br />
z.B. der Getränkeautomaten in folgenden Fällen<br />
− Kaffee/Tee verbraucht;<br />
− falsche Münze eingegeben;<br />
− Geldspeicher voll;<br />
− Tastenkontakt verrostet;<br />
− kosmische Strahlung stört den Schaltkreis zur Geldprüfung;<br />
− . . .<br />
Bevor wir die Frage “Was ist ein Automat” genauer erörtern, wollen wir<br />
uns zunächst den “Labeln” oder “Markierungen” der Kanten zuwenden,<br />
sowie endlichen Folgen solcher Label.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 16 / 191
Change language