[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