Zur Strukturtheorie sequentieller Automaten

ویرایش: 1 
نویسندگان: Dr. rer. nat. Karl-Heinz Böhling (auth.)  
سری: Forschungsberichte des Landes Nordrhein-Westfalen 1279 
ISBN (شابک) : 9783322980090, 9783322986368 
ناشر: VS Verlag für Sozialwissenschaften 
سال نشر: 1964 
تعداد صفحات: 74 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

قیمت کتاب (تومان) : 31,000

1.1. مروری بر مدل‌های انتزاعی خودکارهای متوالی مورد استفاده در ادبیات 1955 مدل‌های ماشین‌های متوالی انتزاعی برای اولین بار در MOORE [M 56.6] و MEALY [M 55.1] ظاهر می‌شوند. آنها با تعداد محدودی از حالت ها، نمادهای ورودی و نمادهای خروجی مشخص می شوند. مدل MOORE یک سیستم رفتار کاملاً قطعی است که در آن وضعیت فعلی ماشین فقط به نماد و حالت ورودی قبلی بستگی دارد، نماد خروجی فعلی فقط به وضعیت فعلی بستگی دارد. در مدل MEALY، نماد خروجی فعلی و حالت بعدی به طور منحصربه‌فردی توسط نماد ورودی و حالت فعلی تعیین می‌شوند. این روابط با جداول و نمودارهای وضعیت نشان داده می شوند. 1957 تعریف رسمی تر از اتوماتای ​​متوالی را می توان در BURKS [B 57.1] یافت. نمادهای ورودی، خروجی و حالت ها به اعداد طبیعی نگاشت می شوند. زمان توسط مجموعه تمام اعداد طبیعی گرفته می شود. یک مجموعه از اعداد طبیعی X، Y، S دارد که رابطه عملکردی آنها با S (t+1)=g [x (t)، S (t)] Y (t)=J[x (t)، S ( t)]، مربوط به مدل MEALY است. AUFENKAMP [A 57.2] نمایشی را با ماتریس های انتقال (مرتبط با g) و ماتریس های خروجی Cf مربوطه) یا با ماتریس های اتصال درجه دوم از جفت ها (x,y) A XE X AYE Y بر روی حالت های SES انتخاب می کند. 1958 گسترش روابط عملکردی بین X، Y و Sauf 1959 پیامدهای ورودی پاسخ. نمادهای خروجی در RANEY [R 58.7]، GINSBURG [G 59.6] و SRINIVASAN-NARASIMHAN [S 59.12] انجام می‌شود.

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.

Front Matter....Pages 1-6
Einleitung....Pages 7-10
Sequentielle Systeme als Sonderfall von Relations-Systemen einer bestimmten Klasse....Pages 11-12
Strukturelle Eigenschaften dreistelliger Relationen....Pages 13-23
Grundlegende Relationen in der Automatentheorie....Pages 24-26
Darstellung der Relationen der Automatentheorie durch bewertete gerichtete Graphen....Pages 27-28
Grundbegriffe bei einfachen sequentiellen Systemen....Pages 29-29
W-Relationen in Sequentiellen Systemen....Pages 30-32
Partialitäts-Klassen bei sequentiellen Systemen....Pages 33-44
Strukturtypen sequentieller Systeme....Pages 45-45
Sequentielle Systeme und sequentielle Automaten....Pages 46-47
Kennzeichnung von Eigenschaften sequentieller Systeme....Pages 48-48
Ausgezeichnete Merkmale sequentieller Systeme....Pages 49-49
Typen einfacher sequentieller Systeme....Pages 50-56
Sequentielle Systeme und Signalfolgen....Pages 57-66
Darstellung sequentieller Automaten als Relationssysteme....Pages 67-68
Einige Typen sequentieller Automaten....Pages 69-71
Literaturverzeichnis....Pages 73-73
Back Matter....Pages 75-77