El modelo de estados para este sistema será