Non-normal numbers: full Hausdorff dimensionality vs zero dimensionality (Q514633)

The famous result of Borel states that almost every real number is normal. It means that if for every integer $s\ge2$ and $x\in(0,1)$ we define sequence $\alpha_k(x)\in\{0,\dots,s-1\}$ by \[ x=\sum_{k=1}^\infty\frac{\alpha_k(x)}{s^k} \] and for every $i$ we define the relative frequency \[ \nu_i(x)=\lim_{k\to\infty}\frac{\#\{n\le k\mid \alpha_n(x)=i\}}{k} \] of the digit $i$ in the expansion of $x$ then the set \[ \biggl\{x\in(0,1)\biggm|\forall i\in\{0,\dots,s-1\}: \nu_i(x)=\frac{1}{s}\biggr\} \] has full Lebesgue measure. \par The authors consider a generalized expansion of real numbers. Let $s\ge2$ be a given integer and let $Q=(q_{i,k})_{i=0,}^{s-1}{}_{k=1}^\infty$ be a given matrix with $q_{i,k}>0$ such that $\sum_{i=0}^{s-1}q_{i,k}=1$ and $\prod_{k=1}^\infty\max_i q_{i,k}=0$. Put $r_{i,k}=\sum_{j=0}^{i-1}q_{j,k}$. For every $x\in(0,1)$ we define sequence $\alpha_k(x)\in\{0,\dots,s-1\}$ by \[ x=\sum_{k=1}^\infty r_{\alpha_k(x),k} \prod_{n=1}^{k-1} q_{\alpha_n(x),n}. \] For almost every $x$ this sequence is unique. (We obtain the original expansion for $q_{i,k}=\frac{1}{s}$.) \par The authors prove several results on null/full measure/dimension of the sets \[\bigl\{x\in(0,1)\bigm|\forall i: \nu_i(x) \text{ exists}\bigr\}, \] \[\bigl\{x\in(0,1)\bigm|\forall i: \nu_i(x) \text{ does not exist}\bigr\}, \] \[ \bigl\{x\in(0,1)\bigm|(\exists i: \nu_i(x) \text{ exists})\text{ and }(\exists j: \nu_j(x) \text{ does not exist})\bigr\} \] depending on the properties of the matrix $Q$.