Introduction to Symbolic Dynamics and coding, Fall 2026