Introduction to Symbolic dynamics , spring 2025