類似資料

• Learning Automata with Name Allocation
  著者:: Frank, Florian, 等
  出版事項: (2025)
• Nominal Tree Automata With Name Allocation
  著者:: Prucker, Simon, 等
  出版事項: (2024)
• Decomposition of Automata recognizing Ideals
  著者:: Berry, Mathias, 等
  出版事項: (2026)
• On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
  著者:: Deng, Zhibo, 等
  出版事項: (2025)
• The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition
  著者:: Casares, Antonio, 等
  出版事項: (2024)