  In this paper we consider a general class $\mathcal E$ of self-similar sets
with complete overlaps. Given a self-similar iterated function system $\Phi=(E,
\{f_i\}_{i=1}^m)\in\mathcal E$ on the real line, for each point $x\in E$ we can
find a sequence $(i_k)=i_1i_2\ldots\in\{1,\ldots,m\}^\mathbb N$, called a
coding of $x$, such that $$ x=\lim_{n\to\infty}f_{i_1}\circ
f_{i_{2}}\circ\cdots\circ f_{i_n}(0). $$ For $k=1,2,\ldots, \aleph_0$ or
$2^{\aleph_0}$ we investigate the subset $\mathcal U_k(\Phi)$ which consists of
all $x\in E$ having precisely $k$ different codings. Among several equivalent
characterizations we show that $\mathcal U_1(\Phi)$ is closed if and only if
$\mathcal U_{\aleph_0}(\Phi)$ is an empty set. Furthermore, we give explicit
formulae for the Hausdorff dimension of $\mathcal U_k(\Phi)$, and show that the
corresponding Hausdorff measure of $\mathcal U_k(\Phi)$ is always infinite for
any $k\ge 2$. Finally, we explicitly calculate the local dimension of the
self-similar measure at each point in $\mathcal U_k(\Phi)$ and
${U_{\aleph_0}(\Phi)}$.
