אוטומט סופי דטרמיניסטי לא מלא