Regular Cost Functions over Finite Trees
Regular Cost Functions over Finite Trees
复制标题
有限树上的正则成本函数
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Christof Löding
中科院分区：
文献类型：
--
作者：
Thomas Colcombet;Christof Löding
我们开发了有限树的常规成本函数理论：树木普通语言概念的水平扩展：成本功能将每个输入（树）映射到〜$ \ omega+1 $中的值，并被视为模量于等效性关系它忘记了特定的值，但是保留了域所有子集对函数的界限。我们介绍了无确定性和交替的有限树成本自动机，以描述成本功能。我们表明，所有这些形式的自动机有效地等效。我们还为他们提供决策程序。最后，遵循b \“ Uchi的开创性想法，我们使用成本自动机为成本Monadic逻辑提供决策程序，这是Monadic二阶逻辑的定量扩展。
We develop the theory of regular cost functions over finite trees: aquantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a value in~$\omega+1$, and are considered modulo an equivalence relation which forgets about specific values, but preserves boundedness of functions on all subsets of the domain. We introduce nondeterministic and alternating finite tree cost automata for describing cost functions. We show that all these forms of automata are effectively equivalent. We also provide decision procedures for them. Finally, following B\"uchi's seminal idea, we use cost automata for providing decision procedures for cost monadic logic, a quantitative extension of monadic second order logic.
DOI：
10.1007/978-3-642-02930-1_6
发表时间：
2009
期刊：
影响因子：
--
作者：
A. Blumensath;M. Otto;M. Weyer
通讯作者：
M. Weyer