Eine einfache Protokollsprache P1

Darstellungsform: Endlicher Automat (nicht vollständig)

Mit der Vereinbarung, daß alle fehlenden Übergänge zum Ausgangszustand zurückführen, ist der folgende endliche Automat zu dem vorherigen äquivalent, d. h. er akzeptiert genau dann, wenn der vorherige akzeptiert.

Startzustand ist q₀.