מחלקה של שפות ("בעיות") L ⊆ {0,1} * שניתן להכריע ("לפתור") קיימת מ"ט (מכונת טיורינג) כך ש-

---

68 views