תורת החישוביות/מודל לבעיות הכרעה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←שקילות למודל הכללי: קישורים פנימיים |
מ ←שקילות למודל הכללי: בינוויקי |
||
שורה 51:
<math>M'</math>
תעצור על <math>(x, z)</math> בתשובה חיובית, אז המכונה תחזיר את z כתשובה שלה לקלט x.
{{חלון מידע|שיטה זו של "מיקבול וירטואלי" של חישובים שונים ע"י סדרה עולה של חישובים חלקיים נקראת [[w:en:Dovetailing_(computer_science)|Dovetailing]], והיא טכניקה שימושית בחישוביות.}}
|