17/08/2020

Introdução

Paradigmas de Programação:
Sintaxe e Semântica

1 2

Introdução Exemplo Sintaxe e Semântica

3 4

Sintaxe
FORMA

arranjar organizar ordenar

Descrevendo Sintaxe

5 6

1
 17/08/2020

Descrevendo Sintaxe Exemplo Português

7 8

Definição de Gramática Exemplo de gramática BNF

9 10

Exemplo de Derivação Árvore de derivação

Derivação é a <program>
aplicação de regras
<stmts>
começando com o
símbolo inicial e <stmt>
terminando com uma <var> = <expr>
sentença com todos os
a <term> + <term>
símbolos terminais
<var> const

11 12

2
 17/08/2020

Exemplos Ambiguidade em Gramáticas

<expr> <expr>

<expr> <op> <expr> <expr> <op> <expr>

<expr> <op> <expr> <expr> <op> <expr>

const - const / const const - const / const

13 14

Outros operadores de BNFs

Descrevendo semântica

15 16

Semântica Semântica
SIGNIFICADO

comportamento

17 18

3
 17/08/2020

Semântica das Linguagens Semântica Operacional

19 20

Semântica Denotacional Semântica Axiomática

21 22

Próxima Aula: Introdução a

programação funcional com
Haskell

Paradigmas de Programação: Leitura:

Capítulo 1 – THOMPSON, S. The Craft of Functional
Sintaxe e Semântica Programming. Addison-Wesley, 2011.

23 24