endlicher Automat

Endlicher Automat

Finite-state machine

Wie ein gewöhnlicher erweiterter endlicher Automat umfaßt auch der Protokollautomat M eine Anzahl von Zuständen und Zustandsvariablen, wobei zu jedem Zeitpunkt jede Variable einen bestimmten Wert aus ihrem Wertebereich innehat. Anhand eines solchen Protokollautomaten M ist das zu überwachende Kommunikationsprotokoll definiert.

Just as any common extended finite state automaton, the protocol automaton M also contains a number of states and state variables, with each variable at any time having a certain value from its range of values.