Spezifizierung eines Protokolls für den Analyzer

Im Analyzer wird das Protokoll als eine Menge von Zustandsübergangsregeln abgebildet, die das Senden und Empfangen von Nachrichten beschreiben. Wobei die Wörter in den Nachrichten natürlich einigen Reduktionsregeln unterliegen. Dies wird vom Nutzer in vier Abschnitten spezifiziert:

1. Übergangsregeln, die das Verhalten der ehrlichen (honest) Teilnehmer bestimmen
2. Operationen die den Teilnehmern zur Verfügung stehen
3. die Wörter die als grundlegende Bausteine dienen !!!
4. die Reduktionregeln, die von den Operationen ausgeführt wird