自动问题求解范式中模商抽象关系的信息空间维数汇合代数
计算机科学中的逻辑
2016-12-26 v1
摘要
在由字母表抽象网块同态定义的拓扑度量中,通过多维转换器操作,在具有不可数节点重数的迭代闭合多层商图结构中,为网类重写建立了抽象并行范畴系统中的汇合性。我们得到了在模抽象关系构成信息空间汇合形式语义的不同水平和垂直层级投影下,参与代数中生成汇合的多维重写闭包中综合连接子对的最小前提条件。具有形式自动机语法的参与代数整体上代表了自动问题求解范式,在每个基本抽象关系集、水平结构映射和垂直过程迭代基数下生成了丰富多样的多维汇合协调器。
引用
@article{arxiv.1612.07983,
title = {Dimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm},
author = {Seppo Ilari Tirri},
journal= {arXiv preprint arXiv:1612.07983},
year = {2016}
}
备注
The current work is an application as a continuation for my previous works in arXiv:1305.5637 and arXiv:1308.5321 using the key definitions of them sustaining consistency, consequently references being minimized. Readers are strongly advised to resort to the mentioned previous works for preliminaries. arXiv admin note: text overlap with arXiv:1408.1377