Subject: [sv-ac] sequence vs. sequence expression
From: John Havlicek (john.havlicek@motorola.com)
Date: Mon Jan 26 2004 - 15:28:18 PST
Hi Surrendra:
I have some concern about the technical distinction on p. 207
between "sequence" and "sequence expression". My understanding
from the first two paragraphs on the page is that a sequence
is a list of boolean expressions, while a sequence expression
defines a set of sequences.
I don't think this disctinction is consistent with the way
these terms are used throughout Section 17.
For example, your change 1.2 strikes "and sequence expressions"
from the sentence describing concatenation. It therefore
suggests that sequence expressions cannot be concatenated,
which is inconsistent with the syntax description in box
17-3.
My general impression is that in describing the informal
semantics, "sequence" and "sequence expression" have been
used interchangeably, while in describing syntax, "sequence
expression" has usually been preferred.
One possible solution is that we keep the strict distinction
of sequence and sequence expression and scrub Section 17
to make certain we use "sequence" only when the restriction
is appropriate.
Another solution is that we find another term to mean "list of
boolean expressions", perhaps "simple sequence".
What do you think?
Best regards,
John H.
This archive was generated by hypermail 2b28 : Mon Jan 26 2004 - 15:34:52 PST