AI Chat AI Image Generator AI Video Text to Speech

Intertwining of Complementary Thue-Morse Factors

03/06/2022

∙

by Jeffrey Shallit, et al.

∙

∙

We consider the positions of occurrences of a factor x and its binary complement x in the Thue-Morse word t = 01101001⋯, and show that these occurrences are "intertwined" in essentially two different ways. Our proof method consists of stating the needed properties as a first-order logic formula φ, and then using a theorem-prover to prove φ.

page 1

page 2

page 3

page 4

research

∙ 09/20/2022

Complement Avoidance in Binary Words

The complement x of a binary word x is obtained by changing each 0 in x ...

0 James Currie, et al. ∙

research

∙ 11/09/2017

A Proof of Stavi's Theorem

Kamp's theorem established the expressive equivalence of the temporal lo...

0 Alexander Rabinovich, et al. ∙

research

∙ 11/04/2021

A Sound Up-to-n,δ Bisimilarity for PCTL

We tackle the problem of establishing the soundness of approximate bisim...

0 Massimo Bartoletti, et al. ∙

research

∙ 10/22/2019

Metamath Zero: The Cartesian Theorem Prover

As the usage of theorem prover technology expands, so too does the relia...

0 Mario Carneiro, et al. ∙

research

∙ 12/28/2021

A General Glivenko-Gödel Theorem for Nuclei

Glivenko's theorem says that, in propositional logic, classical provabil...

0 Giulio Fellin, et al. ∙

research

∙ 05/05/2020

Compositionality of the MSO+U Logic

We prove that the MSO+U logic is compositional in the following sense: w...

0 Paweł Parys, et al. ∙

research

∙ 02/10/2021

An Algebra of Properties of Binary Relations

We consider all 16 unary operations that, given a homogeneous binary rel...

0 Jochen Burghardt, et al. ∙