TY - JOUR
T1 - Complexity of the combinator reduction machine
AU - Hirokawa, Sachio
N1 - Funding Information:
* This work was partially supported by a Grant-in-Aid for Scientific Research No. 59740100 of the Ministry of Education.
PY - 1985
Y1 - 1985
N2 - The complexity of the computation of recursive programs by the combinator reduction machine is studied. The number of the reduction steps in compared between the two models of computation. The main theorem states that the time required by the reduction machine is linear in that of the program scheme. The coefficient of the linearity was shown to be O(n2), where n is the maximal number of variables of the functions being used. For the analysis of the combinator codes, the notion of extended combinator code is introduced.
AB - The complexity of the computation of recursive programs by the combinator reduction machine is studied. The number of the reduction steps in compared between the two models of computation. The main theorem states that the time required by the reduction machine is linear in that of the program scheme. The coefficient of the linearity was shown to be O(n2), where n is the maximal number of variables of the functions being used. For the analysis of the combinator codes, the notion of extended combinator code is introduced.
UR - http://www.scopus.com/inward/record.url?scp=0022304455&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0022304455&partnerID=8YFLogxK
U2 - 10.1016/0304-3975(85)90076-3
DO - 10.1016/0304-3975(85)90076-3
M3 - Article
AN - SCOPUS:0022304455
VL - 41
SP - 289
EP - 303
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - C
ER -