PulseAugur
中
实时 08:50:08
实体 Formal Languages and Automata Theory

Formal Languages and Automata Theory

PulseAugur coverage of Formal Languages and Automata Theory — every cluster mentioning Formal Languages and Automata Theory across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_289500 ·

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

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