English(EN) Type-Checking for Pattern-Based Tree Transformations

面向模式的树变换新模型提供可判定的类型检查

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-09 04:00

研究人员引入了一种新的面向模式的树变换模型，该模型使用源模式和目标模式对来定义变换。虽然匹配源模式的表达式集可能不是正则树语言，但所提出的模型允许有限地表示变换。一个关键贡献是证明了这些变换的类型检查问题是可判定的，这意味着可以确定应用变换是否保留了树的给定正则属性。通过将问题归约到交替树自动机的空集问题，实现了这一判定过程。 AI

影响引入了用于树变换的新理论框架，对符号操作和潜在的AI推理系统具有影响。

排序理由该条目是发表在arXiv上的学术论文，详细介绍了新的理论模型及其可判定性。 [lever_c_demoted from research: ic=1 ai=0.7]

在 arXiv cs.CL 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 12 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该条目是发表在arXiv上的学术论文，详细介绍了新的理论模型及其可判定性。 [lever_c_demoted from research: ic=1 ai=0.7]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.CL TIER_1 English(EN) · C. Aiswarya, Sahil Mhaskar, M. Praveen · 2026-10-09 04:00

面向模式树转换的类型检查

arXiv:2610.11337v1 Announce Type: cross Abstract: We introduce and study pattern-based tree transformations. As an illustrating example, consider a source pattern $(x \cdot y) + (x \cdot z)$ and a target pattern $x \cdot (y + z)$ as a pair. This source pattern matches any express…

本文如何被排名

报道来源 [1]

面向模式树转换的类型检查

相关实体

相关话题