PCRE имеет функцию, названную рекурсивным шаблоном, который может использоваться для соответствия вложенным подгруппам. Например, рассмотрите "грамматику" Q-> \w |' [' A''; Q*''? Q*']' |' <''>'-> (Q |'') *...