FAPE - Curso de Ciência da Computação

Apresentação em tema: "FAPE - Curso de Ciência da Computação"— Transcrição da apresentação:

1 FAPE - Curso de Ciência da Computação
Aspectos Teóricos da Computação Professor: Gleifer Vaz Alves Quarta Aula /1

2 Conteúdo Parte II: Linguagens regulares Autômatos Finitos
Expressões Regulares Gramáticas Regulares FAPE ATC-04

3 Introdução Uma expressão regular (ER) sobre um alfabeto  é indutivamente definida:  é uma ER que denota a linguagem vazia.  é uma ER que denota a linguagem contendo exclusivamente a palavra vazia, ou seja {} . FAPE ATC-04

4 Expressão Regular qualquer símbolo x pertencente ao alfabeto  é uma ER e denota a linguagem contendo a palavra unitária x, ou seja {x}. FAPE ATC-04

5 Operações com expressões
Três operações básicas: Operação de união, Operação de concatenação, Operação de concatenação sucessiva ou operação estrela. FAPE ATC-04

6 ER - Operações Se r e s são ER´s e denotam respectivamente as linguagens R e S, então: (r+s) é ER e denota a linguagem R  S (rs) é ER e denota a linguagem {uv | u  R e v  S} (r*) é ER e denota a linguagem R* FAPE ATC-04

7 Expressão Regular Uma linguagem gerada por uma ER r é representada por L(r) ou GERA(r). É possível omitir parênteses, seguindo prioridades nas operações: a concatenação sucessiva tem prioridade em relação à concatenação e a união, e a concatenação tem prioridade em relação à união. FAPE ATC-04

8 Expressão Regular - exemplos
ER Linguagem aa Palavra aa ba* Inicia por b, seguido de zero ou mais a (a+b)* Todas palavras do alfabeto {a,b} a*ba*ba* Todas palavras que têm exatamente dois b´s. FAPE ATC-04

9 Expressão Regular - exemplos
ER Linguagem (a+b)* aa(a+b)* Todas palavras que têm aa como subpalavra. (aa+bb) As palavras que terminam com aa ou bb. (a+) (b+ba)* As palavras que não possuem dois a´s consecutivos. FAPE ATC-04

10 Expressões e Linguagens
A classe das expressões regulares corresponde exatamente a classe das linguagens regulares. Expressão Regular Linguagem Regular Se r é uma ER, então GERA(r) é uma linguagem regular FAPE ATC-04

11 Expressões e Linguagens
Linguagem Regular  Expressão Regular Se L é uma linguagem regular, então existe uma expressão regular r tal que GERA(r) = L FAPE ATC-04

12 Conversão: expressões autômatos
r = a r =  r =  FAPE ATC-04

13 expressões autômatos
 r = a + b  b a  r = ab b FAPE ATC-04

14 ER´s e Autômatos  a r = a* FAPE ATC-04

15 Gramática Seja G={N,T,P,S} uma gramática, onde:
N – conjunto de símbolos não-terminais; T – conjunto de símbolos terminais; P – conjunto de regras de produção; S – símbolo inicial da gramática. FAPE ATC-04

16 Gramática Terminologia: símbolos não-terminais N = {A,B,C,...T}
símbolos terminais T = {a,b,c,...t} S  N FAPE ATC-04

17 Regras de produção Aplicando as regras de produção definidas na gramáticas são geradas palavras referentes a linguagem que a gramática representa. Gramática r. de produção palavra FAPE ATC-04

18 Regras de produção Exemplo: G = ( {S,A,B}, {a,b}, P, S )
P = { S  AB, A  a | AB, B  b } Passos para gerar a palavra: abb S  AB  ABB  aBB abB  abb. FAPE ATC-04

19 Tipos de Gramática linear
Uma gramática G pode ser: GLD: se todas as regras de produção são da forma AwB ou A w. GLE: se todas as regras de produção são da forma ABw ou A w. FAPE ATC-04

20 Gramática Regular Uma gramática regular é qualquer gramática linear.
Uma linguagem gerada por uma gramática regular G é representada por L(G) ou GERA(G). FAPE ATC-04

21 Exemplos - gramáticas Linguagem a(ba)*
GLD: G = ( {S,A}, {a,b}, { S  aA, A  baA |  }, S ) GLE: G = ( {S}, {a,b}, { S  Sba | a }, S ) FAPE ATC-04

22 Exemplos - gramáticas Linguagem (a+b)*(aa+bb)
G = ( {S,A}, {a,b}, P, S ) P = { S  aS | bS | A, A  aa | bb } FAPE ATC-04

23 Árvores de derivação Igualmente é possível representar as produções das gramáticas através de árvores derivação. palavra: abb S a S A b b FAPE ATC-04

24 Gramática Autômato Tipo de produção transição A   A  a A  B
(A,)=qf A  a (A,a)=qf A  B (A,)=B A  aB (A,a)=B FAPE ATC-04

25 Exemplo: GR  AF Considerando a gramática,
G = ( {S,A,B}, {a,b}, { S  aA AbB |  B  aA }, S ) O AF que reconhece a gramática é M = ({a,b}, {S,A,B,qf}, , S, {qf}) FAPE ATC-04

26 Exemplo: GR  AF Tipo de produção transição S  aA A  bB A   B  aA
(A,)=qf B  aA (B,a)=A FAPE ATC-04

27 Exemplo: GR  AF  FAPE ATC-04

28 Exemplo: AF  GR Estados terminais: qo, q1 e q2. FAPE ATC-04

29 Exemplo: AF  GR Transição Tipo de produção S  A A   B   C  
Correspondências: q0 = A, q1 = B, q2 = C FAPE ATC-04

30 Exemplo: AF  GR Transição Tipo de produção (q0,a)=q0 A  aA
(q0,b)=q1 A  bB (q1,b)=q1 B  bB (q1,c)=q2 B  cC (q2,c)=q2 C  cC FAPE ATC-04

31 Tarefa: lista de exercícios 4