Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Endliche Automaten<br />
Kritik am Autmatenbegriff<br />
Beispiel (Getränkeautomat: LTS revisited)<br />
start<br />
ψ<br />
T<br />
S<br />
ζ<br />
ϕ<br />
K<br />
l<br />
0<br />
e<br />
2<br />
z<br />
wobei<br />
l(S) = 0<br />
l(T ) = l(K) = 2<br />
l(1€) = 1<br />
l(ϕ) = l(ψ) = e<br />
τ<br />
κ<br />
t<br />
k<br />
l(ζ) = z<br />
l(τ) = t<br />
1€<br />
1<br />
l(ζ) = z<br />
Achtung: hier sind alle Kanten tatsächlich mit ihren Namen markiert!<br />
Bisher waren links immer nur deren l-Werte als Label verwendet<br />
worden, weshalb dasselbe Label auch mehrfach auftauchen konnte.<br />
Auch ein Alphabet X kann als Kontroll-Graph aufgefaßt werden, mit<br />
nur einem Knoten und den Elementen von X als Loops.<br />
Als “Sprachen” über einem Kontroll-Graphen wären nun Mengen von<br />
Wegen zu betrachten. Dieses Gebiet scheint noch weitgehend<br />
unerforscht zu sein, speziell wenn der Kontroll-Graph über eine<br />
Kompositions-struktur verfügt (also eine Kategorie ist).<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 107 / 191
Change language