Equivalencia dinámica y formal