Waksman (1966) improved this to 16 states, and Balzer (1967) further improved it to eight states, while claiming to prove that no four-state solution exists.
Waksman (1966) がこれを16状態まで改善し、 Balzer (1967) がさらに8状態まで減らした上で、4状態の解法がないことを示したと主張した。