מה ההבדל בין אוטומט סופי לא מלא למלא?