Formální modely a jejich aplikace v hudbě

Abstract

Predmetom práce je štúdium rôznych formálnych modelov, ktoré sú aplikovateľné v hudbe. Tie, ktoré sme aplikovali v tejto práci sú gramatiky s rozptýleným kontextom a absolútne nelimitovaný hlboký zásobníkovým automat. Aplikované sú na hudobnú štruktúru, ktorá sa skladá z témy a variácií. Téma je hlavná myšlienka nejakej skladby a variácie sú jej obmena rôznymi spôsobmi. Výsledok je algoritmus, ktorý je založený na preklade LL gramatiky s rozptýleným kontextom a stvárňuje tvorbu variácii.

Main subject of this study are different kinds of formal models. We discuss which of them could be applied in music. Those that are applied are scattered context grammars and absolutely unlimited deep pushdown automata. They are applied in music structure as theme and variations. The main topic of a song is the theme, and variations diversify it. Resulting algorithm is based on compilation of a LL scattered context grammar. This algorithm shows how we can generate variations.