Programas sintéticos programas analíticos