1 / 4

Erweiterter Mealy-Automat

Erweiterter Mealy Automat, wie er oft zur Definition von Kommunikationsprotokollen (genauer des Verhaltens von Protokollinstanzen) eingesetzt wird. Erweiterter Mealy-Automat. Definiert durch Menge von Variablen V 1 , .. V n mit Wertebereichen W 1 , ..,W n

kelly-baird
Download Presentation

Erweiterter Mealy-Automat

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Erweiterter Mealy Automat,wie er oft zur Definition von Kommunikationsprotokollen (genauer des Verhaltens von Protokollinstanzen) eingesetzt wird

  2. Erweiterter Mealy-Automat • Definiert durch • Menge von Variablen V1, .. Vn mit Wertebereichen W1, ..,Wn • Menge von Eingaben E1,.., Em jeweils mit Parametern EPi1,.., EPim • Menge von Ausgaben A1,.., Ap jeweils mit Parametern APi1,.., APip • Menge von Hauptzuständen HS • Ein ausgezeichneter Start-Hauptzustand hs0 • Initialisierungsbedingung als boolescher Ausdruck über Variablen • Menge von Transitionsklausen TK1,.., TKq,jeweils definierend eine Menge von Transitionen T1, .., Tq • Momentanhauptzustand: s  HS • Eingabe e(w1, w2, ..): Term aus Ei über Eingabeparametern • Bedingung: Boolescher Ausdruck über Eingabeparametern und Variablen • Folgehauptzustand: s‘ HS • Ausgabe a(u1, u2, ..): Term aus Aj über Ei-Eingabeparametern und Variablen • Variablenzuweisungen Vk = ausk, Term über Ei-Eingabeparametern und Variablen • Ergibt Mealy-Automaten mit großen Mengen von Zuständen, Eingaben, Ausgaben und Transitionen

  3. Erweiterter Mealy-Automat Hauptzustandsmenge Variablenmenge Initialisierungsbedingung Starthauptzustand Momentanhauptzustand Eingabe Bedingung Ausgabe Zuweisungen Folgehauptzustand Variablen INT X, Y BYTE (80) B X = 0 && Y = 5 s ODatReq(sq, usd)sq > Y+8 && X < 3 UDatReq(sq-1, usd, X+Y, B(X))X = X+1; Y = 0; B(X) = usd s‘

  4. Erweiterter Mealy-Automat: Besonderheiten Unvollständigkeit Nicht in jedem Zustand ist für alle Eingaben eine Transition vorhanden Nichtdeterminismus Es gibt u.U. pro Momentanzustand-Eingabe-Kombinationmehr als eine Transition Spontane Transitionen Es gibt u.U. Transitionen ohne Eingabe keineTransition fürEingabe DRes DR(p), p=1UDR(p,8), X=5 DR(p), p=1UDR(p,20), X=3 X<5 UDR(p,30), X=5

More Related