투에-모스 수열 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Morse-Thue sequence.gif|frame|right|이 그래픽은 투에 모스 수열의 반복적이고 상보적인 생성을 나타낸다.]]
[[수학]]에서 '''투에-모스 수열'''({{llang|en|Thue-Morse sequence}}), 또는 '''프로헷-투에-모스 수열'''({{llang|en|Prouhet-Thue-Morse sequence}})은 0에서 시작해서 앞의 수열의 [[불 논리|불 보수]]를 덧붙여서 얻어지는 [[이진 수열]] (0과 1의 무한수열)이다. 처음 몇 단계를 거치면 투에-모스 수열의 앞부분인 수열의 첫 단계는 0, 그 다음 단계는 01, 0110, 01101001, 0110100110010110,…을 얻을 수 있다. 전체 수열은 다음과 같이 시작한다.

:01101001100101101001011001101001.... {{OEIS|id=A010060}}

== 정의 ==
투에-모스 수열을 정의하는 여러 동등한 방법들이 있다.

=== 직접 정의 ===
''n''번째 원소 ''t<sub>n</sub>''을 계산하려면 ''n''을 [[이진법|이진수]]로 써야 한다. 이 이진 표현에서 [[해밍 무게|1의 개수]]가 홀수라면 ''t<sub>n</sub>''&nbsp;=&nbsp;1이고, 짝수면 ''t<sub>n</sub>''&nbsp;=&nbsp;0이다.<ref name=AS15>{{하버드 인용 본문|Allouche|Shallit|2003|p=15}}</ref> 따라서 [[존 호턴 콘웨이]] ''외''는 ''t<sub>n</sub>''&nbsp;=&nbsp;1을 만족하는 수 ''n''을 ''불쾌한'' 수({{llang|en|''odious'' number}}, 홀수를 뜻하는 ''odd''에서 나왔다)라고 부르고 ''t<sub>n</sub>''&nbsp;=&nbsp;0일 때는 ''악한'' 수({{llang|en|''evil'' number}}, 짝수 ''even''때문)라고 불렀다. 다시 말해, ''n''이 [[악한 수]]일 때는 t<sub>n</sub>&nbsp;=&nbsp;0이고 ''n''이 [[불쾌한 수]]일 경우에는 t<sub>n</sub>&nbsp;=&nbsp;1이다.

이 방법은 투에-모스 수열을 계산하는 빠른 방법이다. 먼저 ''t<sub>0</sub>''&nbsp;=&nbsp;0에서 시작하고, 각각의 ''n''에 대해 ''n''의 이진 표기에서 ''n''&nbsp;&minus;&nbsp;1의 이진 표기와 다른 최상위 비트를 찾는다. (이 비트는 ''x''를 ''n''과 ''n''&nbsp;&minus;&nbsp;1의 비트 단위 [[배타적 논리합|XOR]]이라 두고, ''x''를 오른쪽으로 한 비트 옮기고 ''x''와 옮긴 값의 비트 단위 XOR을 취함으로 남길 수 있다.) 이 비트가 짝수 인덱스에 있다면, ''t<sub>n</sub>''은 ''t''<sub>''n''&nbsp;&minus;&nbsp;1</sub>과 다르고, 아니면 ''t''<sub>''n''&nbsp;&minus;&nbsp;1</sub>과 같다. 따라서 이 알고리즘은 각 수열의 요소를 생성하는데 상수 시간이 걸리며 메모리의 [[L (복잡도)|로그 개수의 비트]] (상수 개수의 단어)만을 사용한다.{{sfnp|Arndt|2011}}

=== 점화식 ===
투에-모스 수열은 모든 음이 아닌 정수 ''n''에 대하여 다음 [[점화식]]을 만족시키는 수열 ''t<sub>n</sub>''이다.<ref name=AS15/>

:{|
| ''t''<sub>0</sub> || = 0,
|-
| ''t''<sub>2''n''</sub> || = ''t<sub>n</sub>'', 그리고
|-
| ''t''<sub>2''n''+1</sub>|| = 1 − ''t<sub>n</sub>''.
|}

=== L-시스템===
투에-모스 수열은 [[morphic word]]이다.<ref>{{하버드 인용 본문|Lothaire|2011|p=11}}</ref> 즉, 투에-모스 수열은 다음의 [[L-system|린덴마이어 시스템]]의 출력이다:
{| class="wikitable"
|-
! 변수 <td> 0, 1 </td>
|-
! 상수 <td> 없음 </td>
|-
! 시작 <td> 0 </td>
|-
! 규칙 <td> (0 → 01), (1 → 10) </td>
|}

=== 비트 단위 NOT을 사용한 특성화 ===
위에서 [[비트 (단위)|비트]]의 수열로 주어진 형태의 투에-모스 수열은 [[비트 연산|비트 단위 NOT]]을 사용하여 [[재귀]]적으로 정의할 수 있다.
첫 번째 원소는 0이다.
처음 2<sup>''n''</sup>개의 원소가 한번 결정되어 문자열 ''s''를 형성하면, 다음 2<sup>''n''</sup>개의 원소는 ''s''의 비트 단위 NOT으로 형성된다.
이제 처음 2<sup>''n''+1</sup>개의 원소를 정의했으므로 재귀한다.

처음 몇 단계를 자세하게 설명하면,
* 0에서 시작한다.
* 0 의 비트 단위 NOT을 취한 것은 1이다.
* 연결시키면 처음 두 원소는 01이다.
* 01 의 비트 단위 NOT을 취한 것은 10이다.
* 연결시키면 처음 두 원소는 0110이다.
* 0110 의 비트 단위 NOT을 취한 것은 1001이다.
* 연결시키면 처음 두 원소는 01101001이다.
* 계속한다.

따라서
* ''T''<sub>0</sub> = 0.
* ''T''<sub>1</sub> = 01.
* ''T''<sub>2</sub> = 0110.
* ''T''<sub>3</sub> = 01101001.
* ''T''<sub>4</sub> = 0110100110010110.
* ''T''<sub>5</sub> = 01101001100101101001011001101001.
* ''T''<sub>6</sub> = 0110100110010110100101100110100110010110011010010110100110010110.
* 등등.

=== 무한 곱 ===
수열은 다음과 같이도 정의할 수 있다.
: <math> \prod_{i=0}^{\infty} (1 - x^{2^{i}}) = \sum_{j=0}^{\infty} (-1)^{t_j} x^{j} \mbox{,} \! </math>
이 때, ''t<sub>j</sub>''는 ''j'' = 0에서 시작했을 때 ''j''번째 원소이다.

== 일부 특성 ==
투에-모스 수열의 새로운 부분이 처음 부분에 비트 단위 NOT을 취함으로 만들어졌고, 이것이 다음 블럭의 처음에도 반복되기 때문에, 투에-모스 수열은 ''이중 반복''({{llang|en|''square''}}, 반복되는 연속적인 수열)으로 가득하다.
즉, ''XX''의 예가 많이 있고, 이 때 ''X''는 어떤 문자열을 의미한다. 당연히 <math>X</math>는 그런 문자열이다 if and only if <math>X =A,\, \overline{A},\, A \overline{A}A,</math>또는 <math>\overline{A}A \overline{A}</math> 여기서 <math>A</math>는 어떤 <math>k\ge 0</math>에 대해 <math>A=T_{k}</math>이고 <math>\overline{A} </math>는 <math>A</math>의 비트 단위 NOT을 나타낸다 (0과 1을 맞바꾼다).{{sfnp|Brlek|1989}} 예를 들어 <math>k=0</math>일 때, <math>\ A= T_{0}=0 </math>이고 이중 반복 <math>A \overline{A}AA \overline{A}A = 010010 </math>는 <math>T</math>에서 16번째 비트부터 나타난다. (따라서, <math>T</math>에 있는 이중 반복의 길이는 2의 거듭제곱이거나 2의 거듭제곱의 3배이다.)
하지만, ''삼중 반복''({{llang|en|''cubes''}}, ''XXX''의 예)은 없다.
또한 ''겹치는 이중 반복''({{llang|en|''overlapping squares''}}, 0''X''0''X''0이나 1''X''1''X''1의 예)도 없다.<ref name=ACOW113>{{하버드 인용 본문|Lothaire|2011|p=113}}</ref><ref name=PF103>{{하버드 인용 본문|Pytheas Fogg|2002|p=103}}</ref> [[단어의 임계 지수|임계 지수]]는 2이다.{{sfnp|Krieger|2006}}

모든 ''n'' > 1에 대해서 ''T''<sub>2''n''</sub>이 [[회문수|회문]]이라는 것을 주목하자. 더 나아가, q<sub>''n''</sub>을 ''T''<sub>2''n''</sub>에서 연속적인 0사이의 1을 세서 얻어지는 단어라고 하자. 예를 들면, ''q''<sub>1</sub> = 2이고 ''q''<sub>2</sub> = 2102012 등등. 단어 ''T<sub>n</sub>''은 ''겹치는 반복''을 포함하지 않아 결과적으로 단어 ''q<sub>n</sub>''은 회문 [[이중 반복 없는 단어]]이다.

투에-모스 열이 "이중 반복으로 가득하다"는 위의 문장은 더 정확하게 만들 수 있다:
이 수열은 ''[[고른 재귀 단어]]''이고, 고른 재귀 단어는 어떤 유한한 문자열 ''X''가 주어지면 결과적으로 길이가 ''n<sub>X</sub>''인 모든 블럭에 ''X''가 나타나느 어떤 길이 ''n<sub>X</sub>''(종종 ''X''의 길이보다 더 길다)가 있다는 것을 의미한다.<ref name=ACOW30>{{하버드 인용 본문|Lothaire|2011|p=30}}</ref>{{sfnp|Berthé|Rigo|2010}}
재귀 단어를 만드는 가장 간단한 방법은 완전히 주어진 수 ''m''단계 다음에 완전히 반복되는 [[주기 수열]]을 만드는 것이다.
그러면 ''n<sub>X</sub>''는 ''X''의 길이의 두 배 보다 긴 ''m''의 배수로 둘 수 있다.
하지만 투에-모스 수열은 고른 재귀 수열이지만 주기수열이 아니고 심지어 부분적 주기 수열(일부 비주기 초기치 이후 주기적이 되는것을 의미한다)도 아니다.<ref name=ACOW31>{{하버드 인용 본문|Lothaire|2011|p=31}}</ref>

'''투에-모스 사상'''({{llang|en|Thue–Morse morphism}})은 이진 수열의 [[집합]]에서 수열에 있는 모든 0을 01로, 1을 10으로 바꾸어서 자기 자신에게로 가는 [[함수]] ''f''로 정의한다.<ref name=BLRS70>{{하버드 인용 본문|Berstel|Lauve|Reutenauer|Saliola|2009|p=70}}</ref> 그러면 ''T''가 투에-모스 수열이라면 ''f''(''T'')는 다시 ''T''가 나온다. 즉, ''T''는 ''f''의 [[고정점]]이다. 함수 ''f''는 [[자유 모노이드]] {0,1}<sup>&lowast;</sup>과 ''T''를 고정점으로 가지는 [[연장 가능 사상]]이다. 당연히 ''T''는 본직적으로 ''f''의 ''유일한'' 고정점이다. 유일한 다른 고정점은 ''T''에 비트 단위 NOT을 취한 것으로 간단히 (0,1)에서 시작하는 것이 아닌 (1,0)에서 시작하는 투에-모스 수열이다. 이 특성은 [[오토마타 수열]]의 개념으로 일반화 할 수 있다.

[[이진 체]]에서 ''T''의 ''생성 급수''는 다음 [[형식적 멱급수]]이다

:<math>t(Z) = \sum_{n=0}^\infty T(n) Z^n \ . </math>

이 멱급수는 다음의 등식을 만족하는 형식적 멱급수의 체에서 대수적이다<ref name=BLRS80>{{하버드 인용 본문|Berstel|Lauve|Reutenauer|Saliola|2009|p=80}}</ref>

:<math>Z + (1+Z)^2 t + (1+Z)^3 t^2 = 0 </math>

=== 조합론적 게임 이론에서 ===
''악한 숫자'' (<math>t_n=0</math>인 수 <math>n</math>)의 집합은 [[님 덧셈]]([[비트 연산|비트 단위]] [[배타적 논리합]]) 아레의 음이 아닌 정수들의 부분집합을 형성한다. [[Kayles]] 게임에서, 악한 [[님 값]]은 게임에서 매우 적은(유한하게) 상태에서 나타나고 나머지는 모두 다 추악한 님 값을 가진다.

=== 프로헷-테리-에스콧 문제 ===
[[프로헷-테리-에스콧 문제]]({{llang|en|Prouhet–Tarry–Escott problem}})는 다음과 같이 정의할 수 있다. 양의 정수 ''N''과 음이 아닌 정수 ''k''가 주어졌을 때, 집합 ''S'' = { 0, 1, ..., ''N''-1 }를 아래와 같이 k까지 거듭제곱의 합이 같은 두 [[서로소 집합|서로소]] 부분집합 ''S''<sub>0</sub>와 ''S''<sub>1</sub>으로 [[집합의 분할|분할]]하는 것이다. 이 때 ''i''는 1에서 ''k''까지의 모든 정수를 의미한다.
:<math> \sum_{x \in S_0} x^i = \sum_{x \in S_1} x^i</math>

이 문제는 ''N''이 2<sup>''k''+1</sup>의 배수일 때 다음과 같은 솔루션을 가진다.
* ''S''<sub>0</sub>은 ''S''에서 ''t<sub>n</sub>'' = 0인 정수 ''n''으로 이루어져 있다,
* ''S''<sub>1</sub>은 ''S''에서 ''t<sub>n</sub>'' = 1인 정수 ''n''으로 이루어져 있다.

예를 들어, ''N'' = 8이고 ''k'' = 2일 때,
:{{개행 금지|1= 0 + 3 + 5 + 6 = 1 + 2 + 4 + 7,}}
:{{개행 금지|1= 0<sup>2</sup> + 3<sup>2</sup> + 5<sup>2</sup> + 6<sup>2</sup> = 1<sup>2</sup> + 2<sup>2</sup> + 4<sup>2</sup> + 7<sup>2</sup>.}}

''N''이 2<sup>''k''+1</sup>의 배수여야 한다는 조건은 반드시 필요한 것은 아니다. 솔루션이 있는 다른 경우가 일부 존재하지만, 이 조건은 더 강한 특성을 보장한다. 조건을 만족한다면, [[등차 수열]]의 수 ''N''개의 ''k''제곱을 한 집합은 합이 같은 두 집합으로 분할 할 수 있다. 이것은 등차 수열의 ''n''번째 원소를 나타내는 이항에 적용된 [[이항 정리]]에 의해 주어진 확장에서 직접적으로 따른다.

투에-모스 수열의 일반화와 두 부분 이상으로 분할하는 프로헷-테리-에스콧 문제에 대해서는 Bolker, Offner, Richman 그리고 Zara의 "The Prouhet –Tarry –Escott problem and generalized Thue –Morse sequences"을 보라.<ref>{{저널 인용|last1=Bolker|first1=Ethan|last2=Offner|first2=Carl|last3=Richman|first3=Robert|last4=Zara|first4=Catalin|title=The Prouhet –Tarry –Escott problem and generalized Thue –Morse sequences|journal=Journal of Combinatorics|date=2016|volume=7|issue=1|pages=117–133}}</ref>

=== 프랙탈과 거북이 그래픽 ===
[[거북이 그래픽]]을 사용할 때, 오토마톤이 수열로 프로그래밍 되어있다면 곡선이 만들어진다.
투에-모스 수열의 요소는 프로그램 상태를 만들기 위해 사용된다:

* ''t''(''n'') = 0일 때, 한 단위 앞으로 이동한다,
* ''t''(''n'') = 1일 때, 반시계 방향으로 π/3 만큼 회전한다,

나타나는 곡선은 유한한 면적을 가지면서 곡선의 길이가 무한한 프랙탈 곡선인 [[코흐 눈송이]]로 수렴한다. 이것은 투메-모스 수열의 프랙탈 성질을 나타낸다.{{sfnp|Ma|Holdener|2005}}

<!--
===Equitable sequencing===
In their book on the problem of [[fair division]], [[Steven Brams]] and [[Alan D. Taylor|Alan Taylor]] invoked the Thue–Morse sequence but did not identify it as such.  When allocating a contested pile of items between two parties who agree on the items' relative values, Brams and Taylor suggested a method they called ''balanced alternation'', or ''taking turns taking turns taking turns . . . '', as a way to circumvent the favoritism inherent when one party chooses before the other.  An example showed how a divorcing couple might reach a fair settlement in the distribution of jointly-owned items.  The parties would take turns to be the first chooser at different points in the selection process:  Ann chooses one item, then Ben does, then Ben chooses one item, then Ann does.{{sfnp|Brams|Taylor|1999}}

Lionel Levine and Katherine Stange, in their discussion of how to fairly apportion a shared meal such as an [[Ethiopian cuisine|Ethiopian dinner]], proposed the Thue–Morse sequence as a way to reduce the advantage of moving first.  They suggested that “it would be interesting to quantify the intuition that the Thue-Morse order tends to produce a fair outcome.”{{sfnp|Levine|Stange|2012}}

Robert Richman addressed this problem, but he too did not identify the Thue–Morse sequence as such at the time of publication.<ref name="richman">{{하버드 인용 본문|Richman|2001}}</ref>   He presented the sequences [[#Characterization using bitwise negation|''T<sub>n</sub>'']] as [[step function]]s on the interval [0,1] and described their relationship to the [[Walsh function|Walsh]] and [[Hans Rademacher|Rademacher]] functions.  He showed that the ''n''<sup>th</sup> [[derivative]] can be expressed in terms of  ''T<sub>n</sub>''.  As a consequence, the step function arising from  ''T<sub>n</sub>'' is [[Orthogonality|orthogonal]] to [[polynomial]]s of [[Degree of a polynomial|order]] ''n''&nbsp;&minus;&nbsp;1.  A consequence of this result is that a resource whose value is expressed as a [[Monotonic function|monotonically]] decreasing [[continuous function]] is most fairly allocated using a sequence that converges to Thue-Morse as the function becomes [[Flat function|flatter]].  An example showed how to pour cups of [[Drip brew|coffee]] of equal strength from a carafe with a [[Nonlinear system|nonlinear]] [[concentration]] [[gradient]], prompting a whimsical article in the popular press.{{sfnp|Abrahams|2010}}

Joshua Cooper and Aaron Dutle showed why the Thue-Morse order provides a fair outcome for discrete events.<ref name="cooper">{{하버드 인용 본문|Cooper|Dutle|2013}}</ref>  They considered the fairest way to stage a [[Évariste Galois|Galois]] duel, in which each of the shooters has equally poor shooting skills.  Cooper and Dutle postulated that each dueler would demand a chance to fire as soon as the other’s [[a priori probability|''a priori'' probability]] of winning exceeded their own.  They proved that, as the duelers’ hitting probability approaches zero, the firing sequence converges to the Thue–Morse sequence.  In so doing, they demonstrated that the Thue-Morse order produces a fair outcome not only for sequences [[#Characterization using bitwise negation|''T<sub>n</sub>'']] of length ''2<sup>n</sup>'', but for sequences of any length.

Thus the mathematics supports using the Thue–Morse sequence instead of alternating turns when the goal is fairness but earlier turns differ monotonically from later turns in some meaningful quality, whether that quality varies continuously<ref name="richman" /> or discretely.<ref name="cooper" />

Sports competitions form an important class of equitable sequencing problems, because strict alternation often gives an unfair advantage to one team. Richman suggested that the fairest way for “captain A” and “captain B” to choose sides for a [[Streetball|pick-up game of basketball]] mirrors  ''T''<sub>3</sub>:  captain A has the first, fourth, sixth, and seventh choices, while captain B has the second, third, fifth, and eighth choices.<ref name="richman" /> Ignacio Palacios-Huerta proposed changing the sequential order to Thue-Morse to improve the ''[[ex post]]'' fairness of various tournament competitions, such as the kicking sequence of a [[Penalty shoot-out (association football)#Procedure|penalty shoot-out]] in soccer, the rotation of color of pieces in a  [[Chess tournament#Rules|chess match]], and the serving order in a [[Tennis score#Scoring a tiebreak game|tennis tie-break]].{{sfnp|Palacios-Huerta|2012}} In [[Rowing (sport)|competitive rowing]], ''T''<sub>2</sub> is the only arrangement of [[Port and starboard|port- and starboard-rowing]] crew members that eliminates transverse forces (and hence sideways wiggle) on a four-membered coxless racing boat, while ''T''<sub>3</sub> is one of only four [[Boat rigging|rigs]]  to avoid wiggle on an eight-membered boat.{{sfnp|Barrow|2010}}-->

== 역사 ==
투에-모스 수열은 [[정수론]]에 적용시킨 외젠 프로헷(Eugène Prouhet)이 1851년에 처음으로 연구를 시작하였다.
하지만, 프로헷은 이 수열을 명시적으로 언급하지 않았다. 이것은 1906년에 [[악셀 투에]]에게로 넘겨졌고, 투에는 이 수열으로 [[단어의 조합론]] 연구를 시작했다.
이 수열은 1921년 [[마스턴 모스]]의 연구에서 모스가 이 수열을 [[미분기하학]]에 적용시켰을 때 세상의 주목을 받게 되었다.
이 수열은 수차례 독자적으로 발견되었으며, 수학자들의 전문 연구에서만 발견된 것은 아니다. 예를 들면, 1935년에서 1937년까지 체스 세계 챔피언이였고 수학 교사였던 [[그랜드마스터 (체스)|체스 그랜드마스터]]인 [[막스 오이베]]는 1929년에 [[체스]]에서의 적용을 발견하였다. 오이베는 무한히 연장되는 게임을 반복되는 이동에 의해서 무승부를 선언함으로 막는 [[동형 반복|규칙]]을 이 수열의 삼중 반복이 없는 특성(위의 문단 참고)을 사용해서 어떻게 회피할 후 있는지를 보였다.

== 같이 보기 ==
* [[데 장의 정리]]
* [[파비우스 함수]]
* [[프로헷-투에-모스 상수]]

== 각주 ==
{{각주|30em}}

== 참고 문헌 ==
{{참고 자료 시작|30em}}
*{{뉴스 인용|last=Abrahams|first=Marc|title=How to pour the perfect cup of coffee|url=https://www.theguardian.com/education/2010/jul/13/perfect-coffee-improbable-research|newspaper=The Guardian|date=12 July 2010 |ref=harv}}
*{{서적 인용|last=Arndt|first=Jörg|title=Matters Computational: Ideas, Algorithms, Source Code|publisher=Springer|year=2011|url=http://jjj.de/fxt/fxtbook.pdf|page=44|chapter=1.16.4 The Thue–Morse sequence|ref=harv}}
*{{서적 인용| last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | isbn = 978-0-521-82332-6 | publisher = [[Cambridge University Press]] | title = Automatic Sequences: Theory, Applications, Generalizations | year = 2003 | zbl=1086.11015 |ref=harv}}
*{{서적 인용| last1=Berstel | first1=Jean | last2=Lauve | first2=Aaron | last3=Reutenauer | first3=Christophe | last4=Saliola | first4=Franco V. | title=Combinatorics on words. Christoffel words and repetitions in words | series=CRM Monograph Series | volume=27 | location=Providence, RI | publisher=[[American Mathematical Society]] | year=2009 | isbn=978-0-8218-4480-9 | url=http://www.ams.org/bookpages/crmm-27 | zbl=1161.68043 |ref=harv }}
*{{서적 인용| editor1-last=Berthé | editor1-first=Valérie | editor2-last=Rigo | editor2-first=Michel | title=Combinatorics, automata, and number theory | series=Encyclopedia of Mathematics and its Applications | volume=135 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2010 | isbn=978-0-521-51597-9 | zbl=1197.68006 | page=7 |ref=harv }}
*{{서적 인용| title=The Win-Win Solution: Guaranteeing Fair Shares to Everybody |last1 = Brams | first1 = Steven J. | last2 = Taylor | first2 = Alan D. |pages=36–44 |isbn=0-393-04729-6 |publisher=W. W. Norton & Co., Inc. |year=1999|ref=harv}}
*{{저널 인용|last1=Brlek|first1=Srećko|title=Enumeration of Factors in the Thue-Morse Word|url=https://archive.org/details/sim_discrete-applied-mathematics_1989-08_24_1-3/page/83|journal=[[Discrete Applied Mathematics]]|year=1989| volume=24|pages=83–96|doi=10.1016/0166-218x(92)90274-e |ref=harv}}
*{{서적 인용| last=Bugeaud | first=Yann | title=Distribution modulo one and Diophantine approximation | series=Cambridge Tracts in Mathematics | volume=193 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2012 | isbn=978-0-521-11169-0 | zbl=1260.11001 |ref=harv }}
*{{저널 인용|last1=Cooper|first1=Joshua|last2=Dutle| first2=Aaron|title=Greedy Galois Games|journal=[[American Mathematical Monthly]]|year=2013| volume=120|issue=5|pages=441–451|url=http://www.math.sc.edu/~cooper/ThueMorseDueling.pdf|doi=10.4169/amer.math.monthly.120.05.441 |ref=harv }}
*{{서적 인용| title=Developments in Language Theory: Proceedings 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 | volume=4036 | series=Lecture Notes in Computer Science | editor1-first=Oscar H. | editor1-last=Ibarra | editor2-first=Zhe | editor2-last=Dang | publisher=[[Springer-Verlag]] | year=2006 | isbn=3-540-35428-X | first=Dalia | last=Krieger | chapter=On critical exponents in fixed points of non-erasing morphisms | pages=280–291 | zbl=1227.68074 |ref=harv }}
*{{저널 인용|last1=Levine|first1=Lionel|last2=Stange|first2=Katherine E.|title=How to Make the Most of a Shared Meal: Plan the Last Bite First|journal=[[American Mathematical Monthly]]|year=2012|volume=119|issue=7|pages=550–565|url=http://math.colorado.edu/~kstange/papers/EthiopianDinner.pdf|doi=10.4169/amer.math.monthly.119.07.550|ref=harv|확인날짜=2018-01-09|보존url=https://web.archive.org/web/20140503133308/http://math.colorado.edu/~kstange/papers/EthiopianDinner.pdf|보존날짜=2014-05-03|url-status=dead}}
*{{서적 인용| last=Lothaire | first=M. | authorlink=M. Lothaire | title=Algebraic combinatorics on words | others=With preface by Jean Berstel and Dominique Perrin | edition=Reprint of the 2002 hardback | series=Encyclopedia of Mathematics and Its Applications | volume=90| publisher=Cambridge University Press | year=2011 | isbn=978-0-521-18071-9 | zbl=1221.68183 |ref=harv }}
*{{서적 인용| last=Lothaire | first=M. | authorlink=M. Lothaire | title=Applied combinatorics on words | others=A collective work by Jean Berstel, Dominique Perrin, Maxime Crochemore, Eric Laporte, Mehryar Mohri, Nadia Pisanti, Marie-France Sagot, Gesine Reinert, Sophie Schbath, Michael Waterman, Philippe Jacquet, [[Wojciech Szpankowski]], Dominique Poulalhon, Gilles Schaeffer, Roman Kolpakov, Gregory Koucherov, Jean-Paul Allouche and Valérie Berthé| series=Encyclopedia of Mathematics and Its Applications | volume=105 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2005 | isbn=0-521-84802-4 | zbl=1133.68067 |ref=harv }}
*{{저널 인용| last1 = Ma | first1 = Jun | last2 = Holdener | first2 = Judy | author2-link = Judy A. Holdener | doi = 10.1142/S0218348X05002908 | issue = 3 | journal = [[Fractals (journal)|Fractals]] | mr = 2166279 | pages = 191–206 | title = When Thue-Morse meets Koch | url = http://www2.kenyon.edu/people/holdenerj/StudentResearch/WhenThueMorsemeetsKochJan222005.pdf | volume = 13 | year = 2005 |ref=harv }}
*{{저널 인용|last=Palacios-Huerta|first=Ignacio|title=Tournaments, fairness and the Prouhet–Thue–Morse sequence|journal=Economic inquiry|year=2012| volume=50|issue=3|pages=848–849|url=http://www.palacios-huerta.com/docs/EI-Tournaments_and_PTM_sequence.pdf|doi=10.1111/j.1465-7295.2011.00435.x |ref=harv }}
*{{서적 인용| last=Pytheas Fogg | first=N. | others=Editors Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A. | title=Substitutions in dynamics, arithmetics and combinatorics | series=Lecture Notes in Mathematics | volume=1794 | location=Berlin | publisher=[[Springer-Verlag]] | year=2002 | isbn=3-540-44141-7 | zbl=1014.11015 |ref=harv }}
*{{저널 인용|last=Richman|first=Robert|title=Recursive Binary Sequences of Differences|journal=[[Complex Systems (journal)|Complex Systems]]|year=2001|volume=13|issue=4|pages=381–392|url=http://www.complex-systems.com/pdf/13-4-3.pdf |ref=harv }}
*{{저널 인용|last1=Barrow|first1=John D.|title=Rowing and the Same-Sum Problem Have Their Moments|journal=[[American Journal of Physics]]|year=2010| volume=78|issue=7|pages=728–732|url=https://arxiv.org/pdf/0911.3551v1.pdf|doi=10.1119/1.3318808|ref=harv }}
{{참고 자료 끝}}

== 외부 링크 ==
{{위키공용분류}}
* {{springerEOM|title=Thue-Morse sequence|id=p/t120090}}
* {{매스월드|urlname=Thue-MorseSequence|title=Thue-Morse Sequence}}
* Allouche, J.-P.; Shallit, J. O. [http://www.cs.uwaterloo.ca/~shallit/Papers/ubiq15.pdf The Ubiquitous Prouhet-Thue-Morse Sequence]. (contains many applications and some history)
* Thue–Morse Sequence over (1,2) {{OEIS|id=A001285}}
* Odious numbers {{OEIS|id=A000069}}
* Evil numbers {{OEIS|id=A001969}}
* [https://web.archive.org/web/20090912104941/http://www.geocities.com/jan.schat/ThueMorse.PDF Reducing the influence of DC offset drift in analog IPs using the Thue-Morse Sequence]. A technical application of the Thue–Morse Sequence
* [http://reglos.de/musinum MusiNum - The Music in the Numbers]. Freeware to generate self-similar music based on the Thue–Morse Sequence and related number sequences.
* {{웹 인용|last1=Parker|first1=Matt|authorlink1=Matt Parker|title=The Fairest Sharing Sequence Ever|url=https://www.youtube.com/watch?v=prh72BLNjIk|publisher=standupmaths|accessdate=20 January 2016|format=video}}

[[분류:이진 수열]]
[[분류:고정점]]
[[분류:홀짝성]]