Без заголовка

я сперва тоже подумал про порождающие грамматики :) но просто формальная модель - более общая трактовка (порождающая конструируется добавлением итератора и/или солвера) по крайней мере для архитектурных стилей это подходит, да и музыкальные порождения делаются также, просто модели сложные и специфичные