Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.compilers > #2898

Re: What is the semantics of a language?

Show all headers | View raw

On 1/21/2022 5:08 PM, Roger L Costello wrote:
> Hello Compiler Experts!
>
> Ah! I found the answer to the question:
>
>      What is the semantics of a language?
>
> Section 3.4 of the Bison specification [1] has the answer:
>
> 3.4 Defining Language Semantics
>
> The grammar rules for a language determine only the syntax. The
> semantics are determined by the semantic values associated with
> various tokens and groupings, and by the actions taken when various
> groupings are recognized.
>
> Niklaus Wirth agrees with the Bison specification. In the introduction of his book, Compiler Construction, he says [2]:
>
> The translation process is now guided by the structure of the analysed
> text. The text is decomposed, parsed into its components according to
> the given syntax. For the most elementary components, their semantics
> is recognized, and the meaning (semantics) of the composite parts is
> the result of the semantics of their components. Naturally, the
> meaning of the source text must be preserved by the translation.
>
> Do you agree that that is the definition of the semantics of a language?
>
> /Roger
>
> [1] Section 3.4 of the Bison specification: https://www.gnu.org/software/bison/manual/bison.html#Semantics
>
> [2] See page 6, fourth paragraph in Compiler Construction by Niklaus Wirth: https://people.inf.ethz.ch/wirth/CompilerConstruction/CompilerConstruction1.pdf
> [That's one definition.  But I suspect we will hear it's far from the only one. -John]

For what it's worth, the 1969 Burroughs B5500 Extended ALGOL Reference
Manual had sections like this:

===
EXPRESSIONS

GENERAL.

SYNTAX.

The syntax for <expression> is as follows:

     <expression> ::=
             <arithmetic expression> |
             <Boolean expression> |
             <designational expression> |
             <concatenate expression>

SEMANTICS

Expressions, which are basic to any algorithmic process, are rules to
obtain values of different kinds and types.

As mentioned on page 3-1 [GENERAL COMPONENTS], expressions are used to
define certain general components (subscripted variables and function
designators), and these quantities in turn are used to define
expressions. The definition of expressions is therefore necessarily
recursive.
===

It didn't make sense when I first read it some 50 years ago, and it
doesn't make sense now, but I learned not to let that bother me.

Louis

Back to comp.compilers | Previous | Next — Previous in thread | Find similar

Thread

What is the semantics of a language? Roger L Costello <costello@mitre.org> - 2022-01-22 00:08 +0000
  Re: What is the semantics of a language? luser droog <luser.droog@gmail.com> - 2022-01-24 11:39 -0800
  Re: What is the semantics of a language? gah4 <gah4@u.washington.edu> - 2022-01-25 01:19 -0800
  Re: What is the semantics of a language? George Neuner <gneuner2@comcast.net> - 2022-01-26 14:24 -0500
    Re: What is the semantics of a language? gah4 <gah4@u.washington.edu> - 2022-01-26 13:21 -0800
  Re: What is the semantics of a language? Louis Krupp <lkrupp@invalid.pssw.com.invalid> - 2022-02-18 04:16 -0700

csiph-web