También, dadoτ=s∈[0,t] yY1=z∈S, podemos usar la fuerte propiedad de Markov para reiniciar el reloj als dar\[ \P(X_t = y \mid X_0 = x, \tau = s, Y_1 = z) = \P(X_{t-s} ...También, dadoτ=s∈[0,t] yY1=z∈S, podemos usar la fuerte propiedad de Markov para reiniciar el reloj als dar\P(Xt=y∣X0=x,τ=s,Y1=z)=\P(Xt−s=y∣X0=z)=Pt−s(z,y) Poner las piezas juntas tenemos\P(Xt=y,τ≤t∣X0=x)=∫t0λ(x)e−λ(x)s∑z∈SQ(x,z)Pt−s(z,y)ds=∫t0λ(x)e−λ(x)sQPt−s(x,y)ds
