Category talk:Symbolic dynamics