研究人员为有限状态符号控制器引入了一个名为带驻留的带目标标签的自环系统(DLSL 系统)的新模型。这些系统具有固定的可容许可见转换和每个可见状态的最小驻留要求。一个关键挑战是,一旦施加了驻留,当前可见状态不再仅决定离开的许可。研究发现,纤维线性图尊重转换器的类别恰好对应于固定可见图上 DLSL 系统的相位扩展实现。 AI
排序理由 该集群包含一篇关于计算机科学新理论模型的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
- Destination-Labeled Self-Looping Systems with Dwell
- DLSL system
- fiber-linear graph-respecting transducers
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →