a finite - state automaton diagram