Title:	funCode 1.0 -- Technical Report
Authors:	Lepper, Markus Trancón y Widemann, Baltasar Oehler, Michael
ORCID of the author:	https://orcid.org/0000-0002-9120-3908 https://orcid.org/0000-0003-1034-8601
Abstract:	Harmonic analysis annotations can be represented in a computer model of a piece of music by plain text strings. But whenever automated processings like analysis, comparison or retrieval are intended, a formal definition is helpful. This should cover not only the syntactic structure, but also the semantics, i.e. the intended meaning, and thus adheres to the technique of mathematical remodelling of existing cultural phenomena. The resulting models can serve as a basis for automated processing, but also help to clarify the communication and discussion among humans substantially. The funCode project proposes such a definition in four layers, which address different problems of encoding and communication (relation of symbol sequences to staff positions; combining functions; chord roots; interval structure and voice leading). Only one of them is specific to functional (Riemannian) theory and can possibly be replaced to represent scale degree theory. The proposal is configurable to different interval specification methods and open to localisation. Syntax and semantics are defined and implemented using Prolog, which, due to its well-founded semantics, implies an unambiguous specification of the funCode formalism.
URL:	https://doi.org/10.48693/28 https://osnadocs.ub.uni-osnabrueck.de/handle/ds-202201265955
Subject Keywords:	formal semantics; context free language; harmonic analysis; Riemannian analysis; computational thinking
Issue Date:	26-Jan-2022
License name:	Attribution-NonCommercial-ShareAlike 3.0 Germany
License url:	http://creativecommons.org/licenses/by-nc-sa/3.0/de/
Type of publication:	Patent, Norm, Standard [patent]
Appears in Collections:	FB03 - Hochschulschriften

This item is licensed under a Creative Commons License