דפים המקושרים לדף "מכונת טיורינג לא-דטרמיניסטית"
קפיצה לניווט
קפיצה לחיפוש
הדפים שלהלן מקשרים לדף מכונת טיורינג לא-דטרמיניסטית:
מוצגים 12 פריטים
- משפט קוק-לוין (→ קישורים)
- אוטומט סופי לא דטרמיניסטי (→ קישורים)
- PSPACE (→ קישורים)
- בעיית P=NP (→ קישורים)
- משפט סביץ' (→ קישורים)
- מערכת הוכחה אינטראקטיבית (→ קישורים)
- מחלקת סיבוכיות (→ קישורים)
- משפט אימרמן (→ קישורים)
- FNP (→ קישורים)
- EXPTIME (→ קישורים)
- שפה רקורסיבית (→ קישורים)
- אוטומט חסום ליניארית (→ קישורים)