two-level grammar

A two-level grammar is a formal grammar system that separates the description of valid symbol sequences into two layers—typically a context-free base level and a more restrictive metalevel—to capture complex syntactic or structural constraints more expressively than a single-level grammar.