Solving Fixed-Point Equations by Derivation Tree Analysis
Solving Fixed-Point Equations by Derivation Tree Analysis
复制标题
通过推导树分析求解定点方程
DOI：
10.1007/978-3-642-22944-2_2
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Michael Luttenberger
中科院分区：
文献类型：
--
作者：
Javier Esparza;Michael Luttenberger
连续半环上的方程组可以以一种自然的方式映射到上下文无关的语法。我们展示了对语法派生树的分析如何产生新的算法来近似甚至精确地计算系统的最小解。
Systems of equations overω-continuous semirings can be mapped to context-free grammars in a natural way. We show how an analysis of the derivation trees of the grammar yields new algorithms for approximating and even computing exactly the least solution of the system.
登录
查看更多内容
ω-连续半环的牛顿法 ⋆
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
J. Esparza;S. Kiefer;Michael Luttenberger
通讯作者：
Michael Luttenberger
形成方法 Syst Des DOI 10.1007/s10703-011-0136-y 有界欠近似
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
M. Krishnaveni
通讯作者：
M. Krishnaveni
关于交换半环上的不动点方程
影响因子：
--
作者：
J. Esparza;S. Kiefer;Michael Luttenberger
通讯作者：
Michael Luttenberger
树上可识别的形式幂级数
影响因子：
1.1
作者：
J. Berstel;C. Reutenauer
通讯作者：
C. Reutenauer
牛顿法对 ω-连续半环的扩展？
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
J. Esparza;S. Kiefer;Michael Luttenberger
通讯作者：
Michael Luttenberger