備忘録代わりに精進記録を載せていくつもりです。ついて、それぞれの桁についてありうる桁の組み合わせは、の3種類のみです。組み合わせになります。ついて考察をする必要はなくなります)。2進数に直した場合の桁数だけ、3種類のビットの組み合わせを当てはめていきます。桁目を見ている、という情報です。桁目でくりあがりが行われたかどうか、という情報です。真なら1、偽なら0です。なることが確定しているかどうか、という情報です。真なら1、偽なら0です。初期状態は、となります。桁目の繰り上がりあり)、の3つのパターンに対応します。ここからは、0-indexedで考えていきます。2進数で110という数字は、左から0桁目と1桁目が'1'、2桁目が'0'です。遷移の個数がかなり多いです。なるかによって遷移が決まります。桁目が0か1か、についてまずは考えていきます。