Recorrência quantitativa e o problema do alvo em diminuição para sistemas de funções iteradas sobrepostos | Synapse