symbolic_dynamics
