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

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