🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.lang
Article #2517

Re: Infinte alphabets - (Turing via Berke)

#2517
From: Greg Lee
Date: Sat, 17 Oct 1987 19:49
39 lines
2491 bytes
In article <434@russell.STANFORD.EDU> goldberg@russell.STANFORD.EDU
 (Jeffrey Goldberg) writes:
>In article <959@uhccux.UUCP> lee@uhccux.UUCP (Greg Lee) writes:
>[stuff ...]

The commentary on my posting seems to me to be rather obtuse.  Rather
than proceeding point by point, I think I should restate the matter.
Perhaps this time I can make myself clearer.  Before doing that, I'll
explain that by "separated by ... constituent boundaries"  I meant
to refer to the circumstance that one item is within a constituent
and another is outside that constituent.

Now, to begin again.  Gerald Gazdar made the point that a local
context sensitivity, such as a transitive verb occurring always
with a sister noun phrase, does not prevent a language from being
context free.  And since there is evidence that such subcategorization
context sensitivity is in fact local in natural languages, this provides
us some evidence (not probative) that language is context free.

Suppose now that we apply the same reasoning in the case of phonology.
If language is phonologically context free, we would predict that
context sensitivities are local.  It is a commonplace that phonological
rules tend not to apply across major constituent breaks.  The prediction
appears to be correct, and so we have some evidence (not probative)
that language is phonologically context free.

Because of the qualification in my original posting, I concede in
advance that this does not provide a very compelling argument for
finiteness of alphabets.  But the logic, at least, seems clear
enough:
	language is context free (hypothesis supported by empirical
				  argument)
	if language is context free, the alphabet is finite (obvious)
	therefore, the alphabet is finite (well known rule of logic)

(We could talk about the logic in the Schieber article sometime,
if you like.)

Greg Lee, lee@uhccux.uhcc.hawaii.edu
Technical Details
Message-ID: <969@uhccux.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!rutgers!mcnc!ece-csc!ncrcae!ncr-sd!hp-sdd!ucsdhub!sdcsvax!nosc!humu!uhccux!lee
References: <154@Aragorn.UUCP> <114400001@exunido.UUCP>

Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!rutgers!mcnc!ece-csc!ncrcae!ncr-sd!hp-sdd!ucsdhub!sdcsvax!nosc!humu!uhccux!lee
From: lee@uhccux.UUCP (Greg Lee)
Newsgroups: sci.lang,comp.ai
Subject: Re: Infinte alphabets - (Turing via Berke)
Message-ID: <969@uhccux.UUCP>
Date: Sat, 17-Oct-87 15:49:58 EDT
Article-I.D.: uhccux.969
Posted: Sat Oct 17 15:49:58 1987
Date-Received: Sun, 18-Oct-87 13:07:05 EDT
References: <154@Aragorn.UUCP> <114400001@exunido.UUCP>
Organization: U. of Hawaii, Manoa (Honolulu)
Lines: 39