{"title":"prouet - thue - morse序列中的二进制模式","authors":"J. Almeida, Ondvrej Kl'ima","doi":"10.46298/dmtcs.5460","DOIUrl":null,"url":null,"abstract":"We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all\n(finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can\nactually be found in that sequence as segments (up to exchange of letters in\nthe infinite case). This result was previously attributed to unpublished work\nby D. Guaiana and may also be derived from publications of A. Shur only\navailable in Russian. We also identify the (finitely many) finite binary\npatterns that appear non trivially, in the sense that they are obtained by\napplying an endomorphism that does not map the set of all segments of the\nsequence into itself.","PeriodicalId":110830,"journal":{"name":"Discret. Math. Theor. Comput. Sci.","volume":"100 5 Pt 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Binary patterns in the Prouhet-Thue-Morse sequence\",\"authors\":\"J. Almeida, Ondvrej Kl'ima\",\"doi\":\"10.46298/dmtcs.5460\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all\\n(finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can\\nactually be found in that sequence as segments (up to exchange of letters in\\nthe infinite case). This result was previously attributed to unpublished work\\nby D. Guaiana and may also be derived from publications of A. Shur only\\navailable in Russian. We also identify the (finitely many) finite binary\\npatterns that appear non trivially, in the sense that they are obtained by\\napplying an endomorphism that does not map the set of all segments of the\\nsequence into itself.\",\"PeriodicalId\":110830,\"journal\":{\"name\":\"Discret. Math. Theor. Comput. Sci.\",\"volume\":\"100 5 Pt 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-04-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discret. Math. Theor. Comput. Sci.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.46298/dmtcs.5460\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discret. Math. Theor. Comput. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.46298/dmtcs.5460","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Binary patterns in the Prouhet-Thue-Morse sequence
We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all
(finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can
actually be found in that sequence as segments (up to exchange of letters in
the infinite case). This result was previously attributed to unpublished work
by D. Guaiana and may also be derived from publications of A. Shur only
available in Russian. We also identify the (finitely many) finite binary
patterns that appear non trivially, in the sense that they are obtained by
applying an endomorphism that does not map the set of all segments of the
sequence into itself.