Som beskrevet tidligere, ethvert kontekstsensitivt språk er et rekursivt språk. Dermed vil det følgende kontekstsensitive språket også være et rekursivt språk.