Advertisement

Automatentheorie und formale Sprachen

Chapter
  • 145 Downloads

Zusammenfassung

Unter einem Automaten (Automaton) stellt man sich eine Maschine vor, die ihr Verhalten bis zu einem gewissen Grade selbst steuert [Hop02]. Für Anwendungen in Wissenschaft und Technik ist jedoch eine mathematische Präzisierung dieses Begriffs nötig. Historisch gesehen begann man sich für die Automatentheorie im Zusammenhang mit Relaisschaltungen, allgemeiner mit Schaltnetzen und Schaltwerken, zu interessieren, um deren Verhalten zu beschreiben. Wie in Kapitel 3 beschrieben, lässt sich ein Schaltwerk als ein Schaltnetz mit Rückkopplungen und Verzögerungen beschreiben, wohingegen Schaltnetze idealisierend als rückkopplungs- und verzögerungsfrei betrachtet werden. Weiter abstrahierend stellt man sich im Zusammenhang mit Automaten alle Eingangsvariablen als Eingabezeichen alle Ausgangsvariablen als Ausgabezeichen und die rückgekoppelten Ausgänge als interne Zustände vor. Automaten sind damit eine alternative Beschreibung von Schaltwerken, jedoch bei endlicher Anzahl von Zuständen — und das ist eine wesentliche Einschränkung — ohne einen prinzipiell unbegrenzten Speicher, d.h. mit nicht vorab definierter Kapazität.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [Aho99]
    Aho, A.V. et al.: Compilerbau 1 und 2. Oldenbourg (1999)Google Scholar
  2. Hop02] Hoperoft, J.E. und J.D.Ullmann: Einführung in die Automatentheorie Google Scholar
  3. formalen Sprachen und Komlexitätstheorie. Oldenbourg (2002)Google Scholar
  4. [Ber82]
    Berlekamp, E., J. Conway and R. Guy: Winning Ways for Your Mathematical Plays. Academic Press (1982)Google Scholar
  5. Deutsche Ausgabe: Gewinnen - Strategien für mathematische Spiele. Vieweg (1986)Google Scholar
  6. [Gar87] Gardner, M.: Mathematische Denkspiele. Hugendubel (1987)
    Lev92] Levine, J.R. et al.: (1992)Google Scholar
  7. [Neu66]
    Neumann, J. von: Theory of Self-Replicating Automata. University of Illinois Press (1966)Google Scholar
  8. [Tur50]
    Turing, A.M.: Computing Machinery and Intelligence. Mind, Vol. LIX, No. 236 (1950)Google Scholar
  9. Auch enthalten in: Anderson, A.R. (Hrsg.): Minds and Machines. Englewood Cliffs (1964)Google Scholar
  10. [Wir95]
    Wirth, N.: Grundl. und Techniken des Compilerbaus. Oldenbourg (1995)Google Scholar

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 2003

Authors and Affiliations

  1. 1.RosenheimDeutschland

Personalised recommendations