Zur Strukturtheorie Sequentieller Automaten 1964 Edition Contributor(s): Böhling, Karl Heinz (Author) |
|
ISBN: 332298009X ISBN-13: 9783322980090 Publisher: Vs Verlag Fur Sozialwissenschaften OUR PRICE: $56.99 Product Type: Paperback Language: German Published: January 1964 |
Additional Information |
BISAC Categories: - Mathematics |
Dewey: 510 |
Series: Forschungsberichte Des Landes Nordrhein-Westfalen |
Physical Information: 0.17" H x 6.69" W x 9.61" (0.31 lbs) 77 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |