Re: [nimh-dev] sequence definition

["Jon Stewart" <stew1@xxxxxxxxxxx>]

> 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.


> 4. x = all|pseq|unseen, or
> 5. x = !y where y is a sequence, or
> 6. x = s_0 ... s_n for sequences s_0,...,s_n, or
> 7. x is a user-defined name for a sequence y, or
> 8. x = y:(first|last|next|prev) where y is a user-defined name for a 
> sequence
> 
> I gleaned this from the man page for mh-sequence. Do you guys see anything 
> I missed, or anything incorrect, or anything you'd like to add right now?


Why can't 8 be x = y:x, where y is a user-defined name and x is a unit 
sequence?


Jon
-- 
Jon Stewart                                 Advanced Los Angeles C++
stew1@xxxxxxxxxxx                           http://www.alacpp.org
_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev