[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: Re: Name classes
James Clark wrote:
> Is this the only case that causes combinatory explosion for GNF?
No. ((@a | a), (@b | b), ...., (@z | z)) already causes combinatory
explosion to GNF normalization. For each subset of {@a, @b, ..., @z}
we need a guard-clause pair. The number of subsets is 2^26.
Cheers,
Makoto
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC