Definição de Sintaxe e Semântica
Há 15 anos
Subscrever:
Enviar feedback (Atom)
skip to main |
skip to sidebar
Este Blog tem como objectivo a divulgação dos conteúdos e da disciplina de Sistemas de Informação do ITAP.
Bem Vindos
Olá a Todos,
sejam bem vindos ao meu blog sobre a disciplina de Sistemas de Informação.
Neste blog, irei colocar informações acerca dos conteúdos da disciplina de sistemas de informação, bem como referências a outros assuntos que considere importantes.
A disciplina de Sistemas de Informação é composta por vários módulos:
sejam bem vindos ao meu blog sobre a disciplina de Sistemas de Informação.
Neste blog, irei colocar informações acerca dos conteúdos da disciplina de sistemas de informação, bem como referências a outros assuntos que considere importantes.
A disciplina de Sistemas de Informação é composta por vários módulos:
- - Redes e Protocolos
- - Linguagens de Programação I
- - Linguagens de Programação II
A minha Lista de blogues
Etiquetas
- Redes e Protocolos (6)
- Outros (2)
- Apresentação (1)
- LPII (1)
Arquivo do blogue
-
▼
2009
(6)
- ► 06/21 - 06/28 (2)
- ► 05/17 - 05/24 (1)
- ► 05/10 - 05/17 (1)
- ► 05/03 - 05/10 (1)
-
►
2008
(9)
- ► 11/02 - 11/09 (1)
- ► 10/26 - 11/02 (1)
- ► 10/05 - 10/12 (3)
- ► 09/28 - 10/05 (1)
- ► 09/21 - 09/28 (1)
- ► 09/14 - 09/21 (2)
7 comentários:
A sintaxe de uma linguagem de programação é a forma de suas expressões, de suas instruções e de suas unidades de programa; já sua semântica é o significado dos três. Apesar de serem frequentemente estudadas separadamente, a semântica e a sintaxe estão estreitamente ligadas de forma a que uma deva ser o que a outra quer realizar.
Sintaxe
A sintaxe caracteriza a forma como se escrevem os
programas da linguagem, sem atender ao seu
significado.
A sintaxe concreta de uma linguagem de
programação pode ser descrita precisa e
formalmente usando gramáticas (LFA)
Semântica
A semântica descreve o significado das frases
sintacticamente válidas de uma linguagem.
“Na linguagem Java os argumentos são sempre
passados por valor, mas em Pascal também podem
ser passados por referência”
A semântica de uma linguagem pode ser
caracterizada por uma função computável, que
atribui um significado a cada programa (ou
fragmento de programa)
A função semântica, pode ser vista como um
algoritmo que “sabe como interpretar” todos os
programas (sintacticamente correctos) de uma
linguagem, determinando o seu valor ou efeito
Nuno Pires
A sintaxe caracteriza a forma como se escrevem os
programas da linguagem, sem atender ao seu
significado.
! Exemplo de observação sobre “sintaxe”
“Enquanto na linguagem C os blocos são delimitados
por chavetas { e }, na linguagem Pascal usam-se os
delimitadores begin end”
! A sintaxe concreta de uma linguagem de
programação pode ser descrita precisa e
formalmente usando gramáticas (LFA)
A semântica descreve o significado das frases
sintacticamente válidas de uma linguagem
! Exemplos de observações sobre “semântica”:
“Em C, um vector é modelado por um apontador, mas
em Pascal um vector é um valor primitivo”
“A linguagem ML (OCaml) é uma linguagem
imperativa, mas centrada no uso de funções”
“Na linguagem Java os argumentos são sempre
passados por valor, mas em Pascal também podem
ser passados por referência”
Francisco Pardal
SINTAXE
O problema geral de descrever a sintaxe
Linguagens são conjuntos de seqüência de caracteres que obedecem a algum alfabeto pré-definido, essas seqüências são chamadas de instruções ou sentenças onde são especificadas pelas regras de sintaxe, ou seja, quais as seqüências de caracteres do alfabeto da linguagem estão nelas.
Na sintaxe das linguagens de programação, para uma maior simplificação do entendimento, não incluem-se descrições em um nível mais baixo. As unidades presentes nesse nível mais baixo são chamadas de lexemas. Nisso estão inclusos seus identificadores, seus literais, seus operadores e suas palavras especiais. Um token de uma linguagem é uma categoria de seus lexemas.
Reconhecedores da Linguagem
As duas maneiras possíveis de se definir formalmente uma linguagem são por reconhecimento ou por geração. O reconhecedor não precisa testar todas as seqüências possíveis de caracteres de um conjunto para determinar se cada uma delas está na linguagem.
SEMANTICA
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.
A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação.
A necessidade de uma semântica formal (matemática) para linguagens de programação.
Semântica é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.
A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação.
A necessidade de uma semântica formal (matemática) para linguagens de programação, justifica-se, pois:
Pode revelar ambigüidades na definição da linguagem (o que uma descrição informal não permitiria revelar);
É uma base para implementação (síntese), análise e verificação formal.
Sintaxe - Define a forma e estrutura de uma linguagem
Símbolos, palavras, frases e sentenças (estruturas)
Principal formalismo:
Gramáticas Livres de Contexto e Expressões Regulares
Notação mais utilizada: BNF (Backus-Naur Form).
Semantica - Objetivo:
Descrever os significados das estruturas do programa expressos na sua sintaxe
Tipos de semântica
Semântica estática: Descreve as características de uma programa válido
Semântica dinâmica: Descreve os resultados da execução do programa
Enviar um comentário