Computational models class 13 מודים חישוביים תרגול 13 אוניברסיטת חיפה Hamilton Path, HamPath2, Cliques, 2-CLique, L-2 טיורינג רדוקציה שפות ניתנות להכרעהLeia menos