Pattern recognizer state diagram. (This is Moore type sequence recognizer-nonoverlap) a.