Yorick,<br>
<br>
In the absence of your specific arguments it is difficult to tell, but
isn't it true you actually assume a complete grammar of some kind? I
don't see how it could be otherwise. Since it is well known that
general computability is not decidable, if you based your model on
general computability it is difficult to see how you could have proven
it to be decidable.<br>
<br>
I could not find your paper, but there is indeed a lot about this on the Web, e.g.:<br><br><font size="-1"><span><a href="http://en.wikipedia.org/wiki/Context-free_grammar" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
http://en.wikipedia.org/wiki/Context-free_grammar
</a></span></font><br>
<br>
"Undecidable problems<br>
<br>
Although some operations on context-free grammars are decidable due to their limited power<br>
... CFGs do have interesting undecidable problems..."<br>
<br>You must assume a complete grammar of the kind required.<br><br>
In fact if you can provide links to _any_ generative work which does
not assume a (complete) generative grammar I would be most interested
to see it.<br>
<br>
I repeat, to the best of my knowledge, the issue of grammatical
completeness (as opposed to the decidability of one or other
limitation on some assumed grammar?) has simply not been addressed.<br>
<br>
Take the opposite point of view. Assume only that language is generally computable. Then it may be undecidable.<br>
<br>
Has anyone looked at this possibility?<br>
<br>
-Rob<br><br><div><span class="gmail_quote">On 9/7/07, <b class="gmail_sendername">Rob Freeman</b> <<a href="mailto:lists@chaoticlanguage.com">lists@chaoticlanguage.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi Yorick,<br><br>Can you give a freely downloadable link for that paper? The only copies I can find are subscription services.<br><br>If that is not possible could you give a brief synopsis of the argument?<br><br>Thanks,
<br><span class="sg"><br>Rob</span><div><span class="e" id="q_114dfa37643cbd49_2"><br><br><div><span class="gmail_quote">On 9/7/07, <b class="gmail_sendername">Yorick Wilks</b> <<a href="mailto:yorick@dcs.shef.ac.uk" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
yorick@dcs.shef.ac.uk</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div>Well, the topic, of completeness/decidability and grammars, has been thought about and long, long ago; if modesty didnt forbid I would mention<div>"Decidability and Natural Language" in Mind, 1971, easily downloadable from the web. A crappy paper by Mind standards, but in the target zone.
</div><div>Yorick Wilks</div></div></blockquote></div><br>
</span></div></blockquote></div><br>