Re: [nimh-dev] sequence definition

[Joel Uckelman <uckelman@xxxxxxxxx>]

Thus spake "Jon Stewart":
> > I think this exhaustively defines what counts as a sequence:
> > 
> > x is a unit sequence iff:
> > 1. x = first|last|cur|.|prev|next|new, or
> > 2. x \in N\{0}
> > 
> > x is a sequence iff:
> > 1. x is a unit sequence, or
> > 2. x = y-z where y,z are unit sequences, or
> > 3. x = y:z where y is a unit or user-defined sequence and z \in Z\{0}, or
> 
> 
> Z? Do you mean set of integers? What's with the funky backslashes/{0}? I 
> don't grok your syntax.

Z\{0} is the integers less 0. foo:0 isn't a sequence because it doesn't 
make sense to do anything with the first zero messages starting with foo.

-- 
J.


_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev