grammar (type 0)

a formal metalanguage using production rules (possibly including also rules of transformation) to characterize patterns of any kind, excursus F ¶5.