חישוב פונקציה עם K פרמטרים

הגדרה: תהי 2* ∑→^K(*1∑):f   (= פונקציה ששולחת k פרמטרים, k מחרוזות) 

 ותהי S,h),(Q,S,d M= מכונת טיורינג.

 נאמר כי M  מחשבת את f  אם לכל   w1, w2,.….wk Î (S1^*) ^k   מתקיים:

( s, #w1#, #w2 #, ….. wk # )|---- (h, #, f (w1,w2, ….wk) # )

דוגמא: הפונקציה: N → plus: N²

                          plus:  (k, j)  = k + j                   

נניח:      k = 2

                     j = 3