This question did not get anything from math.stackexchange. Therefore, and although probably very elementary, I pose it here. It is about an example in an 
[article](https://eudml.org/eudml/doc/183526) of Dekking and Mendez France:

For an integer $n$ let $s(n)$ be the number of ones in the binary expansion,
so that $s(2k)=s(k)$ and $s(2k+1)=s(2k)+1$, $\alpha \in (0,1/2)$ is fixed, $x = 2\pi i \alpha$ and $$ z_n= \sum_{k=0}^{n-1} \exp(xs(k)).$$
The authors claim that for all $n,m \in\mathbb N$ the following can be shown by induction:
$$ z_n=z_m \text{ and } z_{n+1}=z_{m+1} \Longrightarrow n=m.$$
I see this if $n,m$ have the same parity: One has 
$\exp(xs(n))=\exp(xs(m))$ and if $n,m$ are both odd  this gives $\exp(xs(n-1))=\exp(xs(m-1))$ which rather
quickly implies $z_{n-1}=z_{m-1}$. 

If $n,m$ are both even one can use the identity
$$z_{2n}=(1+e^x)z_n$$ (each term $e^{xs(k)}$ for $k\in \lbrace n,\ldots,2n-1\rbrace$ corresponds to a term $e^{xs(j)}$ with $0\le j \le n-1$ such that
$s(k)=s(j)+1$) to obtain $z_{n/2}=z_{m/2}$ and $z_{n/2-1}=z_{m/2-1}$.

However, I do not see how to proceed if $n$ and $m$ have different parity.