\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand*\HyPL@Entry[1]{}
\HyPL@Entry{0<</S/D>>}
\citation{GU16}
\citation{CKMFR80}
\citation{Merta18}
\citation{Merta18bis}
\citation{GU16}
\citation{AS03}
\citation{Rigo1}
\citation{Rigo2}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}{section.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{2}{section.2}}
\citation{Dur11}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Combinatorics on words}{3}{subsection.2.1}}
\citation{Cobham72}
\citation{AS03}
\citation{Schaeffer13}
\newlabel{thm:Cobham-Durand-2011}{{1}{4}{Cobham-Durand}{theorem.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Abstract numeration systems, automatic sequences and regular sequences}{4}{subsection.2.2}}
\newlabel{thm:Cobham-1972}{{2}{4}{Cobham's theorem on automatic sequences}{theorem.2}{}}
\newlabel{pro:prop-aut-reg}{{3}{4}{}{theorem.3}{}}
\citation{AS03}
\citation{Sloane}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Formal power series}{5}{subsection.2.3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}The period-doubling sequence}{5}{section.3}}
\citation{Sloane}
\citation{AS99}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The $2$-DFAO generating the period-doubling sequence $\boldsymbol  {d}$.}}{6}{figure.1}}
\newlabel{fig:aut-pd}{{1}{6}{The $2$-DFAO generating the period-doubling sequence $\boldsymbol {d}$}{figure.1}{}}
\newlabel{pro:pd-0-not-k-reg}{{5}{6}{}{theorem.5}{}}
\citation{Aetal95}
\citation{AAS}
\newlabel{lem:pd-fixed-point}{{6}{7}{}{theorem.6}{}}
\newlabel{pro:pd-1-not-k-reg}{{7}{7}{}{theorem.7}{}}
\citation{GU16}
\citation{CKMFR80}
\citation{GU16}
\@writefile{toc}{\contentsline {section}{\numberline {4}The formal inverse of the period-doubling word}{8}{section.4}}
\newlabel{lem:period-doubling-inverse}{{9}{8}{}{theorem.9}{}}
\newlabel{pro:pol-and-rec-u}{{10}{9}{}{theorem.10}{}}
\newlabel{eq:period-doubling-inverse-5}{{1}{9}{The formal inverse of the period-doubling word}{equation.4.1}{}}
\newlabel{eq:period-doubling-inverse-6}{{2}{9}{The formal inverse of the period-doubling word}{equation.4.2}{}}
\citation{Sloane}
\newlabel{lem:recurrences}{{13}{11}{}{theorem.13}{}}
\newlabel{eq:u-rec-1}{{3}{11}{}{equation.4.3}{}}
\newlabel{eq:u-rec-2}{{4}{11}{}{equation.4.4}{}}
\newlabel{eq:u-rec-3}{{5}{11}{}{equation.4.5}{}}
\newlabel{eq:u-rec-4}{{6}{11}{}{equation.4.6}{}}
\newlabel{eq:u-rec-5}{{7}{11}{}{equation.4.7}{}}
\citation{Fatou}
\citation{Sloane}
\@writefile{toc}{\contentsline {section}{\numberline {5}Characteristic sequence of 1's in the iPD sequence $\boldsymbol  {u}$}{12}{section.5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces The $2$-DFAO generating the inverse period-doubling sequence $\boldsymbol  {u}$.}}{13}{figure.2}}
\newlabel{fig:aut-inverse-pd}{{2}{13}{The $2$-DFAO generating the inverse period-doubling sequence $\boldsymbol {u}$}{figure.2}{}}
\newlabel{pro:complexity-L-a}{{16}{13}{}{theorem.16}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces A non-deterministic automaton accepting the language $L_a$.}}{14}{figure.3}}
\newlabel{fig:aut-La}{{3}{14}{A non-deterministic automaton accepting the language $L_a$}{figure.3}{}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces The transition table of a deterministic automaton accepting $L_a$.}}{14}{table.1}}
\newlabel{tab:tran-det-aut-La}{{1}{14}{The transition table of a deterministic automaton accepting $L_a$}{table.1}{}}
\newlabel{lem:a-n-mod-3}{{17}{15}{}{theorem.17}{}}
\newlabel{eq:PowersOf2Mod3}{{8}{15}{Characteristic sequence of 1's in the iPD sequence $\boldsymbol {u}$}{equation.5.8}{}}
\newlabel{pro:a-n-mod-3-Fib}{{18}{15}{}{theorem.18}{}}
\citation{Rigo1}
\citation{Rigo2}
\citation{Rigo2}
\citation{Rigo2}
\newlabel{lem:Fib-automatic}{{19}{16}{}{theorem.19}{}}
\newlabel{thm:morphic-automatic-ANS}{{20}{16}{}{theorem.20}{}}
\citation{Rigo1}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces The DFA $\mathcal  {A}$ accepting the language $\{\varepsilon \} \cup 1\{0,01\}^*$.}}{17}{figure.4}}
\newlabel{fig:FibonacciLanguage}{{4}{17}{The DFA $\mathcal {A}$ accepting the language $\{\varepsilon \} \cup 1\{0,01\}^*$}{figure.4}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces The Fibonacci-DFAO $\mathcal  {B}$ generating $\boldsymbol  {x}$.}}{17}{figure.5}}
\newlabel{fig:FibonacciNumbers}{{5}{17}{The Fibonacci-DFAO $\mathcal {B}$ generating $\boldsymbol {x}$}{figure.5}{}}
\newlabel{lem:Fib-morphic-1}{{21}{17}{}{theorem.21}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces The DFA $\mathcal  {P}$ which is the product of $\mathcal  {A}$ and $\mathcal  {B}$.}}{18}{figure.6}}
\newlabel{fig:Product}{{6}{18}{The DFA $\mathcal {P}$ which is the product of $\mathcal {A}$ and $\mathcal {B}$}{figure.6}{}}
\newlabel{lem:getting-rid-of-erasing-morphism}{{22}{18}{}{theorem.22}{}}
\newlabel{pro:Fib-morphic-2}{{23}{18}{}{theorem.23}{}}
\newlabel{prop:not-k-automatic}{{25}{19}{}{theorem.25}{}}
\citation{Sloane}
\citation{Merta18}
\citation{Sloane}
\citation{AS03}
\citation{Merta18}
\bibcite{AAS}{1}
\bibcite{Aetal95}{2}
\bibcite{AS99}{3}
\bibcite{AS03}{4}
\bibcite{CKMFR80}{5}
\newlabel{cor:notReg}{{26}{20}{}{theorem.26}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Acknowledgment}{20}{section.6}}
\bibcite{Cobham72}{6}
\bibcite{Dur11}{7}
\bibcite{Fatou}{8}
\bibcite{GU16}{9}
\bibcite{Merta18}{10}
\bibcite{Merta18bis}{11}
\bibcite{Rigo1}{12}
\bibcite{Rigo2}{13}
\bibcite{Schaeffer13}{14}
\bibcite{Sloane}{15}