A sintaxe de uma linguagem de programação é usada para significar a estrutura dos

programas sem considerar seu significado. Basicamente enfatiza a estrutura, layout de um

programa com sua aparência. Envolve uma coleção de regras que valida a sequência de

símbolos e instruções usadas em um programa. O modelo pragmático e computacional figura

esses componentes sintáticos de uma linguagem de programação. As ferramentas

desenvolvidas para a especificação da sintaxe das linguagens de programação são gramáticas

regulares, livres de contexto e de atributos.

O termo semântica em uma linguagem de programação é usado para descobrir a relação entre

a sintaxe e o modelo de computação. Ele enfatiza a interpretação de um programa para que o

programador possa entendê-lo de maneira fácil ou prever o resultado da execução do

programa. Uma abordagem conhecida como semântica direcionada a sintaxe é usada para

mapear construções sintáticas para o modelo computacional com a ajuda de uma função.

Consideremos três frases:

1. Um mais um é igual a dois

2. One plus one equals two

3. 1 + 1 = 2

Temos três frases escritas de formas diferentes, mas três frases que dizem a mesma coisa.

A seguir, três exemplos do famoso “Hello World”, escrito em três linguagens de programação

diferentes (C#, Object Pascal e Haskell):

Linguagem C#:

class HelloWorld

{ static void Main() { System.Console.WriteLine(“Hello, World!”); } }

Object Pascal:

program HelloWorld(output);

begin WriteLn(‘Hello World!’); end

Haskell:

main :: IO ()

main = putStrLn "Hello, World!"

Os três algoritmos realizam a mesma coisa, que é exibir um “Hello World” na tela, mas estão

escritos de formas diferentes.

Nos exemplos das frases o significado do que foi descrito de três formas diferentes é: ao

somar um mais um, o resultado é dois. Nos exemplos do código fonte o significado do que foi

descrito em C#, Object Pascal e Haskell é: exibir na tela um “Hello World”. O significado é a

semântica e a forma é a sintaxe.

Em tudo, sintaxe não existe sem semântica, nem semântica existe sem sintaxe. Em qualquer

área de conhecimento é necessário dar forma a um conteúdo, pois uma forma sem conteúdo é

um contrassenso, pois o vazio não existe, e um conteúdo sem forma é um abstrato absoluto,

também sendo um contrassenso, pois qualquer tipo de matéria está no espaço.