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.

Also, the \in is LaTeX for the set membership symbol. I'll often write 
mathy things in LaTeX because most of the people I talk math and logic with 
can just _read_ LaTeX.


-- 
J.


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