פרופ' כרמית חזאי אוטומטיים וחישוביות 83-250