Discrete Geometry and Symbolic Dynamics