A survey on transitivity in discrete time dynamical systems. Applications to symbolic systems and related languages