标签： automata automata-theory
您好我有关于定时自动机的理论问题，我想知道是否有人已经给出了答案，因为这对我的研究很有帮助。所以我的问题如下：
假设您有一个具有接受状态q_f（没有后继者）的定时自动机，并且您知道配置的所有跟踪（q，delta）（对于自动机的位置q和时钟估值增量） ）总是终止，也就是说它们导致q_f。这是否意味着存在具有最大长度的迹线???（例如（q，delta）的计算树具有有限的深度）