תורת החישוביות/מודל לבעיות הכרעה: הבדלים בין גרסאות בדף

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