Complexity of terms, superpositions, and generalized hypersubstitutions

• المؤلفون الرئيسيون: Puninagool W., Leeratanavalee S.
• التنسيق: مقال
• اللغة: English
• منشور في: 2014
• الوصول للمادة أونلاين: http://www.scopus.com/inward/record.url?eid=2-s2.0-72949120350&partnerID=40&md5=9db24f2fc57e36bc0796e91567ff67d6; http://cmuir.cmu.ac.th/handle/6653943832/6368

In this paper, we consider the four useful measurements of the complexity of a term, called the maximum depth, the minimum depth, the variable count, and the operation count. We construct a formula for the complexity of the superposition Sm (s, t1, ..., tm) in terms of complexity of the inputs s, t1...