26/08/14 10:16:08.32 GUOHHfOE.net
もっと分かりやすく言いましょう。
a,a^{-1},b,b^{-1}の4元をF_2の生成元と逆元として、任意にならべる。
「原点に近づく」というのは、aa^{-1}=eなどの並びが生じて
語が短くなるということ。原点から遠ざかるというのは
語の長さが伸びるということ。上記4元のどれかを右端に
追加したとき75%の確率で語が伸びる。
26/08/14 10:16:08.32 GUOHHfOE.net
もっと分かりやすく言いましょう。
a,a^{-1},b,b^{-1}の4元をF_2の生成元と逆元として、任意にならべる。
「原点に近づく」というのは、aa^{-1}=eなどの並びが生じて
語が短くなるということ。原点から遠ざかるというのは
語の長さが伸びるということ。上記4元のどれかを右端に
追加したとき75%の確率で語が伸びる。