<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi Dmitri,<div><br></div><div><br></div><div>On Mar 25, 2009, at 10:20 AM, Dmitri Tymoczko wrote:</div><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "></div></blockquote><div><font class="Apple-style-span" face="Helvetica" size="3"><span class="Apple-style-span" style="font-size: 12px; "><br></span></font></div><div></div><blockquote type="cite"><div><span class="Apple-style-span" style="font-family: Helvetica; font-size: 12px; ">I think discussions of the issue of recursion could stand to pay more attention to the distinction between intrinsic structure and our psychological organization of a structure.</span></div></blockquote><div><br></div><div>One important distinction must be made: recursive vs non- recursive is a property of the <b>grammar (i.e. the model)</b>, not of the <b>corpus</b>. &nbsp;<i>Any</i> finite corpus can be modeled with a non-recursive grammar, even if it contains strings like</div><div><br></div><div>ABCDCBA</div><div><br></div><div>This is because, if the corpus is finite, you'll never have to deal with infinite depth of recursion. &nbsp;Of course, if recursive structures keep occurring with high frequency and at deep levels of embedding, it will be rather forced and unnatural to insist on a non-recursive model. &nbsp;The real question therefore becomes one of the model's <b>economy, explanatory power, ability to relate to other disciplines </b>(e.g. cognition) etc.</div><div><br></div><div>To summarize, in my mind recursive vs non-recursive is a question of <b>model selection</b>, not a question of what the music&nbsp;<b>is<span class="Apple-style-span" style="font-weight: normal; ">&nbsp;</span>intrinsically</b>.</div><div><br></div><div>For example, if you claim that&nbsp;Roman numeral progressions can be modeled quite adequately using a non-recursive finite-state model, you are explicitly or implicitly making certain model-selection commitments. &nbsp;More specifically, you systematically avoid&nbsp;<b>interpretations</b>&nbsp;of the corpus that involve higher levels of embedding, such as</div><div><br></div><div>(&nbsp;(&nbsp;(&nbsp;(&nbsp;(I ii V I)&nbsp;ii V I)&nbsp;ii V I)&nbsp;ii V I)&nbsp;ii V I) ii V I</div><div><br></div><div>and instead claim that an interpretation of&nbsp;</div><div><br></div><div>I (ii V I)&nbsp;(ii V I)&nbsp;(ii V I)&nbsp;(ii V I)&nbsp;(ii V I)&nbsp;(ii V I)</div><div><br></div><div>is just as good. &nbsp;In other words, you are making modeling choices by balancing qualities such as&nbsp;model simplicity vs goodness-of-fit to the data. &nbsp;("If a complex model only gives us minor improvements in accuracy over a simpler one, we might as well just go with the simpler model.")</div><div><br></div><div>These are all modeling decisions which can be ultimately quite subjective. &nbsp;Even if not everybody agrees on a single set of model selection criteria, at least these criteria have to be made explicit, and it is precisely these criteria that we should be debating.</div><div><br></div><div><div><div><div>Best,</div><div>Panos Mavromatis</div><div><br></div><div><br></div><div><br></div><div><br></div></div></div></div></body></html>