La primera representa explícitamente los parámetros y el valor que toma cada ocurrencia de la función de transición.