1: \begin{abstract}

2: We extend results of Y. Benoist and J.-F. Quint concerning random

3: walks on homogeneous spaces of simple Lie groups to the case where the

4: measure defining the random walk generates a semigroup which is not

5: necessarily Zariski dense, but satisfies some expansion properties for

6: the adjoint action. Using these dynamical results,

7: we study Diophantine properties of typical points on some self-similar

8: fractals in $\R^d$. As examples, we show that for any self-similar

9: fractal $\KK \subset \R^d$ satisfying the open set condition (for

10: instance any translate or dilate of Cantor's middle thirds set or of a

11: Koch snowflake), almost every point with respect to the natural

12: measure on $\KK$ is not badly approximable. Furthermore, almost every

13: point on the fractal is of generic type, which means (in the

14: one-dimensional case) that its continued fraction expansion contains

15: all finite words with the frequencies predicted by the Gauss

16: measure. We prove analogous results for matrix approximation, and for

17: the case of fractals defined by M\"obius transformations. 

18: \end{abstract}

19: