---
格式版本: 2
标题: "Learning Canonical Register Automata over Ordered Data Domains"
原文链接: "https://arxiv.org/abs/2608.18765"
发布日期: "2026-08-19"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Wed, 19 Aug 2026 10:16:45 UTC (1,957 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-20T14:41:44+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-20T14:38:42+08:00"
入库时间: "2026-08-20T06:41:44.921Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=Oracle&searchtype=all"
匹配关键词:
  []
相关厂家:
  - "Oracle"
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 15
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "该arXiv论文研究寄存器自动机主动学习，属于形式化方法，与超节点/AI Rack/机柜级AI基础设施等主题完全无关，无任何相关技术或商业信号。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-20T14:43:08+08:00"
AI主题相关性: 0
AI来源权威性: 5
AI新颖性: 5
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 5
AI摘要: "该文针对有序数据域上的确定性寄存器自动机（DRA），提出统一的主动学习框架，覆盖有理数等稠密域与整数等非稠密域，并借助成员、等价和可记忆查询实现多项式时间学习；同时证明整数域上DRA最小化可判定，并改进相关决策问题的复杂度边界。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:18:17.470Z"
采集批次: "2026年8月20日14点19分32秒"
采集批次ID: "20260820-141932-079"
去重键: "https://arxiv.org/abs/2608.18765"
---

## Computer Science > Computation and Language

## Title:Learning Canonical Register Automata over Ordered Data Domains

Authors:[Yong Li](https://arxiv.org/search/cs?searchtype=author&query=Li,+Y), [Qiyi Tang](https://arxiv.org/search/cs?searchtype=author&query=Tang,+Q), [Di-De Yen](https://arxiv.org/search/cs?searchtype=author&query=Yen,+D)

[View PDF](https://arxiv.org/pdf/2608.18765) [HTML (experimental)](https://arxiv.org/html/2608.18765v1)

> Abstract:Register automata are finite automata equipped with memory that recognize data languages over infinite alphabets. In this work, we investigate active learning algorithms for deterministic register automata (DRAs) over ordered data domains--covering both dense domains, such as the rationals, and non-dense domains such as the integers. We show that the active learning problem for DRAs over both dense and non-dense ordered domains can be treated within a single unified framework. More specifically, we develop and implement a polynomial-time active learning procedure for DRAs over ordered domains, using oracles for membership, equivalence and memorability queries. The memorability queries were originally introduced for learning DRAs over domains with identity tests. Our unified framework also leads to a new consequence: minimization of DRAs over the non-dense ordered domain of integers is decidable, extending a result previously known only for dense domains. Finally, we give improved complexity bounds of several decision problems for DRAs over ordered domains that are closely related to the queries used in active learning.

| Subjects: | Computation and Language (cs.CL); Machine Learning (cs.LG) |
| --- | --- |
| Cite as: | [arXiv:2608.18765](https://arxiv.org/abs/2608.18765) \[cs.CL\] |
|  | (or [arXiv:2608.18765v1](https://arxiv.org/abs/2608.18765v1) \[cs.CL\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.18765](https://doi.org/10.48550/arXiv.2608.18765) |

## Submission history

From: Di-De Yen \[[view email](https://arxiv.org/show-email/7191ac51/2608.18765)\]  
**\[v1\]** Wed, 19 Aug 2026 10:16:45 UTC (1,957 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.18765) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))