Dynamická a formální ekvivalence