State Machines 图书馆 State Machines 它包含在 AnyMath 中基于有限自动机的离散系统建模和分析工具。 使用块 Chart 您可以创建状态图，定义转换和操作，并根据状态机和转换图的逻辑控制系统的行为（有关详细信息，请参阅 有限状态机). Chart 使用有限状态机实现控制逻辑。