Diskussion:Endlicher Automat

aus Wikipedia, der freien Enzyklopädie

das wichtigste für ein lexikon fehlt, ist die ursache oder der nutzen des beschriebenen in leicht verständlichen worten, da die leser einer entyklopedie nicht immer ehemalige studenten höherer wissenschaften sind. Es wäre also schön folgende fragen am anfang zu beantworten. was macht man/welches problem löst man / anwendungsgebiete für / zu beschreiben.

---

Irgendwie fehlen die ganzen Verweise auf reguläre Grammatiken und die eigentliche Funktion eines Automaten, nämlich das Akzeptieren von Sprachen erzeugt durch eben diese Grammatik.

Wie hängen Deterministische endliche Automaten mit Turinmaschinen oder Kellerautomaten zusammen...

---

Das was hier "Akzeptor" genannt wird, kenne ich als endlichen Automaten.

Das was vorher beschrieben wird, habe ich im Studium als "Transduktor" kennen gelernt.

--zeno 20:21, 2. Feb 2004 (CET)

Der ganze Artikel sollte mal überarbeitet und strukturiert werden. Ist in einem ziemlichen Schwafel-Zustand momentan, da jeder seinen Senf dazugegeben hat. Endliche Automaten sind alle vorgestellten Modelle. --Coma 07:14, 3. Feb 2004 (CET)

---

Der Artikel kann stark verbessert werden. Ich müsste einige Highlights aus den Vorlesungen von Prof. Thomas hier rein setzen.

Mal ein paar Stichpunkte für mich oder jemand anders, wenn man mal Zeit hat:

• Äquivalenz von Model und Maschinen erwähnen (endlicher Automat <-> regulärer Ausdruck, Stackautomat <-> kontextfreie Grammatik, Baumautomat <-> regulärer Baumausdruck/-sprache)
• Äquivalenz von DEA, NEA, NEA mit Epsilon Übergängen, Wortautomat und die konstruktiven Beweise
• NEA zu DEA via Potenzmengenkonstruktion (->kombinatorische Explosion)
• Pumping Lemma (endlicher Automat -> endlich viel Speicher -> Wiederholung bei langen erkannten Strings)
• Baumautomaten, Zusammenhang mit XML
• Satz von Büchi, Elgi, Trachtenbroth (Zusammenhang endliche Automaten <-> Logik Model => Model Checking)
• Modelierung von parallelen Prozessen
• Zusammenhang mit Spieltheorie
• Algebraische Monoide
• Schöner Satz von Graphen endlicher Automaten mit LaTeX und xymatrix
• Diverse Programme dafür
• Hinweis auf die Standardnotation von Graphen endlicher Automaten
• ein paar schöne Algorithmen dazu
• Hinweis auf beide Automatenbücher von Hopcroft, Ullmann, evt. auch die Compilerbücher von Aho et al, Maurer/Willhelm, Güting
• Hinweis auf ANTLR beim Parsen
• Hinweis auf Softwarepaket vom Lehrgebiet von Prof. Thomas

-- Marc van Woerkom 16:31, 26. Aug 2004 (CEST)

---

Mir fallen gerade noch die Homomorphismen, Äquivalenzklassen usw. ein, tja und dann sind wir eigentlich auf einem hohem Level. Soll so ein Artikel das Expertenwissen widergeben, oder für jedermann verständlich sein?

Und bei den Mealy/Moore Automaten müsste man sich nochmal die Sicht der technischen Informatiker/Informationstechniker zu eigen machen, die evt. ein wenig von der Sicht der eher mathematisch geprägten theoretischen Informatiker abweichen könnte (taucht an der Stelle auf, wo es von Schaltnetzen -kein Gedächtnis- zu Schaltwerken geht) - auf jeden Fall mal beides checken.

--Marc van Woerkom 16:39, 26. Aug 2004 (CEST)

---

EAs <=> Reguläre Sprachen <=> Rechts-lineare Grammatiken <=> Links-lineare Grammatiken Die Äquivalenz muss auch noch rein.

--Marc van Woerkom 13:40, 27. Aug 2004 (CEST)

Inhaltsverzeichnis 1 EA für's Parsen 2 Deterministsisch endlicher Automat 3 Endliche Automaten malen 4 Bitte mehr Zusammenarbeit 5 Linkliste aus dem Artikel hierher verschoben 5.1 Werkzeuge 6 Artikel umgebaut 7 JPG-Grafiken 8 Mealy-Grafik 9 Aufrennung nach Disziplinen 10 endlich?

[Bearbeiten] EA für's Parsen

Im Artikel steht:

Endliche Automaten spielen insbesondere beim Parsen von Dokumenten eine wichtige Rolle.

Das ist ja nicht so korrekt, die wichtigere Rolle spielen dort die Kellerautomaten, die den Tokenstrom gegen die Grammatik matchen. Die EAs bzw. regulären Ausdrücke helfen im wesentlichen beim Erzeugen des Token Streams aus dem Character Stream. --Marc van Woerkom 23:39, 14. Okt 2004 (CEST)

Grundsätzlich einverstanden; vielleicht dachte der Autor dieses Satzes einfach daran, dass man in Perl mit RegEx-Ausdrücken gut mit Dokumenten umgehen kann. Auf jeden Fall sollte der Satz aber angepasst werden. HannesH

leider wurde das parsen wieder mal mit dem gesamten kompilierungsprozess gleichgesetzt, was ja mal nicht stimmt. nur der scanner arbeitet mit DEAs, der parser mit PDAs. --141.76.8.100 7. Jul 2005 12:14 (CEST)

[Bearbeiten] Deterministsisch endlicher Automat

Ich bin nicht einverstanden von der Änderung von genau auf höchstens. Warum? Weil dieses genau das beschreibt, was ein DEA ausmacht. Angenommen, ein DEA besitzt drei Zustände und ein Alphabet = {a,b}. Dann muß, um ein DEA zu sein, das Transitionsdiagramm in dieser Art aussehen:

	a	b
S0	S1	S2
S1	S1	S0
S2	S0	S2

Wenn in einem Transitionsdiagramm von mindestens einem Zustand nicht alle möglichen Transitionsmöglichkeiten vorhanden sind:

	a	b
S0	S1	S2
S1	S1	-
S2	-	S2

Dann handelt es sich um einen NEA, und nicht um einen DEA. Das gleiche gilt, falls es mehr als einen Transitionsübergang zu wenigstens einem Buchstaben gibt:

	a	b
S0	S1	S2
S1	S1,S0	S2
S2	S1	S0,S2

Ich hab's anders gelernt, aber mein Herzblut klebt nicht daran. Wenn es keine mögliche Transition gibt, befindet sich der Automat (deterministisch) im Haltzustand, ohne zu akzeptieren. Dieser Haltzustand kann bereits vor Ende der Eingabe erreicht sein. Nichtdetermistisch heißt, dass es nach oder während der Abarbeitung der Eingabe mehrere mögliche Zustände geben kann. Das gibt es bei mehreren Übergängen pro Eingabebuchstabe oder bei ε-Übergängen (spontane Zustandswechsel ohne Eingabeabarbeitung).

Eigentlich wollte ich das genau nur an der richtigen Stelle platzieren. Vor meiner Änderung stand da

haben bei jedem Zustand genau für jeden Buchstaben ihres Alpabets eine Transition.

Gemeint ist vermutlich:

haben bei jedem Zustand für jeden Buchstaben ihres Alphabets genau eine Transition.

--Rat 23:05, 30. Nov 2004 (CET)

Genau --Arbol01 23:06, 30. Nov 2004 (CET)

Also in Hedtstück - Einführung in die Theoretische Informatik steht, dass ein deterministischer Automat genau ein Folgezustand hat oder der Automat vorzeitig stoppt (also kein Folgezustand). Auch wenn man mal die Bedeutung des Wortes "deterministisch" betrachtet, die nämlich aussagt, dass das Verhalten eindeutig ist, dann trifft das auch auf die Situation mit keinen Folgezustand zu. Bei keinem Folgezustand ist das Verhalten eindeutig definiert, es passiert nichts... Nur wenn es zwei mögliche Folgezustände gibt, dann kann man von nichtdeterministisch sprechen. Ich bin also ganz klar für eine Änderung diesbzgl. --TMP 15:35, 18. Jan 2006 (CET)

hab die optimierung des EAs mal konkretisiert, leider läuft das dann eher unter det. EA - bin mir nicht sicher, ob man nicht lieber dann diesen abschnitt in den DEA artikel verschieben sollte. --141.76.8.100 7. Jul 2005 13:01 (CEST)

Ich denke auch, dass Die Beschreibung besser zu dem DEA Artikel passt. Ich habe sie dort verschoben und unter EA den alten Text mit einem Verweis auf DEA Optimierung eingebaut. --TFW 09:45, 10. Jul 2005 (CEST)

[Bearbeiten] Endliche Automaten malen

Interessiert vielleicht noch andere, die aus irgendwelchen Gründen Artikel oder so schreiben müssen, also habe ich es nach vorne auf den Artikel geschoben. Die Skizzen ersetze ich im Laufe der Woche, wenn ich mal meinen Arbeitsrechner zum Laufen gebracht habe. --Marc van Woerkom 23:11, 30. Nov 2004 (CET)

[Bearbeiten] Bitte mehr Zusammenarbeit

Ich habe den Artikel ein wenig zurecht gestossen. Da ging einiges durcheinander und es waren m.M auch grobe Fehler drin. Was mich noch frustriert hat:

• Automatentheorie ist eine primäre Domäne der theoretischen Informatik, auch wenn E-Techniker oder Linguisten hier sicher auch wichtige Beiträge geleistet haben. Und in der Informatik ist ein finiter Automat erstmal ein Einwegautomat ohne Ausgabe. Davon abweichend kann man gerne Erweiterungen vorstellen.
• Wenn man hier schon die Axt anlegt, sollte es besser und nicht schlechter werden

Ich könnte jetzt noch weiter grummeln, aber ich lasse es mal. Insgesamt müssen wir noch einiges an Arbeit reinstecken und auch die anderen Artikel zu dem Thema mal überarbeiten. --Marc van Woerkom 00:35, 15. Apr 2005 (CEST)

Ich stimme dir voll und ganz zu, dass an dem Artikel (und anderen ähnlichen) noch viel gearbeitet werden muss. Werde ich mal schauen, ob ich da etwas machen kann. Allerdings bin ich mit der Linkauswahl nicht sehr glücklich, nachdem ich sie ja schon mal zusammengestutzt habe. Ich finde einfach, dass die Links der Uni Aachen inhaltlich sicher viel zu bieten haben, jedoch sehe ich dort das Problem, dass die Seiten unübersichtlich sind. Bei Model-Checking zb muss man bis zu 13 PDF's downloaden um die gesuchte Information zu finden. Bei den anderen Aacheneer Links bis zu 30 Folien und deswegen sehe ich diese nicht als sehr geeignet an. Der alte Xy-pic Link funktionierte nicht und auf die schnelle hab ich keinen Neuen gefunden (danke für die Suche Marc), und die Gastex-Beispiele würde ich immer noch weggeben, da sie ohne Umwege über die Gastex-Homepage erreicht werden können.

Das Auseinanderziehen der Weblinks für das Zeichnen finde ich auch nicht positiv, weil ich eine gesammelte Liste einfach sinnvoller halte. --ElRakı ?! 00:54, 15. Apr 2005 (CEST)

PS: Ich bin übrigens nicht nach der "5-Links-Regel" gegangen, sonst hätte ich alle Werkzeug-Links auch noch entfernen müssen.

Die Vorlesung vom Thomas ist vollständig in der Videofassung. Man hört dabei den Ton (ist ja eine Vorlesung) und sieht, wie er simultan auf den Folien Skizzen macht. 90min Vorlesung resultieren etwa in 40-50 MB Divx Video. Eine sehr gute Umsetzung einer Vorlesung für das Netz. Hat hier allerdings nur geklappt, weil der Prof. sehr gut vortrug und seine Assistenten die Technik im Griff hatten. --Marc van Woerkom 08:53, 15. Apr 2005 (CEST)

Die Visualisierung müsste eigentlich in einen eigenen Artikel, konkret für die EAs und dann noch einen für das allgemeinerere Problem automatisch zu einem gegebenen Graphen G=(V,E) eine Visualisierung zu generieren. Das ist eine eigene Disziplin, mit eigenen Konferenzen. Mal schauen, wann ich da mal zu komme. --Marc van Woerkom 09:00, 15. Apr 2005 (CEST)

Ich stöbere gerne in Wikipedia (zugegebenermaßen vorwiegend in dem englischsprachigen Teil) und finde immer wieder hervorragende Artikel. Leider gibt es auch viele Artikel, die trotz der offensichtlichen Bemühungen der Autoren völlig vorbei an dem Sinn eines Wikipediaartikels sowie an der Wahrheit bzw. Realität geschrieben werden. Der FSM Artikel hier gehört eindeutig in diese Kategorie.

Zum Sinn dieses Wikipedia Artikels: es soll versucht werden die Zustandsmaschine für einen interessierten Laien zu erklären, was ist das und wie wird das verwendet. Was sind die wichtigsten Merkmale. Zum Schluss würden ein paar Links auf weiter führende Literatur ausreichen. Statt dessen hat man den Eindruck, dass hier jemand die Automaten Theorie (mit fast 100% Fokus auf Spracherkennung) innerhalb eines Wikipedia Artikels ernsthaft erklären möchte.

Zum Wert (Wahrheit/Realität) dieses Wikipedia Artikels: Die Automatentheorie und die Zustandsmaschine wurden eingeführt in einer Zeit wo der Begriff „Informatik“ wahrscheinlich noch gar nicht existiert hat (das älteste Buch zu dem Thema, das ich persönlich kenne ist „Introduction to the Theory of Finite-state Machines“ vom Herr Gill, erschienen 1962). Wenn die Informatik sich dieser mächtigen, hervorragend beschriebenen und seit Jahrzehnten erfolgreich in der Praxis eingesetzten Methodik bedient, dann heiß es nicht, dass sich etwas wesentlich an der Theorie ändert. Das heißt, um die zwei wichtigsten Punkte zu nennen:

1. der Haupeinsatzgebiet für Zustandsmaschinen (der wahr Gedanke des Erfinders, der dahinter steht) die Modellierung des (Applikations-) Verhaltens ist

2. eine Zustandsmaschine Aktionen (als Ausgabe) kennt, bzw. eine Zustandsmaschine, die keine Aktionen benutzt, global gesehen ein Sonderfall ist (die meisten Zustandsmaschinen sind bis jetzt in der Hardwareentwicklung entwickelt worden, mittlerweile dicht gefolgt von Softwareentwicklung hauptsächlich in der Telekommunikations- und Maschinenbauindustrie)

Ich würde empfehlen den momentanen Artikel in „Spracherkennung in der Theoretischen Informatik“ umzubenennen und einen neuen, neutralen, und an die richtige Zielgruppe gerichteten (d.h. an die interessierte Laien) FSM Artikel zu schreiben. 217.236.197.132 22:37, 16. Mai 2005 (CEST)

[Bearbeiten] Linkliste aus dem Artikel hierher verschoben

[Bearbeiten] Werkzeuge

AT&T FSM Library ™ [1] AutoFSM [2] Bandera [3] Covered [4] Dynamic Attachment Finite State Machine (DAFSM) [5] Exorciser [6] Finite State Kernel Creator [7] Finite State Machine Editor [8]

Finite State Machine Explorer [9] FSMGenerator [10] FSA Utilities [11] JFLAP [12] jrexx-Lab [13] Kara [14] Nunni FSM Generator [15] Petrify [16]

Qfsm [17] Quantum-Leaps [18] Ragel [19] Statestep [20] StateWORKS [21] WhatOS [22] Xerox Finite-State Software Tools [23]

Die Links gehören nicht in den Artikel, da WP keine Linkliste ist, siehe WP:WWNI mfg --ncnever 06:30, 21. Mai 2005 (CEST)

[Bearbeiten] Artikel umgebaut

Ich habe den Artikel umgebaut, d.h. zunächst verallgemeinert (er war ganz auf Wort- und Spracherkennung ausgerichtet, was nur ein kleines Unterkapitel in dem Zusammenhang sein kann) und vereinfacht, d.h. lesbar für einen interesierten Laien gemacht. Das Erklären aller Deteils der Automatentheorie innerhalb eines Wikipediaartikels macht nicht viel Sinn und ist auch unmöglich. Ich denke es ist jetzt deutlich besser, vor allem verständlicher und allgemeiner als der alte Artikel, hoffe aber selbstverständlich auch auf Kommentare. Ein paar Details müssten sicher noch verbessert werden, viel erweitern würde ich es jedoch nicht mehr. Da sollte lieber die Referenzenliste (Literatur, Weblinks etc.) ausgebaut werden, falls jemand sich in die Materie wirklich vertiefen möchte. TFW 22:33, 14. Jun 2005 (CEST)

Erstmal muss ich dir stark widersprechen.

"Das Erklären aller Deteils der Automatentheorie innerhalb eines Wikipediaartikels macht nicht viel Sinn und ist auch unmöglich."

Dies sehe ich ganz und gar nicht so. In der Wikipedia sollten sicherlich möglichst viele Details der Automatentheorie zu finden sein, unmöglich ist es sicherlich nicht.

TFW 14:30, 15. Jun 2005 (CEST):In der Wikipedia können sicher viele Aspekte der Automatentheorie erklärt werden. Dennoch soll es nicht innerhalb eines Artikels versucht werden. Ansonsten vertrete ich eher die Ansicht, dass eine allgemeine Enzyklopedie kein Platz ist, um Akademische Themen in aller Ausfürlichkeit zu behandeln. Zu Automatentheorie gibt es unzählige Bücher, von denen wahrscheinlich kein einziges die ganze Thematik, sondern nur bestimmte, aus Sicht oder Interesse des Authoren wichtige, Aspekte, behandeln. Alleine zu Themen wie Validierung oder Optimierung der EA gibt es unmengen an Informationen in Form von Büchern, Papers und Webpublikationen. Man kann es nicht ernsthaft versuchen diese Informationen in der Wikipedia unterzubringen. Deshalb macht man überall Literatur- und Weblinkslisten. Schliesslich, wer liest eine Enzyklopedie? In der Regel sind das interessierte Laien, die sich kurz zu einem Begriff informieren lassen möchten. Der Fachmann, oder der der es werden möchte, kauft sich Bücher und schut vielleicht in die Enzyklopedie, um einen Startpunkt für seine Recherche zu haben, mehr nicht. Deshalb sollten die Artikel in Wikipedia vor allem verständlich sein und die Essenz des Themas korrekt wiedergeben.

Ich habe mir die beiden Versionen nicht im Detail durchgelesen, da mir jetzt Zeit und Lust dazu fehlt. Die Einteilung in Akzeptoren und Transducer halte ich für gewagt, da meines Wissens die Einteilung in deterministisch und nichtdeterministisch weiter verbreitet ist (es gibt auch Deterministischer endlicher Automat und Nichtdeterministischer endlicher Automat).

TFW 14:30, 15. Jun 2005 (CEST):es gibt Domänen, wo die Einteilung in DEA und NEA einen gewissen Sinn macht und entsprechend propagiert wird. In der Wikipedia soll jedoch die möglichst neutrale, d.h. allgemeine Betrachtungsweise angegeben werden. Nun spielt die Einteilung in DEA und NEA in mehr als 99% der Fälle in der Praxis gar keine Rolle. Ich will die einteilung in Akzeptoren und Transducer nicht überbewerten, aber aus praktischer Sicht zumindest macht sie viel mehr Sinn, da sie zwei ziemlich unterschiedliche Domänen einigermassen gut representiert: der Spezialfall der Wort- und Spracherkennung gegen den allgemeinen Einsatz der EA im Hard- und Software design (d.h. hauptsächlich Steuerungen, bzw. Verhaltensmodellierung). Während der Akzeptor keine Aktionen kennt und gewöhnlich "zu Ende" laufen wird, kennt der Transducer normalerweise kein Ende und beeinflußt die "Außenwelt" nicht nur mit allen seinen Zustenden, sondern vor allem mit seinen Aktionen.

Zusätzlich würde ich die längeren Erklärungen zu Moore Automat und Mealy Automat in deren Artikel packen.

TFW 14:30, 15. Jun 2005 (CEST):Die unterscheidung in Mealy und Moore sollte auf keinen Fall überbewertet werden, nur weil ich ein paar Sätze darüber geschrieben habe. Die Erfahrung zeigt jedoch (und die Suchanfragen in Google & Co.), dass dies mit Abstand, das gefragteste Thema im Bezug auf EA wohl ist. Was ist nun wirklich der Unterschied? Was ist besser? Warum? Deshalb gehören die zwei Modelle zu einem allgemeinen EA Artikel - möglichst einfach erklärt. Ein weiterführender Link sollte eine Vertiefung ermöglichen aber nur für die, die es sich wirklich antun wollen. Es gibt im übrigen viele Themen die in dem Artikel erwähnt sind, könnten aber zusätzlich in einem weiterführenden Artikel genauer behandelt werden (z.B. die Übergangstabelle, die ja viele interesante Variationen kennt)

Allgemein halte ich es sinnvoller, bei so großen Änderungen zuerst auf der Diskussionsseite eine Neueinteilung zu besprechen/vorzuschlagen, als direkt die Änderungen zu machen. --ElRakı ?! 10:58, 15. Jun 2005 (CEST)

TFW 14:30, 15. Jun 2005 (CEST):Ich habe mir die Diskussionsrunde angeschaut und habe gesehen, dass die meiste berechtigte kritik übersehen/überlesen wird. In solchen Situationen ist es oft die besste Vorgehensweise einfach etwas vorzubereiten (ich habe den Artikel sicher nicht in 5 Minuten entworfen und ich habe ihn auch nicht ohne Konsultierung anderer veröffentlicht) und sich dann der Kritik zu stellen. Unter Berücksichtigung der Tatsache wie unverständlich, chaotisch und in der Gesamtheit (neutrale Sicht!) falsch der alte Artikel war, glaube ich nicht, dass es jemand mit überzeugung verteidigen würde. Der neue Artikel beinhaltet auch ideen bzw. Textausschnitte aus dem alten und es kann sicher einiges noch verbessert werden. Es soll nur versucht werden, die allg. Regeln zu befolgen:

• neutrale Sicht darstellen
• Fokus auf die Essenz
• Verständlichkeit für die Nicht-Fachleute

Hallo TFW, was ist denn gegen eine Verlinken und in Zusammenhang zur Übergeordneten Theorie stellen zu Anfang einzuwenden. Nennung und Verlinkung von überbegriff Automat (Informatik) und Fachgebiet Theoretische Informatik halte ich für wichtig. Wer nichts vom EA weiss, kann so wie der Artikel jetzt steht, gar nicht weiterkommen. -- Schewek 22:16, 15. Jun 2005 (CEST)

Ich finde diese Links wichtig und habe Deine gut gemeinte Intention nur falsch verstanden, da der Einführungstext, in dem Du die Links untergebracht hast, doch etwas merkwürdig war:

Ein Endlicher Automat ist ein Automat im Sinne der theoretischen Informatik. (!!!)

Ich habe gerade eben einen Link auf Automatentheorie unten in der Anleitung angelegt, da das Wort dort bereits verwendet worden ist. Von dort hat man (oder sollte man haben) dann Zugang zu allen Unterkapiteln der Automatentheorie, die in der Wikipedia untergebracht sind. Ich habe auch überhaupt keine Einwende gegen weitere Verlinkung von Begriffen, nur bei Inhaltsänerungen sollte man mit Bedacht vorgehen. -TFW 14:39, 16. Jun 2005 (CEST)

Mir ging es bei der Einfügung in erster Linie darum, den EA für den unbedarften Leser in einen Zusammenhang zu stellen. Das wird durch die Verlinkung weiter unten nicht geleistet.

TFW 11:18, 18. Jun 2005 (CEST): Das ist eine Ansichtssache, die schwer zu entscheden ist. Wenn ich mich frage, warum der "unbedarfte Leser" zu diesem Artikel gekommen ist, dann denke ich, es ist vor allem weil er wissen wollte was nun wirklich ein EA ist und nicht was für sonstige Ober- und Unterbegriffe dazu gehören. Diese Begriffe findet er wenn nötig in "siehe auch" Sektion, falls der Artikel sein Interesse so weit angeregt hat, dass er so weit gekommen ist. Dies wird aber nur dann der Fall sein, wenn der Artikel auch interessant, d.h. gut verständlich gewesen ist. Üblicherweise entscheidet sich alles ganz am Anfang des Artikels und deshalb sollten insbesondere die ersten Sätzte ansprechend sein. Das Zuordnen des EA zu der Automatentheorie gleich in dem Einführungstext ist aus meiner Sicht das Optimum aus "richtiger Fokus/Verständlichkeit" und "Aufstellen im richtigen Zusammenhang".

Ich habe auch ein Problem, als erste Definition "EA ist ein Modell des Verhaltens" zu lesen. Man könnte zur Annahme verleitet sein, es gehe um Verhaltensforschung. Solche übergeordneten Einordnungen sollten meiner Ansicht nach vor einer Detailbeschreibung stehen.

TFW 11:18, 18. Jun 2005 (CEST): Ich denke nicht, dass jemand, der den Begriff endlicher Automat liest, an etwas anderes als an (Computer-?) Technik denkt. Leider. Ich weiss nicht was für Hintergedanken der Erfinder des EA hatte. Sicher wollte er vor allem das Verhalten von Automaten verständlich modellieren. Er merkte aber sicher wie praktisch und der Art des menschlichen Denkens nahe sein Modell ist.

Vor zwei Wochen hat mich meine 14 jährige Nichte dabei "erwischt", wie ich ein Buch über Einsatz von Zusatandsmaschinen in Softwareentwicklung gelesen habe. Nun fand sie den Begriff "Zustandsmaschine" so interessant (?), dass sie unbedingt wissen wollte was das ist. Ich sagte ihr, es sei eine Möglichkeit Verhalten zu modellieren und als Beispiel baute ich für sie folgende Zustandsmaschine: sie (die Nichte) befand sich zunächst im Zustand "unwissend". Dank dem gezeigten Interesse ging sie in Zustand "zuhörend" über. Dank meiner Erklärung wechselte sie schliesslich in den Zustand "begeistert". Ich ersparte ihr weitere Details, um den Übergang zu "totale verwirrung" zu vermeiden. Das ganze hört sich vielleicht witzig an, hat aber einen ernsten Hintergrund: das EA Modell wird fast ausschliesslich in dem uns üblicherweise bekannten technischen Zusammenhang verwendet (und es ist sehr gut so z.B. für die Ingenieure). Wir sollten dieses Modell jedoch so nicht einschrenken (zumindest nicht in einer allgemeinen Enzyklopedie). Wer weiss wo und mit wieviel Erfolg dieses unglaublich mächtige Modell sonst eingesetzt werden könnte, um scheinbar sehr komplizierte Zusammenhänge zu "entknoten".

Vielleicht hilft diese doch ziemlich neutrale Erklärungsweise diese Technologie aus dem dunklen "Theorieschatten" herauszuholen und den ihr würdigen Platz in der Praxis endlich einzunehmen.

Vergleiche auch den Aufbau von Kellerautomat. (Idealerweise würde man EA, Kellerautomat und Turingmaschine alle einer Grobvorlage folgen lassen, aber das ist noch mehr Arbeit.) -- Schewek 15:58, 16. Jun 2005 (CEST)

TFW 11:18, 18. Jun 2005 (CEST): Ich denke der Automatentheorie Artikel wäre defür der besste Platz. Dieser gehört jedoch wirklich ebenfalls gründlich überbearbeitet.

[Bearbeiten] JPG-Grafiken

Die JPG-Grafiken sehen ziemlich furchtbar aus, kann man die nicht als PNG neu erstellen? Dieser Hinweis:

Der StateWORKS Editor (engl.) ermöglicht das Zeichen von einzelnen EA sowie Systemen von EA, die dann als JPG Grafiken gespeichert werden können.

sollte auch raus, denn wenn die Software wirklich nur JPG erzeugen kann, kann sie ja nicht viel taugen. --Head 18:10, 14. Jul 2005 (CEST)

Über den Geschmack kann man sich bekannterweise endlos streiten, obwohl ich zugeben muss, dass die "treppenformigen" Linien nicht ganz den heutigen Standards entsprechen. Vielleicht kann man diese Grafiken mit dem Tool auch besser generieren (?). Ich will mich Mal in einer freien Minute schlau machen. Für mich waren die technischen Aspekte viel wichtiger: nachdem ich die EAs "gezeichntet" habe, konnte ich sie auf Korrektheit testen. Die Entwicklungsumgebung ist in erster Linie dazu da, EAs und systeme von miteinander kommunizierenden EAs zu entwickeln, testen und ausführen. Das Exportieren der grafischen Darstellung ist nur ein netter Site-Effect und nicht die Hauptfunktionalität. Deshalb konnte ich sicherstellen, dass die dargestellten EAs vollständig und fehlerfrei sind. Der Verweis auf die Entwicklungsumgebung ist sinnvoll, weil es das einzige mir bekannte Werkzeug ist, um EAs (und systeme von EAs) zu bauen, testen und ausführen (ohne irgendetwas codieren zu müssen). -TFW 12:15, 16. Jul 2005 (CEST)

Kannst du (oder jemand anders) bitte mal überprüfen, ob man die Automaten im PNG- statt als JPG-Format ausgeben kann? Dann wären sie OK. --Head 12:29, 21. Jul 2005 (CEST)

Habe mir die Zeit genommen, die Bildchen neu zu zeichnen und im PNG Format abzuspeichern. --Babakus 22:51, 29. Aug 2005 (CEST)

[Bearbeiten] Mealy-Grafik

Die Grafik zum Mealy-Automaten finde ich sehr schwer zu verstehen. Ich kenne das so, dass die Ausgabefunktion durch einen Schrägstrich getrennt hinter dem Eingangssymbol steht. Dadurch findet ich die Zuordnung leichter zu verstehen und den Unterschied zum Moore-Automaten deutlicher. Helmut Balzert verwendet es auch so in seinem Lehrbuch der Softwaretechnik.

[Bearbeiten] Aufrennung nach Disziplinen

Ich finde wir sollten den Artikel nach Disziplinen auftrennen. Ich habe die entsprechenden Vorlesungen der Elektrotechniker/Technischen Informatiker und die der Theoretischen Informatiker/Mathematik gehört, die zwar über das gleiche reden, aber unterschiedliche Gewichtungen am Thema haben. Und wer weiss, was die Computerlinguisten aus dem Thema machen..

Die jetzige Präsentation entspricht dem Fokus der Elektrotechniker/Technischen Informatiker/Kybernetiker, die näher an den Anwendungen sind, z.B. kann man ja diese Maschinen für die Modellierung von Schaltwerken oder Kommunikationsprotokollen verwenden. Daher der ganze Zoo von Maschinenmodellen mit endlichen Speicher, mal mit, mal ohen Ausgabe.

Die Theoretischen Informatiker schauen sich in der Theorie der formalen Sprachen mehr an, welche Modelle äquivalent sind und welche Sprachen erkannt werden können. Das gibt eigentlich einen ganz anderen Artikel.

--Marc van Woerkom 13:07, 29. Mär 2006 (CEST)

[Bearbeiten] endlich?

Was ist das endliche an einem endlichen Automaten? Auf mich wirkt das Beispiel auf der rechten Seite unendlich. Die Tür ist mal auf, mal zu, aber richtig zu Ende ist dieser Prozess nie. --Abdull 12:58, 29. Jul 2006 (CEST)

Der „Speicher“ ist endlich. In diesem Beispiel genügt ein Bit, um den Zustand des Automaten zu repräsentieren (offen oder geschlossen). Eine Turingmaschine könnte man im Gegensatz dazu als unendlich bezeichnen, weil ihr ein unendlich langes Band zum Lesen und Schreiben zur Verfügung steht. --jpp ?! 20:53, 29. Jul 2006 (CEST)

--cyriz

endlich bezieht sich auf die Verarbeitung von Symbolen und daher auf die Anzahl der Zustände).

Die Sprache (also Strings) die ein Automat akzeptiert kann jedoch auch unendlich sein (bsp L = a*). Daraus können unendlich viele Strings erzeugt werden, aber jeder dieser Strings ist endlich.

Fehlt bei diesem Bild aber nicht der (hypothetische) Fall, dass eine bereits offene Tür erneut geöffnet wird bzw. eine geschlossene Tür erneut geschlossen wird. Der Zustand bleibt dabei zwar derselbe, aber diese Möglichkeit besteht und wäre denke ich zur bessere Verständlichkeit und zum Aufzeigen möglicher Varianten hilfreich?! --SoulProvider 19:37, 12. Feb. 2007 (CET)