Infinite Chains of Hyper-AFL's

A hyper-AFL is an abstract family of languages which is closed under iterated (parallel) substitution. In this paper we establish the existence of infinite chains of full hyper-AFL's strictly in between the context-free and context-sensitive languages. Several useful auxiliary results concerning derivation-controlled parallel rewriting systems are developwd in the proof.