首页> 外文会议>Algebraic informatics >Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems

【24h】

Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems

机译：联合谱半径理论用于重写系统的自动复杂度分析

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Matrix interpretations can be used to bound the derivational complexity of term rewrite systems. In particular, triangular matrix interpretations over the natural numbers are known to induce polynomial upper bounds on the derivational complexity of (compatible) rewrite systems. Recently two different improvements were proposed, based on the theory of weighted automata and linear algebra. In this paper we strengthen and unify these improvements by using joint spectral radius theory.

机译：矩阵解释可用于限制术语重写系统的推导复杂性。尤其是，已知对自然数的三角矩阵解释会在（兼容）重写系统的推导复杂度上引起多项式上限。最近，根据加权自动机和线性代数理论，提出了两种不同的改进方法。在本文中，我们通过使用联合光谱半径理论来加强和统一这些改进。

著录项

来源
《Algebraic informatics》|2011年|p.1-20|共20页
会议地点 Linz(AT);Linz(AT)
作者
Aart Middeldorp; Georg Moser; Friedrich Neurauter; Johannes Waldmann; Harald Zankl;
展开▼
作者单位

Institute of Computer Science, University of Innsbruck, Austria;

Institute of Computer Science, University of Innsbruck, Austria;

Institute of Computer Science, University of Innsbruck, Austria;

Fakultat Informatik, Mathematik und Naturwissenschaften, Hochschule fur Technik, Wirtschaft und Kultur Leipzig, Germany;

Institute of Computer Science, University of Innsbruck, Austria;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词
derivational complexity; matrix interpretations; weighted automata; joint spectral radius;

机译：推导复杂度；矩阵解释；加权自动机联合光谱半径;

相似文献

外文文献
中文文献
专利

1. Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems [J] . Franziska Rapp, Aart Middeldorp LIPIcs : Leibniz International Proceedings in Informatics . 2016,第1期

机译：左线性右地重写系统的一阶重写理论自动化
2. Stability analysis for planar discrete-time linear switching systems via bounding joint spectral radius [J] . Cong Shen Systems and Control Letters . 2016,第Null期

机译：平面离散时间线性切换系统的有界联合谱半径稳定性分析
3. Theories and Ultra Efficient Computation of Joint Spectral Radius for Estimating First Passage Time Distribution of Markov Set-Chain [J] . Li K. Automatic Control, IEEE Transactions on . 2011,第12期

机译：马尔可夫集链首次通过时间分布的联合谱半径理论和超高效计算
4. Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems [C] . Aart Middeldorp, Georg Moser, Friedrich Neurauter, International Conference on Algebraic Informatics . 2011

机译：重写系统自动复杂性分析的联合光谱半径理论
5. Automated spectral zones selection methodology for diffusion theory data preparation for pebble bed reactor analysis [D] . Mphahlele, Ramatsemela 2008

机译：卵石床反应器分析扩散理论数据准备的自动光谱区选择方法
6. Generalized Vibrational Perturbation Theory for Rotovibrational Energies of Linear Symmetric and Asymmetric Tops: Theory Approximations and Automated Approaches to Deal with Medium-to-Large Molecular Systems [O] . Matteo Piccardo, Julien Bloino, Vincenzo Barone -1

机译：线性对称和不对称陀螺的旋转振动的广义振动摄动理论：处理中到大型分子系统的理论逼近和自动方法
7. AUTOMATED SYSTEM-COGNITIVE ANALYSIS OF SPECIFIC SPECTRAL AND INTEGRATED IMAGES IN "EIDOS" SYSTEM (APPLICATION OF INFORMATION THEORY AND COGNITIVE TECHNOLOGIES IN SPECTRAL ANALYSIS) [O] . Y. V. Lutsenko 2017

机译：“EIDOS”系统中特定光谱和集成图像的自动系统认知分析（信息理论与认知技术在光谱分析中的应用）
8. Conveying the Complex: Updating U.S. Joint Systems Analysis Doctrine with Complexity Theory [R] . Brown, E J 2013

机译：传达复杂性：用复杂性理论更新美国联合系统分析学说

Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems

摘要

著录项

相似文献

相关主题

期刊订阅