Operator algebras and symbolic dynamical systems associated to symbolic substitutions