Zur Strukturtheorie sequentieller Automaten

1. Front Matter

   Pages 1-6

   PDF

2. Einleitung

   • Karl-Heinz Böhling

   Pages 7-10

3. Sequentielle Systeme als Sonderfall von Relations-Systemen einer bestimmten Klasse

   • Karl-Heinz Böhling

   Pages 11-12

4. Strukturelle Eigenschaften dreistelliger Relationen

   • Karl-Heinz Böhling

   Pages 13-23

5. Grundlegende Relationen in der Automatentheorie

   • Karl-Heinz Böhling

   Pages 24-26

6. Darstellung der Relationen der Automatentheorie durch bewertete gerichtete Graphen

   • Karl-Heinz Böhling

   Pages 27-28

7. Grundbegriffe bei einfachen sequentiellen Systemen

   • Karl-Heinz Böhling

   Pages 29-29

8. W-Relationen in Sequentiellen Systemen

   • Karl-Heinz Böhling

   Pages 30-32

9. Partialitäts-Klassen bei sequentiellen Systemen

   • Karl-Heinz Böhling

   Pages 33-44

10. Strukturtypen sequentieller Systeme

    • Karl-Heinz Böhling

    Pages 45-45

11. Sequentielle Systeme und sequentielle Automaten

    • Karl-Heinz Böhling

    Pages 46-47

12. Kennzeichnung von Eigenschaften sequentieller Systeme

    • Karl-Heinz Böhling

    Pages 48-48

13. Ausgezeichnete Merkmale sequentieller Systeme

    • Karl-Heinz Böhling

    Pages 49-49

14. Typen einfacher sequentieller Systeme

    • Karl-Heinz Böhling

    Pages 50-56

15. Sequentielle Systeme und Signalfolgen

    • Karl-Heinz Böhling

    Pages 57-66

16. Darstellung sequentieller Automaten als Relationssysteme

    • Karl-Heinz Böhling

    Pages 67-68

17. Einige Typen sequentieller Automaten

    • Karl-Heinz Böhling

    Pages 69-71

18. Literaturverzeichnis

    • Karl-Heinz Böhling

    Pages 73-73

19. Back Matter

    Pages 75-77

    PDF

1.1. Überblick über die in der Literatur benutzten abstrakten Modelle sequentieller Automaten 1955 Modelle abstrakter sequentieller Maschinen treten erstmalig bei MOORE [M 56.6] und MEALY [M 55.1] auf. Sie sind gekennzeichnet durch eine endliche Anzahl von Zuständen, Eingangs-Symbolen und Ausgangs­ Symbolen. Das Modell von MOORE ist ein System von streng deterministischem Ver­ halten, in dem der augenblickliche Zustand der Maschine nur von dem vorhergehenden Eingangs-Symbol und dem vorhergehenden Zustand, das augenblickliche Ausgangs-Symbol nur von dem augenblicklichen Zustand abhängt. Bei dem Modell von MEALY sind das augenblickliche Ausgangs­ Symbol und der nächste Zustand eindeutig durch das augenblickliche Ein­ gangs-Symbol und den augenblicklichen Zustand bestimmt. Die Darstellung dieser Beziehungen erfolgt durch Tabellen und Zustands­ diagramme. 1957 Eine formalere Definition sequentieller Automaten findet man bei BURKS [B 57.1]. Eingangs-, Ausgangs-Symbole und Zustände werden auf natür­ liche Zahlen abgebildet. Die Zeit wird durch die Menge aller natürlichen Zahlen erfaßt. Man hat Mengen von natürlichen Zahlen X, Y, S, deren funktioneller Zusammenhang gegeben ist durch S (t+1)=g [x (t), S (t)] Y (t)=J[x (t), S (t)], dem Modell von MEALY entsprechend. AUFENKAMP [A 57.2] wählt eine Darstellung mit Transitions-Matrizen (g entsprechend) und Ausgangs-Matrizen Cf entsprechend) bzw. mit qua­ dratischen Verbindungs-Matrizen von Paaren (x,y) A XE X AYE Y über den Zuständen SES. 1958 Eine Erweiterung der funktionellen Beziehungen zwischen X, Yund Sauf 1959 Folgen von Eingangs-bzw. Ausgangs-Symbolen wird bei RANEY [R 58.7], GINSBURG [G 59.6] und SRINIVASAN-NARASIMHAN [S 59.12] vorgenommen.

• Automaten
• Automatentheorie
• Diagramme
• Funktion
• Genom
• Graphen
• Matrizen
• Relationen
• Struktur
• Symbol
• System
• Typen
• Zeichnung
• Zeit
• gerichtete Graphen

• Rheinisch-Westfälisches Institut für Instrumentelle Mathematik Bonn (IIM), Deutschland

  Karl-Heinz Böhling

Policies and ethics