Re: cyclic rules

Peter,

Z cannot fully represent complete cycles. We have included a partially
defined function (evalRule¹) in section 4 that is declared (informally) to
be equivalent to evalRule.  The cycle described in the primer is realized
by the evalTermReference
(http://www.w3.org/Submission/2014/SUBM-shex-defn-20140602/#x1-170004.1).

Cheers,

Harold Solbrig



On 7/10/14, 11:20 AM, "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
wrote:

>The Shape Expressions 1.0 Primer,
>http://www.w3.org/Submission/shex-primer/,
>mentions cyclic rules, but there is no discussion of cyclic rules in the
>Shape 
>Expressions 1.0 Definition, http://www.w3.org/Submission/shex-defn/.
>
>I was trying to puzzle through how cyclic rules would work.  It appears
>that 
>they depend on how recursive definitions work in Z.  Can anyone tell me
>how 
>recursive definitions work in Z, so that I don't have to do an in-depth
>analysis of Z?
>
>Thanks,
>
>peter
>