Page  338 ï~~GODEL TUNE: FORMAL MODEL SYSTE) By Dominique M. R 18 rue du Parc d 78000 VERSA FRANC ABSTRACT: Formal models of music ha automatic music recognition systems. The generative/transformational models. Ho recognition problems implicitly impose data the mechanism of perception and can result systems. By first modeling the perceptior process merging sensory data and memory inf the data elements and computational structur integrate formal representation(s) of music in "C'est l'exception qui confirms INTRODUCTION:

Page  339 ï~~REQUIREMENTS FOR MUSIC RECOGNITI( Because "each new compositioi tends to employ a unit 237), a music re cognition system should be able to ada and still rest on solid listening practices. However, the since they require knowledge of standard practice in th 1968) but also demand the ability to change these very Lerdahl and Jackendoff (1983 in their generative the( fact. In his most recent contribution, Narmour (1989) I representation of heuristics by proposin IF...THEN...EXCEPT formalism. Th production rules, the Gestalt (Jackendoff, 1 even inhibit the-formal rules of perception. in the analysis by displacing thefocus theones, concentrating on implicative and models. a replacerr tis new stn 983), from This shift ir from com learning al CORRELATIVE STRUCTURE OF A MUSIC Jalineck's model of speech recognition (1976 Narmour's theory of implication realization (I system of music recognition designed with t The architecture of such a system is directly in derived from Goldstein's and Narmour's thec Golste 977, 19 his "con spired fry )ries. It

Page  340 ï~~Baroni, M; Jacoboni, C.; Proposal for a Grammar o 'Universite de Montreal, 1978. Chomsky, N.; "Three Models for the Description of Lar 2: 113-124, 1956. Chomsky, N.; Miller, G.A.; "Finite State Language" In1 Chomsky, N.;.The Logical Structure of Linguistic Thec Press, 1975. Erman, L.D.; Hayes-Roth, F.; Lesser, V.R.; Re Understanding System: Integrating Knowledge to Re Vol.12 no.2 (June 1980): 213-253. Godel, K.; "Uber Formal Unentscheidhare Satze der Systeme I" J. Research Mathematics and Mathematical Goldstein, J.L.; "An Optimal Processor Theory for the ( Tones" J. Acoust. Soc. Am. 54(6), 1978: 1496-1516. Hiller, L.H.; Isaacson, L.M.; Experimental Music. Inc., 1959. N