Pattern avoiding permutations are context-sensitive

Abstract

We establish a bijection from the set of all permutations (of a given length) that avoid a pattern $q$ and a context-sensitive language.