“…For example, Bowen [6] used shadowing implicitly as a key step in his proof that the nonwandering set of an Axiom A diffeomorphism is a factor of a shift of finite type. Since then it has been studied extensively as a key factor in stability theory [32,34,37], in understanding the structure of ω-limit sets and Julia sets [2,3,4,5,7,17,25], and as a property in and of itself [11,13,15,16,23,26,27,31,32,36].…”