Fixed Point Theory
Fixed Point Theory
复制标题
DOI：
10.1007/978-3-642-01492-5_2
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Z. Ésik;Z. Ésik
中科院分区：
文献类型：
--
作者：
Z. Ésik;Z. Ésik
不动点和不动点计算几乎出现在计算机科学的每个领域。已经注意到，几个基本定理是不动点运算的几个等式性质的结果。本章介绍了不动点理论的一部分，它在加权自动机和语言中有应用。
Fixed points and fixed point computations occur in just about every field of Computer Science. It has been noticed that several fundamental theorems are consequences of just a few equational properties of fixed point operations. This chapter gives an introduction to that part of the theory of fixed points that has applications to weighted automata and languages.