The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where the resulting semantically-equivalent representation is an alternate view intended for a human audience.
Automated redocumentation is discussed in the page on DocumentationGeneration.