Re: [stack] Is this language concatenative?

> But a quotation is not a member of T*, is it? Therefore it's not a
> "simple program".
It is a member if T*!
T* means the set of all sequences of terminal symbols, and '[', ']' are 
terminal symbols.

According to the description of the Joy syntax in
 http://www.latrobe.edu.au/philosophy/phimvt/joy/j09imp.html
we have

token  ::=
          reserved-character | reserved-word
        | integer-constant | float-constant
        | character-constant |  string-constant
        | atomic-symbol

Consider the grammatical level: the tokens are the terminal symbols, right?

Also the article contains the following text:
-----------------------------------------------------------------------------------------------------------------------------------
A factor can be a single token such as an atom or one of the three constants: 
integer constant, character constant or string constant. A factor can also 
consists of a (possibly empty) sequence of integer or character constants 
enclosed in the curly brace tokens { and }. Finally, a factor can also be a 
(possibly empty) term enclosed in the square bracket tokens [ and }. 

    factor  ::=
           atomic-symbol
        |  integer-constant | float-constant
        |  character-constant | string-constant
        |  "{"  { character-constant | integer-constant } "}"
        |  "["  term  "]"

A term consists of zero or more factors. 
    term  ::=
        { factor }
------------------------------------------------------------------------------------------------------------------------------------
It seems the factor is exactly the simple program in my defintion. The factor 
sounds better, though.

Michael Nedzelsky



 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/concatenative/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/concatenative/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:[email protected] 
    mailto:[email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/