.. -*- coding: utf-8; -*-

=============================
フィボナッチ文字列
=============================

| 初期文字 :math:`a` と :math:`b` による :math:`n` 番目のフィボナッチ文字列


.. raw:: html
         
   　　　<script type="text/javascript"  src="../../_static/fibo.js">
         </script>

          <form onsubmit="return false;" autocomplete="off">
          <div>
          n = <input id="n" type="int" size="64" value="0"/>
		  </div>
		  <div>
		  a = <input id="a" type="text" size="64" value="a"/>
		  </div>
		  <div>
		  b = <input id="b" type="text" size="64" value="b"/>
          </div>
          </form>
		  <div style="word-wrap:break-word;"> ・Fib(n) = <fibo>dummy</fibo> </div>

| **注** ： :math:`n` に大きい値を入れすぎるとおかしくなります．(入力制限で :math:`n<35` としています)


定義
=========================================

以下の漸化式によって定義される :math:`Fib_n` を :math:`n` 番目の **フィボナッチ文字列** *(Fibonacci string)* という．

- :math:`Fib_0 = \varepsilon`, 
- :math:`Fib_1 = b` 
- :math:`Fib_2 = a` 
- :math:`Fib_{n} = Fib_{n-1} \cdot Fib_{n-2}` :math:`(n \geq 2)`

また，この手続きを無限に繰り返してできる無限文字列を *無限フィボナッチ文字列* という．

- :math:`Fib_{\infty} = abaababaabaababaababaabaababaabaababaababaabaababaababaabaababaabaa...`


:math:`Fib_n` は， :math:`Fib_{n-1}` に対して次の規則に従った変換を行うことにより生成することもできる．
ただし， :math:`Pd_0 = a` とする．

- :math:`a → ab`
- :math:`b → a`


例
-----------------------------------------
例えば，最初の10個のフィボナッチ文字列は次の通り．

- :math:`Fib_1 = b`
- :math:`Fib_2 = a`
- :math:`Fib_3 = ab`
- :math:`Fib_4 = aba`
- :math:`Fib_5 = abaab`
- :math:`Fib_6 = abaababa`
- :math:`Fib_7 = abaababaabaab`
- :math:`Fib_8 = abaababaabaababaababa`
- :math:`Fib_9 = abaababaabaababaababaabaababaabaab`
- :math:`Fib_{10} = abaababaabaababaababaabaababaabaababaababaabaababaababa`

その長さの系列は 1, 1, 2, 3, 5, 8, 13, 21, 34, 56, ... であり，これはフィボナッチ数列である．


性質
========================


- 無限フィボナッチ文字列は周期的でない
- フィボナッチ文字列の最後の2文字は"ab"と"ba"が交互に現れる
- フィボナッチ文字列の最後の2文字を取り除く、もしくは最後の2文字の逆転列を最初に付け加えると回文になる。たとえばab = ababaababaで、これは回文である
- 無限フィボナッチ文字列において、(文字列の長さ)/(aの数)は（黄金比）であり，aとbの比もこれに等しい
- bbとaaaは発生しない
- 無限フィボナッチ文字列は循環（どの一部の文字列も無限に再び現れる）する
- フィボナッチ列は、黄金比の傾きまたはをもつ直線が切り出す列として特徴付けられる
- 'b'はUpper Wythoff sequence の場所に現れる
- 'a'はLower Wythoff sequence の場所に現れる

（上記は Wikipediaからの拝借）


アルゴリズム
=========================================

:math:`n` 番目のフィボナッチ文字列を返す
--------------------------------------------

- 定義に忠実にしたがって作ったもの( :download:`/Scripts/Python/fibo1.py`)
- 再帰呼び出しを多用しているので大きな :math:`n` に対しては遅くなる．

.. literalinclude:: /Scripts/Python/fibo1.py
   :pyobject: fib


- 再帰ではなくループを使ったもの（ :download:`/Scripts/Python/fibo2.py`）

.. literalinclude:: /Scripts/Python/fibo2.py
   :pyobject: fib




無限フィボナッチ文字列の :math:`n` 番目の文字を返す
---------------------------------------------------

- 愚直な，遅いもの :download:`/Scripts/Python/inffibo.py` 

.. literalinclude:: /Scripts/Python/inffibo.py
   :pyobject: inffib