Sintaxe e Semântica em C

Sintaxe e Semântica na Linguagem C

1. Introdução

Linguagem é um conjunto de regras sintáticas e semânticas usadas para definir

uma forma de comunicação. Como toda linguagem é utilizada por várias pessoas, ela

deve ser inteligível para todos, portanto é necessário analisar sua sintaxe e semântica.

2. O que é Sintaxe?

A sintaxe é a forma como as instruções de uma linguagem são escritas, mas

sem atender ao seu significado. Enquanto em C os blocos de comando que serão

executados são limitados por { e } (chaves), em Pascal são limitadas por “begin” e

“end”.

Exemplo:

Linguagem C: Linguagem Pascal:

1. #include 1. Program HelloWorld;

2. 2.

3. int main () { 3. begin

4. printf (“Hello World!”); 4. writeln (“Hello World!”);

5. return 0; 5. end.

6. } 6.

3. O que é Semântica?

A semântica é complementar a sintaxe. Ela corresponde à descrição do

significado das instruções válidas de uma linguagem. Uma razão para descrever a

semântica é exatamente saber o que as instruções da uma linguagem fazem.

Exemplo:

Linguagem C:

6. ...

7. if (num > 10) { }

8. ...

Neste exemplo, na linha 7, a sintaxe da instrução é “if (num > 10) { }” e sua

semântica é: “se o valor da expressão for verdadeiro, as instruções incorporadas serão

executadas pelo programa”. É através da semântica que conseguimos utilizar melhor e

validar uma linguagem.

A semântica pode ser dividida em duas:

1. Semântica Estática: Descreve as características de um programa válido.

Geralmente as regras de semântica estática declaram as restrições de tipos;

2. Semântica Dinâmica: Descreve os resultados da execução de um programa.

Por sua vez, ela é dividida em Operacional, Denotacional e Axiomática.

a. Semântica Operacional: descreve o significado de um programa através da

execução de suas instruções numa máquina (real, simulada ou virtual).

b. Semântica Denotacional: dentre os métodos adotados, é o de