Languages with block structure, i.e. expressed in the form

where is some proposition on the blocks .

Recurring block languages