Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #58928

Re: "Recognizing" a parser generator (and a compiler compiler)

From Alex <alex@rivadpm.com>
Newsgroups comp.lang.forth
Subject Re: "Recognizing" a parser generator (and a compiler compiler)
Date 2017-05-10 08:21 +0100
Organization A noiseless patient Spider
Message-ID <oeuer3$7os$1@dont-email.me> (permalink)
References (1 earlier) <oepapj$k1q$1@dont-email.me> <d743e777-3e6d-4512-8aab-bc3ac0c541be@googlegroups.com> <oerolq$5jd$1@dont-email.me> <h-qdnd58EbSt74zEnZ2dnUU7-IPNnZ2d@supernews.com> <oeu8d4$arp$1@gioia.aioe.org>

Show all headers | View raw


On 5/10/2017 06:27, HAA wrote:
> ANS defines syntax through the use of 'orig', 'dest', 'of-sys' etc whose
> sole purpose is to restrict what you may mix & match legally, if not
> practically.

Let's take DUP. It takes one stack element and produces two. AND OR + - 
and so on all have restrictions as to how they may be used.

http://www.jguru.com/faq/view.jsp?EID=81

This is a good definition of syntax vs semantics.

"A language is a set of valid sentences. What makes a sentence valid? 
You can break validity down into two things: syntax and semantics. The 
term syntax refers to grammatical structure whereas the term semantics 
refers to the meaning of the vocabulary symbols arranged with that 
structure. Grammatical (syntactically valid) does not imply sensible 
(semantically valid), however."

ANS Forth (by this definition) has no syntax, but the semantics for 
every word are important.

-- 
Alex

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

"Recognizing" a parser generator (and a compiler compiler) Joel Rees <joel.rees@gmail.com> - 2017-05-07 19:29 -0700
  Re: "Recognizing" a parser generator (and a compiler compiler) hughaguilar96@gmail.com - 2017-05-07 21:57 -0700
    Re: "Recognizing" a parser generator (and a compiler compiler) Alex <alex@rivadpm.com> - 2017-05-08 09:55 +0100
  Re: "Recognizing" a parser generator (and a compiler compiler) Alex <alex@rivadpm.com> - 2017-05-08 09:41 +0100
    Re: "Recognizing" a parser generator (and a compiler compiler) Joel Rees <joel.rees@gmail.com> - 2017-05-08 21:07 -0700
      Re: "Recognizing" a parser generator (and a compiler compiler) Alex <alex@rivadpm.com> - 2017-05-09 07:50 +0100
        Re: "Recognizing" a parser generator (and a compiler compiler) "Elizabeth D. Rather" <erather@forth.com> - 2017-05-08 21:39 -1000
          Re: "Recognizing" a parser generator (and a compiler compiler) "HAA" <someone@microsoft.com> - 2017-05-10 15:27 +1000
            Re: "Recognizing" a parser generator (and a compiler compiler) Alex <alex@rivadpm.com> - 2017-05-10 08:21 +0100
              Re: "Recognizing" a parser generator (and a compiler compiler) "HAA" <someone@microsoft.com> - 2017-05-10 18:15 +1000
          Re: "Recognizing" a parser generator (and a compiler compiler) Joel Rees <joel.rees@gmail.com> - 2017-05-10 00:53 -0700
            Re: "Recognizing" a parser generator (and a compiler compiler) Alex <alex@rivadpm.com> - 2017-05-10 08:59 +0100
      Re: "Recognizing" a parser generator (and a compiler compiler) mhx@iae.nl - 2017-05-10 02:52 -0700
        Re: "Recognizing" a parser generator (and a compiler compiler) albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-05-10 11:59 +0200
          Re: "Recognizing" a parser generator (and a compiler compiler) Joel Rees <joel.rees@gmail.com> - 2017-05-10 05:46 -0700
          Re: "Recognizing" a parser generator (and a compiler compiler) mhx@iae.nl - 2017-05-10 05:48 -0700

csiph-web