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

Groups > comp.lang.forth > #58945

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

Show all headers | View raw

Alex wrote:
> 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.

According to dpANS "Forth has a simple, operator-ordered syntax."
3.4.1.2 defines "syntax" as referring execution sequence, control flow
and so on.  It uses the word "semantics" to reference modes of
behavior of a word e.g. "interpretation semantics".

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