על מנת להוכיח ששפה היא רגולרית צריך לבנות אוטומט סופי דטרמיניסטי שמכיל אותה?