Size-Change Abstraction and Max-Plus Automata

Size-Change Abstraction and Max-Plus Automata
复制标题

尺寸变化抽象和最大加自动机

DOI：
--
复制
发表时间：
2014
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
通讯作者：
Florian Zuleger
Florian Zuleger
中科院分区：
--
文献类型：
--
作者：
Thomas Colcombet;Laure Daviaud;Florian Zuleger

文献摘要

被引文献

相似文献

Max-Plus Automata（超过ℕ-∞）是将单词映射到非阴性整数或 - ∞的有限设备。 （b）将此技术应用于程序的计算时间复杂性评估。
Max-plus automata (over ℕ ∪ − ∞) are finite devices that map input words to non-negative integers or − ∞. In this paper we present (a) an algorithm allowing to compute the asymptotic behaviour of max-plus automata, and (b) an application of this technique to the evaluation of the computational time complexity of programs.