דקומפוזיציה של מכונת מצבים לצורך הקטנת זמן גילוי שגיאה הנובעת מכשל