Re: [stack] Is this language concatenative?
"William Tanksley, Jr" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
Michael Nedzelsky <[email protected]> wrote: > > 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. Oh. Then no, I don't think your definition is adequate; it admits all ill-formed strings, such as "]]]]a]]]". Your grammar can't be parsed. > According to the description of the Joy syntax in > http://www.latrobe.edu.au/philosophy/phimvt/joy/j09imp.html > we have We're defining concatenative languages in general, not Joy in specific. > Michael Nedzelsky -Billy