Linguagens Formais e Autmatos

Cincia da Computao
6 Semestre

Prof. Claiton Luis Perin

Agenda

1.

Caractere

2.

Alfabeto

3.

Palavra

4.

Linguagens

5.

Gramtica

Prof. Claiton Luis Perin

Linguagens Formais e Autmatos

Caractere

Prof. Claiton Luis Perin

1. Caractere
Na computao, todos os dados que voc v na
tela de seu monitor so gerados a partir da presena
(1) ou ausncia (0) de energia nos circuitos lgicos.
Essa energia convertida em unidades, quais sero
utilizadas pelo hardware para permitir a execuo de
softwares.

Prof. Claiton Luis Perin

1. Caractere
Para facilitar a programao, essas unidades
deveriam representar smbolos conhecidos, da vem o
conceito de Caractere.

Caractere: o nome que se d a cada

um dos smbolos que se pode representar.

Prof. Claiton Luis Perin

1. Exemplo de Caractere
As letras e os dgitos representam os caracteres.
Devido a grande quantidade de smbolos
existentes, foi necessrio limitar sua quantidade a fim
de permitir seu uso nos computadores.
A tabela mais usada e conhecida chamada de
tabela ASCII (American Standard Code for Information
Interchange Cdigo Americano Padro para o
Intercambio de informaes).

Prof. Claiton Luis Perin

Linguagens Formais e Autmatos

Alfabeto

Prof. Claiton Luis Perin

2. Alfabeto
Na Teoria da Computao, podemos afirmar que
alfabeto um subconjunto da tabela ASCII. Um
alfabeto denotado pelo smbolo (sigma).

Alfabeto (): o conjunto finito de

smbolos distintos e indivisveis de qualquer
natureza.
8

Prof. Claiton Luis Perin

2. Exemplo de Alfabetos Vlidos

= {0, 1}
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
= {a, b, c, d, e, f, g, h, i, ..., z}
= {a, A, b, B, c, C, d, D}

= { } ou Conjunto vazio tambm um

alfabeto

Um conjunto finito de caractere um alfabeto!

9

Prof. Claiton Luis Perin

2. Exemplo de Alfabetos Vlidos

O alfabeto de uma linguagem de programao
qualquer, formada por todos os smbolos utilizados
na construo de programas:

10

letras;
dgitos;
caracteres especiais como >, /, -, etc;
espaos ou branco.

Prof. Claiton Luis Perin

2. Exemplo de Alfabetos no Vlidos

= N (Conjunto dos Nmeros Naturais)
= {a, b, c, ab, aba, cada}

Um conjunto infinito de caractere no um

alfabeto!
11

Prof. Claiton Luis Perin

Linguagens Formais e Autmatos

Palavra

12

Prof. Claiton Luis Perin

3. Palavra
Uma palavra, uma cadeia de caracteres que
pertenam a um determinado alfabeto, ou seja, uma
sequncia de zero ou mais smbolos do alfabeto
justapostos.

Portanto uma cadeia sem smbolos uma

palavra vlida, e representada pelo
smbolo: (cadeia ou palavra vazia)
13

Prof. Claiton Luis Perin

3. Palavra
Exemplo de palavra para o alfabeto = { a, b, c}.

14

P1 = aab
P2 = bacb
P3 = b
P4 = aaaccaab
P5 = ccaa
P6 = acacadaa

Prof. Claiton Luis Perin

Vlido
Vlido
Vlido
Vlido
Vlido
Invlido

3. Palavra
Prefixo: Um prefixo de uma palavra qualquer
sequncia inicial de smbolos da palavra.

Sufixo: Um sufixo de uma palavra qualquer

sequencia final de smbolos da palavra.

Subpalavra: qualquer sequncia de smbolos

encontrado na palavra.

15

Prof. Claiton Luis Perin

3. Palavra
Para o alfabeto = { a, b, c}, considerando a
palavra abcb. Temos:

Prefixos: , a, ab, abc, abcb

Sufixo: , b, cb, bcb, abcb
Subpalavra: Para qualquer prefixo ou sufixo de uma
palavra tambm uma subpalavra.

16

Prof. Claiton Luis Perin

3. Palavra
Para a palavra aa, formada a partir do alfabeto
= {a}, temos as seguintes subpalavras:

, a, aa

17

Prof. Claiton Luis Perin

3. Tamanho ou Comprimento
Caso se queira a quantidade de um determinado
smbolo dentro da cadeia devemos nos referir a ocorrncia.

Para o alfabeto = { a, b, c}, temos.

18

| aab |
| bacb |
|b|
| aaaccaab |
| ccaa |
||

Prof. Claiton Luis Perin

=3
=4
=1
=8
=4
=0

3. Concatenao
Para o alfabeto = { a, b}, temos as seguintes
palavras: v = baaaa e w = bb

Sendo assim, podemos efetuar as seguintes

concatenaes:

19

v w = baaaabb
v = baaaa
w v = bbbaaaa

Prof. Claiton Luis Perin

3. Concatenao Sucessiva
A concatenao sucessiva de uma palavra
representada na forma de um expoente, onde:

n sendo n o nmero de concatenaes

sucessivas.
w0 =
wn = w wn-1 , para n > 0
20

Prof. Claiton Luis Perin

3. Conjunto de Todas as Palavras

* representa o conjunto de todas as palavras
possveis sobre .

+ representa o conjunto de todas as palavras

possveis sobre , com exceo da .

21

Prof. Claiton Luis Perin

-{}=

3. Conjunto de Todas as Palavras

Se = {a, b}, ento:

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

* = {, a, b, aa, ab, ba, bb, aaa, ...}

22

Prof. Claiton Luis Perin

3. Operaes sobre linguagens

Unio: para o = {0, 1}, considerando:

L1 = {00, 11, 000}

L2 = {00, 101, 100}

Temos: L1 L2 = {w : w L1 ou w L2}.

23

Ou seja: L1 L2 = {00, 11, 000, 101, 100}

Prof. Claiton Luis Perin

3. Operaes sobre linguagens

Interseo: para o = {0, 1}, considerando:

L1 = {00, 11, 000}

L2 = {00, 101, 100}

Temos: L1 L2 = {w : w L1 e w L2}.

24

Ou seja: L1 L2 = {00}

Prof. Claiton Luis Perin

3. Operaes sobre linguagens

Diferena: para o = {0, 1}, considerando:

L1 = {00, 11, 000}

L2 = {00, 101, 100}

Temos: L1 - L2 = {w : w L1 e w L2}.

25

Ou seja: L1 - L2 = {11, 000}

Prof. Claiton Luis Perin

Linguagens Formais e Autmatos

Linguagens

26

Prof. Claiton Luis Perin

4. Linguagens
Uma linguagem, denotada por L, formada por um
conjunto de palavras e de regras gramaticais que
permitem combinar as palavras em sentenas
sintaticamente corretas.

Com este conceito, podemos afirmar que qualquer

subconjunto de palavras formadas a partir de um

alfabeto uma linguagem.

27

Prof. Claiton Luis Perin

4. Linguagens
Exemplo 1: Um exemplo de linguagem, dentro do
= {a, b}, a linguagem formada por todas as
palavras de tamanho igual a dois:

L = {aa, ab, ba, bb}

28

Prof. Claiton Luis Perin

4. Linguagens
Exemplo 2: considerando todas as palavras
iniciadas em a dentro do = {a, b}, temos:

L = {a, ab, aa, aba, abb, abbb, aaa, aabba, ...}

29

Prof. Claiton Luis Perin

4. Poder das Linguagens

O poder de uma linguagem nada mais do que a
quantidade de palavras que a mesma possui.

Ex 1: L = {aa, ab, ba, bb}

Ex 2: L = {a, ab, aa, aba, abb, abbb, aaa, aabba, ...}

No exemplo 1, o poder da linguagem gerada 04

(quatro), j no caso do exemplo 2, esse poder tende

ao infinito.
30

Prof. Claiton Luis Perin

Linguagens Formais e Autmatos

Gramtica

31

Prof. Claiton Luis Perin

5. Gramtica
Permite especificar uma linguagem, ou seja, um
conjunto de regras de formao de palavras para uma
linguagem formal.

As regras descrevem como formar as palavras do alfabeto

da linguagem que so vlidos de acordo com a

sintaxe da linguagem.
Uma gramtica no descreve os significados das palavras
ou o que pode ser feito com elas em qualquer contexto.

32

Prof. Claiton Luis Perin

5. Gramtica
Uma gramtica gerativa uma qudrupla, como
demonstrado abaixo:

G = (V, T, P, S)

33

V = Variveis gramaticais;
T = Alfabeto terminal;
P = Regras de produo;
S = Smbolo inicial.

Prof. Claiton Luis Perin

5. Gramtica
As regras de produo so denotadas por: A B.

Onde A deriva B

Uma sequncia de regras denotada por:

A B1, A B2, ..........., A Bn

Tambm pode ser representada da seguinte forma:

A B1 | B2 | ......... | Bn

34

Prof. Claiton Luis Perin

5. Gramtica Exemplo 1
A gramtica G = (V, T, P, N) tal que:

V = {N, S, A,D},
T = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,+, },
N SA
S +|-|
A DA | D
D0|1|2|3|4|5|6|7|8|9

P=

N o smbolo inicial

N SA SDA SDD +DD +1D +13.

Logo, N +13.
35

Prof. Claiton Luis Perin

5. Gramtica Exemplo 2
G = ({S, X, Y, A, B}, {a, b}, P, S) onde as
produes so:

S XY
X XaA | XbB | F
Aa aA, Ab bA, AY Ya
Ba aB,Bb bB,BY Yb
Fa aF, Fb bF, FY

P=

S o smbolo inicial

S XY XaAY XaYa XbBaYa XbaBYa XbaYba FbaYba

bFaYba baFYba baba

Logo, S baba.

36

Prof. Claiton Luis Perin

5. Gramtica Exemplo 1
G = ({N, D}, {0, 1, 2, ...., 9}, P, N) onde as
produes so:

N D
N DN
D 0|1|2|3|4|5|6|7|8|9

P=

N o smbolo inicial

N DN 2N 2DN 24N 24D 243.

Logo, N 243.

37

Prof. Claiton Luis Perin

5. Gramtica Exemplo 1
G = ({E}, {+, *, [, ], x}, P, E) onde as produes
so:

38

P=

E o smbolo inicial

E E+E | E*E | [E] | x

Gere uma derivao vlida para [x + x] * x

Prof. Claiton Luis Perin

Dvidas?
claitonperin@yahoo.com.br

39

Claiton Luis Perin