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

=============================================
Period-doubling文字列
=============================================
| 初期文字  :math:`a` , :math:`b`  による :math:`n` 番目のPeriod-doubling文字列

.. raw:: html
         
   　　　<script type="text/javascript"  src="../../_static/Perioddoubling.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="0"/>
		  </div>
		  <div>
		  b = <input id="b" type="text" size="64" value="1"/>
          </div>
		  </form>
		  <div style="word-wrap:break-word;"> ・Pd(n) = <Pd>dummy</Pd> </div>

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


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

| :math:`n(n \geq 0)` 文字目の **Period-doubling文字列** *(Period-doubling Word)* :math:`Pd[n]` を以下のような定義で生成する．

	:math:`Pd[n] =v_2(n+1)mod2` 
	
| ここで

	:math:`v_2(n+1) = a` :math:`（aは2^a \mid (n+1)，2^{a+1} \mid \hspace{-.67em}/ \ (n+1)　を満たす）`
	
| 定義に従って生成されるPeriod-doubling文字列は以下のようになる．

	:math:`Pd = 0100010101000100...` 
	
|  
| また，:math:`n(n \geq 0)` 番目のPeriod-doubling文字列 :math:`Pd_n` は， :math:`Pd_{n-1}` に対して次の規則に従った変換を行うことにより生成することもできる．
| ただし， :math:`Pd_0 = 0` とする．

- :math:`0 → 01`
- :math:`1 → 00`


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



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



参考文献
--------
Allouche, Jean-Paul, and Jeffrey Shallit. Automatic sequences: theory, applications, generalizations. Cambridge university press, 2003.