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 和细胞自动机，并分析它们的基本属性。我们还展示了如何验证或重新发现一些来自编码理论和细胞自动机理论的结果。