A survey of computational calculi used in musical applications

Abstract

En las últimas décadas muchos modelos formales han sido propuestos para formalizar aplicaciones musicales, para resolver problemas musicales y de improvisación, y para probar propiedades en la música. En este artículo describiremos brevemente algunos de estos modelos formales (los cálculos computacionales); proveeremos una descripción de algunas aplicaciones de dichos formalismos; finalmente discutiremos algunas consideraciones sobre cada cálculo mencionado aquí, resaltando fortalezas y debilidades.

During the last decades, several formal models have been proposed to formalize musical applications, to solve musical and improvisation problems, and to prove properties in music. In this paper, we briefly describe some of those formal models (computational calculi). We provide a description of some applications of these formalisms, and discuss some considerations about each calculus mentioned here remarking strengths and weaknesses.