We introduce Diddy, a collection of Python scripts for analyzing infinite discrete dynamical systems. The main focus is on generalized multidimensional shifts of finite type (SFTs). We show how Diddy can be used to easily define SFTs and cellular automata, and analyze their basic properties. We also showcase how to verify or rediscover some results from coding theory and cellular automata theory.

翻译：我们介绍了Diddy，一个用于分析无限离散动力系统的Python脚本集合。主要关注广义多维有限型移位（SFTs）。我们展示了如何使用Diddy轻松定义SFTs和元胞自动机，并分析其基本性质。同时，我们还演示了如何验证或重新发现编码理论和元胞自动机理论中的一些结果。