Content deleted Content added
copyedit |
copyedit |
||
Line 27:
#''Composition'': Given ''f'' a ''k''-ary primitive recursive function and ''k'' ''l''-ary primitive recursive functions ''g''<sub>0</sub>,...,''g''<sub>''k''-1</sub>, the [[composition]] of ''f'' with ''g''<sub>0</sub>,...,''g''<sub>''k''-1</sub>, i.e. the function ''h''(''x''<sub>0</sub>,...,''x''<sub>''l''-1</sub>) = ''f''(''g''<sub>0</sub>(''x''<sub>0</sub>,...,''x''<sub>''l''-1</sub>),...,''g''<sub>''k''-1</sub>(''x''<sub>0</sub>,...,''x''<sub>''l''-1</sub>)), is primitive recursive.
#''Primitive recursion'': Given ''f'' a ''k''-ary primitive recursive function and ''g'' a (''k''+2)-ary primitive recursive function, then the (''k''+1)-ary function defined as the primitive recursion of ''f'' and ''g'', i.e. the function ''h'' where ''h''(0,''x''<sub>0</sub>,...,''x''<sub>''k''-1</sub>) = ''f''(''x''<sub>0</sub>,...,''x''<sub>''k''-1</sub>) and ''h''(''n''+1,''x''<sub>0</sub>,...,''x''<sub>''k''-1</sub>) = ''g''(''n'',''h''(''n'',''x''<sub>0</sub>,...,''x''<sub>''k''-1</sub>),''x''<sub>0</sub>,...,''x''<sub>''k''-1</sub>)), is primitive recursive.
| |||