状態、'0'および、'A'〜'I'に対して、 以下の状態遷移が定義されているとする。 '0'→'A' 'A'→'B' 'B'→'C' 'C'→'B' 'C'→'A' 'D'→'B' 'D'→'H' 'H'→'D' 'E'→'F' 'F'→'G' 'G'→'F' 'G'→'E' 'I'→'I' この状態遷移は間違っており、遷移しない状態が存在する。 遷移…