Sehr übersichtlich sind Zähler in Form von MOORE-Automaten, besonders wenn Ausgangs- und Zustandsvariable identisch sind. (Quelle: Schneider: Lexikon Informatik)
Zustandsvariable sind elementare, bekannte Größen, die gewisse, wohldefinierte Werte annehmen können. (Quelle: Schneider: Lexikon Informatik)