Alfabeto

Palavra
Linguagem formal
Gramtica

Linguagens Formais e Autmatos

x palavra ou cadeia de caracteres

x alfabeto

Para definir linguagem

x conceito fundamental em computao e informtica

Linguagem

Linguagens Formais e Autmatos

2.1
2.2
2.3
2.4

2 Linguagens e Gramticas

Alfabeto
Palavra
Linguagem formal
Gramtica

Linguagens Formais e Autmatos

2.1
2.2
2.3
2.4

2 Linguagens e Gramticas

Linguagens Formais e Autmatos

x desenvolvimento matemtico de uma teoria baseada em linguagens

No suficientemente precisa para

o uso da palavra articulada ou escrita como

meio de expresso e comunicao entre pessoas

Linguagem: Dicionrio Aurlio

Introduo e Conceitos Bsicos

Linguagens e Gramticas
Linguagens Regulares
Propriedades das Linguagens Regulares
Autmato Finito com Sada
Linguagens Livres do Contexto
Propriedades e Reconhecimento das Linguagens
Livres do Contexto
Linguagens Recursivamente Enumerveis e
Sensveis ao Contexto
Hierarquia de Classes de Linguagens e Concluses

2 Linguagens e Gramticas

Linguagens Formais e Autmatos

1
2
3
4
5
6
7

P. Blauth Menezes

Linguagens Formais e Autmatos

2.2 Palavra

Linguagens Formais e Autmatos

Linguagens Formais e Autmatos

H - cadeia vazia ou palavra vazia

Cadeia sem smbolos

x sequncia finita de smbolos justapostos

Sobre um alfabeto

Def: Palavra, cadeia de caracteres, sentena

11

x domnio de valores de um bit

x analogia com a representao interna dos computadores reais
x poucos smbolos: simplifica as diversas abordagens desenvolvidas

Alfabeto binrio { a, b }

x o conjunto de todos os smbolos usados nos programas

letras
dgitos
caracteres especiais como >, /, etc
espao ou branco

Alfabeto de uma linguagem de programao como Pascal

Exp: Alfabeto: linguagem de programao

Linguagens Formais e Autmatos

x conjunto infinito no alfabeto

x um alfabeto

Portanto

Conjunto finito de smbolos ou caracteres

Def: Alfabeto

x entidade abstrata bsica, no definida formalmente

x base para definies
x exemplos: letras e dgitos

Smbolo ou caractere

2.1 Alfabeto

Alfabeto
Palavra
Linguagem Formal
Gramtica

Linguagens Formais e Autmatos

x H, a, ab, abc, abcb so todos os prefixos

x H, b, cb, bcb, abcb so todos os sufixos
x qualquer prefixo ou sufixo uma subpalavra

abcb palavra sobre o alfabeto { a, b, c }

Exp: Palavra, prefixo, sufixo, subpalavra

Subpalavra
x qualquer sequncia de smbolos contguos da palavra

Prefixo (Sufixo)
x qualquer sequncia inicial (final) de smbolos da palavra

Def: Prefixo, sufixo, subpalavra

Linguagens Formais e Autmatos

2.1
2.2
2.3
2.4

12

10

2 Linguagens e Gramticas

Linguagens Formais e Autmatos

x N (conjunto dos nmeros naturais)

x { a, b, aa, ab, ba, bb, aaa,} }

No so alfabetos (por qu?)

x { a, b, c }
x (conjunto vazio)

So alfabetos

Exp: Alfabeto

onde n o nmero de concatenaes sucessivas

Linguagens Formais e Autmatos

Passo de induo
x Se u e v so palavras de 6*,

Base de induo
x H 6*
x para qualquer x 6, vale x 6*

6 alfabeto. 6* indutivamente definido

Def: Conjunto de todas as palavras

x 6* conjunto de todas as palavras possveis sobre 6

x 6+ = 6* - { H }

Se 6 um alfabeto

Linguagens Formais e Autmatos

x w0 = H
x wn = w wn-1, para n > 0

indutivamente a partir da operao de concatenao

wn

Concatenao sucessiva de uma palavra (com ela mesma) ou

simplesmente concatenao sucessiva

Def: Concatenao sucessiva de uma palavra

x v w = baaaabb
x v H = v = baaaa

6 = { a, b } um alfabeto. Para v = baaaa e w = bb

Exp: Concatenao de palavras

Linguagens Formais e Autmatos

17

15

13

(o smbolo a repetido n vezes)

16

14

w 6*

Linguagens Formais e Autmatos

x 6+ = { a, b, aa, ab, ba, bb, aaa,} }

x 6* = { H, a, b, aa, ab, ba, bb, aaa,} }

Exp: Conjunto de todas as palavras

Se 6 = { a, b }, ento:

x qualquer elemento w de 6*

18

Definio alternativa para palavra sobre um alfabeto 6

x ento a concatenao u v uma palavra de 6*

Linguagens Formais e Autmatos

x an = aaa}a

x a5 = aaaaa

x w1 = w

x w3 = w w w

w palavra e a smbolo

Exp: Concatenao sucessiva

Linguagens Formais e Autmatos

Associatividade parnteses podem ser omitidos: v w t

Propriedades
x Elemento neutro: H w = w = w H
x Associativa: v(w t) = (v w)t

Notao
x justaposio dos smbolos que representam as palavras
componentes

Concatenao de palavras ou simplesmente concatenao

x operao binria sobre um conjunto de palavras
x associa a cada par de palavras
palavra formada pela justaposio da primeira com a segunda

Em uma linguagem de programao como Pascal

uma palavra um programa

Def: Concatenao de palavras

Exp: Palavra: linguagem de programao

L 6*

19

z {H }

21

Alfabeto
Palavra
Linguagem formal
Gramtica

Linguagens Formais e Autmatos

2.1
2.2
2.3
2.4

23

2 Linguagens e Gramticas

Linguagens Formais e Autmatos

Conjunto de palndromos sobre 6 = { a, b }

6* z 6+

6* e 6+ so linguagens sobre um 6 qualquer

e { H } so linguagens sobre qualquer alfabeto

Exp: Linguagem formal

Linguagem formal ou simplesmente linguagem L sobre um alfabeto 6

Def: Linguagem formal

2.3 Linguagem formal

Linguagens Formais e Autmatos

~H~ = 0

~abcb~ = 4

Exp: Palavra, prefixo, sufixo, comprimento

x nmero de smbolos que compem a palavra

x funo com domnio em 6* e codomnio em N

De uma palavra w, representado por ~w~

Def: Comprimento, tamanho de uma palavra

H, a, b, aa, bb, aaa, aba, bab, bbb, aaaa,}

20

26*

22

Linguagens Formais e Autmatos

x uma maneira de especificar de forma finita linguagens

(eventualmente) infinitas

Formalismo gramtica

24

x conjunto de todos os programas infinito

x no definio adequada para implementao em computador

Linguagem de propsitos gerais como Pascal

x definida pelo conjunto de todos os programas (palavras)

Linguagem de programao

2.4 Gramtica

Linguagens Formais e Autmatos

conjunto de todos os programas (palavras) da linguagem

Linguagem de programao como Pascal

Exp: Linguagem formal: linguagem de programao

Conjunto das partes de 6*

Exp: Conjunto de todas as linguagens sobre um alfabeto

Alfabeto
Palavra
Linguagem formal
Gramtica

Linguagens Formais e Autmatos

2.1
2.2
2.3
2.4

2 Linguagens e Gramticas

D o E1 ~ E2 ~ } ~ En

25

Linguagens Formais e Autmatos

exatos i passos de derivaes sucessivos (i natural)

x I

x + fecho transitivo da relao

um ou mais passos de derivaes sucessivos

x * fecho transitivo e reflexivo da relao

zero ou mais passos de derivaes sucessivos

Sucessivos passos de derivao

x substituio de uma subpalavra

x de acordo com uma regra de produo

Portanto, derivao

Linguagens Formais e Autmatos

x aplicao sucessiva de regras de produo

fecho transitivo da relao de derivao
permite derivar palavras da linguagem

29

27

x aplicao de uma regra de produo denominada derivao

Derivao

Linguagens Formais e Autmatos

x entretanto, em geral, so usados outros formalismos

Gramticas tambm so usadas para definir semntica

x as mesmas que as usadas para linguagens artificiais como Pascal

Gramticas para linguagens naturais como Portugus

x conjunto finito de regras

x quando aplicadas sucessivamente, geram palavras
x conjunto de todas as palavras geradas por uma gramtica
define a linguagem

Gramtica , basicamente

SE

26

Linguagens Formais e Autmatos

L(G) = { w T* ~ S + w }

x palavras de smbolos terminais derivveis a partir de S

Linguagem gerada por G: L(G) ou GERA(G)

G = (V, T, P, S) gramtica

Def: Linguagem gerada

x aximtico
x de gerao
permite derivar ("gerar") todas as palavras da linguagem

Gramtica um formalismo

Linguagens Formais e Autmatos

KUEV

x para todo par K U D V da relao de derivao

se D o E regra de P, ento

30

28

indutivamente definida como segue:

x para toda produo da forma S o E (S o smbolo inicial de G)

DE

Derivao um par da relao de derivao denotada por

x domnio em (V T)+ e codomnio em (V T)*
x D, E representado de forma infixada

G = (V, T, P, S) gramtica

Def: Relao de Derivao

Linguagens Formais e Autmatos

Representao abreviada para D o E1, D o E2, , D o En

DoE

Representao de uma regra de produo (D, E)

x S, elemento distinguido de V: smbolo inicial ou varivel inicial

x V, conjunto finito de smbolos variveis ou no terminais

x T, conjunto finito de smbolos terminais disjunto de V
x P: (V T)+ o (V T)*, relao finita: produes
par da relao: regra de produo ou produo

G = (V, T, P, S)

Gramtica de Chomsky, Gramtica irrestrita ou gramtica

Def: Gramtica

31

S
XY
XaAY
XaYa
XbBaYa
XbaBYa
XbaYba
FbaYba
bFaYba
baFYba
baba

Linguagens Formais e Autmatos

Existe mais alguma derivao de baba?

x
x
x
x
x
x
x
x
x
x
x

Derivao de baba

Linguagens Formais e Autmatos

35

S o XY
X o XaA
AY o Ya
X o XbB
Ba o aB
BY o Yb
XoF
Fb o bF
Fa o aF
FY o H

33

x Passo de induo: se n natural, ento a concatenao com

qualquer dgito tambm natural

x Base de induo: todo dgito natural

Interpretao indutiva da gramtica

x S 6 243

x S + 243

x S * 243

Portanto

Linguagens Formais e Autmatos

x exemplo: 123 de 0123

x se distinguem os zeros esquerda

Gera, sintaticamente, o conjunto dos nmeros naturais

N
DN
2N
2DN
24N
24D
243

32

N o DN
Do2
N o DN
Do4
NoD
Do3

Linguagens Formais e Autmatos

x D, E,} para palavras de smbolos variveis ou terminais

x u, v, w, x, y, z para palavras de smbolos terminais

x a, b, c,}, s, t para smbolos terminais

x A, B, C,}, S, T para smbolos variveis

Convenes

GERA(G1) = GERA(G2)

G1 e G2 so gramticas equivalentes se e somente se

Def: Gramticas equivalentes

Linguagens Formais e Autmatos

{ ww ~ w palavra de { a, b }* }

P = { S o XY,
X o XaA ~ XbB ~ F
Aa o aA, Ab o bA, AY o Ya,
Ba o aB, Bb o bB, BY o Yb,
Fa o aF, Fb o bF, FY o H }
gera a linguagem

x
x
x
x
x

na qual:

G = ({ S, X, Y, A, B, F }, { a, b }, P, S)

36

34

Exp: Gramtica, derivao, linguagem gerada: palavra

duplicada

Linguagens Formais e Autmatos

x
x
x
x
x
x
x

Uma derivao do nmero 243

G = (V, T, P, N)
x V = { N, D }
x T = { 0, 1, 2,}, 9 }
x P = { N o D, N o DN, D o 0 ~ 1 ~ } ~ 9 }

G = (V, T, P, N)
x V = { N, D }
x T = { 0, 1, 2,}, 9 }
x P = { N o D, N o DN, D o 0 ~ 1 ~ } ~ 9 }

Exp: Gramtica, derivao, linguagem gerada: nmeros

naturais

Exp: Gramtica, derivao, linguagem gerada: nmeros

naturais

Linguagens Formais e Autmatos

1
2
3
4
5
6
7

37

Introduo e Conceitos Bsicos

Linguagens e Gramticas
Linguagens Regulares
Propriedades das Linguagens Regulares
Autmato Finito com Sada
Linguagens Livres do Contexto
Propriedades e Reconhecimento das Linguagens
Livres do Contexto
Linguagens Recursivamente Enumerveis e
Sensveis ao Contexto
Hierarquia de Classes de Linguagens e Concluses

P. Blauth Menezes

Linguagens Formais e Autmatos