• Nenhum resultado encontrado

&R RQ QW WH H[ [W WR R H H $X $ XW Wy yP PD DW WR RV V GH G H 3L 3 LO OK KD D

N/A
N/A
Info
Descarregar agora
Protected

Academic year: 2023

Share "&R RQ QW WH H[ [W WR R H H $X $ XW Wy yP PD DW WR RV V GH G H 3L 3 LO OK KD D"

Copied!
16
0
0

Carregando.... (Ver texto completo agora)

Descarregar agora ( 16 páginas )

Texto

(1)

> > 6R 6 RE EU UH H D D (T ( TX XL LY YD DO Or rQ QF FL LD D HQ H QW WU U H H *U * U DP D Pi iW WL LF FD DV V ,Q , QG GH HS SH HQ QG GH H QW Q WH HV V GR G R

&

&R RQ QW WH H[ [W WR R H H $X $ XW Wy yP PD DW WR RV V GH G H 3L 3 LO OK KD D

• • / / / / * * Á Á 3 3 / / 1 1 3 3

^ *UDPiWLFD,QGHSHQGHQWHGR&RQWH[WR‘ $XWyPDWRGH3LOKD`

$O $ OJ JR RU U LW L WP PR R

* 96 56

3 ^S`È 9ª 6G S6^`

G : para cada a ± È , juntar G (q, a, a) = {(q, ε )}

para cada A α , juntar G (q, ε , A) = {(q, α )}

2 $XWyPDWRREWLGRWHPDIRUPD

DDH a ± È

H $D [A α ] ± R

8PVy(VWDGR

VHP(VWDGRV)LQDLVDFHLWDomRSRU3LOKD9D]LD XPD7UDQVLomRSRU6tPEROR7HUPLQDO

XPD7UDQVLomRSRU3URGXomR

(2)

([HPSOR Consideremos a Linguagem { 0 1 | n – 0 }

e a Gramática Independente do Contexto,

G = ( {S}, {0, 1}, { S 6_H }, S )

A partir desta *UDPiWLFD e de acordo com o Algoritmo da página anterior construímos o $XWyPDWRGH3LOKD :

3 ^S`^`^6`G S6^`

onde G (p, ε, S) = {(p, 0S1), (p, ε)}

G (p, 0, 0) = {(p, ε )}

G (p, 1, 1) = {(p, ε)}

ε , S / 0S1 ε , S / ε 0, 0 / ε 1, 1 / ε

_6_ _5_ WUDQVLo}HV

(3)

$QDOLVHPRVDFRUUHVSRQGrQFLDHQWUHRVUHFRQKHFLPHQWRVGHXPD SDODYUDSHOD*UDPiWLFDRULJLQDOHSHOR$XWyPDWRFRQVWUXtGR

6 o 6_

ε , S / 0S1 ε , S / ε 0, 0 / ε 1, 1 / ε

Simulação para Z = 000111:

S Á (p, 000111, S) …

Á 0S1 (p, 00111, S1) … (p, 00111, S1) … Á 00S11 (p, 0111, S11) …

(p, 0111, S11) … Á 000S111 (p, 111, S111) …

(p, 111, S111) … Á 000 ε 111 (p, 11, 11) …

(p, 1, 1) …

(p, , ) …

Á 000111 (p, ε )

(4)

/ / 1 1 3 3 Á Á * * / / / / * *

^ $XWyPDWRGH3LOKD‘ *UDPiWLFD,QGHSHQGHQWHGR&RQWH[WR`

$O $ OJ JR RU U LW L WP PR R

3 4È * G T = ^`

* 96 56

V = { [pXq] | p, q ∈ Q, X ∈ Γ } ª { 6 } 5 = { 6 >T 0 Z 0 p] | p ∈ Q } ª

{ >S;S k+1 @ D >S 1 Y 1 p 2 ] [p 2 Y 2 p 3 ] ... [p k Y k p k+1 ] | a ∈ È ª { ε },

p 2 , p 3 , ..., p k+1 ± Q,

(p 1 , Y 1 Y 2 ...Y k ) ± G (p, a, X) }

(5)

([HPSOR Consideremos a Linguagem { 0 1 | n – 0 }

e o Autómato de Pilha,

P = ({q 0 , q 1 , q 2 }, { `^= `G T = ^`

onde: (q 0 ,0,Z 0 ) = {(q 0 ,0Z 0 )}

(q 0 ,0,0) = {(q 0 ,00)}

(q 0 ,1,0) = {(q 1 , )}

(q 0 , ,Z 0 ) = {(q 2 , )}

(q 1 ,1,0) = {(q 1 , )}

(q 1 , ,Z 0 ) = {(q 2 , )}

0, Z

0

/ 0Z

0

0, 0 / 00 1, 0 / ε 1, 0 / ε

ε , Z

0

/ ε ε , Z

0

/ ε

A partir deste $XWyPDWR vamos construir

uma *UDPiWLFD,QGHSHQGHQWHGR&RQWH[WR ,

de acordo com o Algoritmo da página anterior.

(6)

&RQVWUXomRGD*UDPiWLFD* 96 56

2V6tPERORV7HUPLQDLV 6 = { 0, 1 }

$ FRQVWUXomRGDV9DULiYHLV

V = { [pXq] | p, q ∈ Q, X ∈ Γ } ª { 6 }

_9_ _ [pXq] _ _4_ l _*_ l _4_ l l [q 0 Z 0 q 0 ]

[q 0 Z 0 q 1 ] [q 0 Z 0 q 2 ] [q 1 Z 0 q 0 ] [q 1 Z 0 q 1 ] [q 1 Z 0 q 2 ] [q 2 Z 0 q 0 ] [q 2 Z 0 q 1 ] [q 2 Z 0 q 2 ]

[q 0 0q 0 ] [q 0 0q 1 ] [q 0 0q 2 ] [q 1 0q 0 ] [q 1 0q 1 ] [q 1 0q 2 ] [q 2 0q 0 ] [q 2 0q 1 ] [q 2 0q 2 ]

[q 0 1q 0 ] [q 0 1q 1 ] [q 0 1q 2 ] [q 1 1q 0 ] [q 1 1q 1 ] [q 1 1q 2 ] [q 2 1q 0 ] [q 2 1q 1 ] [q 2 1q 2 ]

S

(7)

$ FRQVWUXomRGDV3URGXo}HV

5 = { S >T 0 Z 0 p] | p ∈ Q } ª ...

S → [q 0 Z 0 q 0 ] S → [q 0 Z 0 q 1 ] S → [q 0 Z 0 q 2 ]

_4_ SURGXo}HV

5 = { ... ª { [pXp k+1 ] D >S 1 Y 1 p 2 ] [p 2 Y 2 p 3 ] ... [p k Y k p k+1 ] | a ∈ È ª { ε },

p 2 , p 3 , ..., p k+1 ± Q,

(p 1 , Y 1 Y 2 ...Y k ) ± G (p, a, X) }

3HODWUDQVLomR T = ^T = ` [q 0 Z 0 q 0 ] → 0[q 0 0q 0 ][q 0 Z 0 q 0 ]

[q 0 Z 0 q 0 ] → 0[q 0 0q 1 ][q 1 Z 0 q 0 ]

[q 0 Z 0 q 0 ] → 0[q 0 0q 2 ][q 2 Z 0 q 0 ]

[q 0 Z 0 q 1 ] → 0[q 0 0q 0 ][q 0 Z 0 q 1 ]

[q 0 Z 0 q 1 ] → 0[q 0 0q 1 ][q 1 Z 0 q 1 ]

[q 0 Z 0 q 1 ] → 0[q 0 0q 2 ][q 2 Z 0 q 1 ]

(8)

[q 0 Z 0 q 2 ] → 0[q 0 0q 0 ][q 0 Z 0 q 2 ] [q 0 Z 0 q 2 ] → 0[q 0 0q 1 ][q 1 Z 0 q 2 ] [q 0 Z 0 q 2 ] → 0[q 0 0q 2 ][q 2 Z 0 q 2 ]

H PDLV_4_l _4_ l SURGXo}HV

3HODWUDQVLomR T ^T ` [q 0 0q 0 ] → 0[q 0 0q 0 ][q 0 0q 0 ]

[q 0 0q 0 ] → 0[q 0 0q 1 ][q 1 0q 0 ] [q 0 0q 0 ] → 0[q 0 0q 2 ][q 2 0q 0 ] [q 0 0q 1 ] → 0[q 0 0q 0 ][q 0 0q 1 ] [q 0 0q 1 ] → 0[q 0 0q 1 ][q 1 0q 1 ] [q 0 0q 1 ] → 0[q 0 0q 2 ][q 2 0q 1 ] [q 0 0q 2 ] → 0[q 0 0q 0 ][q 0 0q 2 ] [q 0 0q 2 ] → 0[q 0 0q 1 ][q 1 0q 2 ] [q 0 0q 2 ] → 0[q 0 0q 2 ][q 2 0q 2 ]

H PDLV_4_l _4_ l SURGXo}HV

3HODWUDQVLomR T ^T `

[q 0 0q 1 ] → 1

3HODWUDQVLomR T = ^T `

[q 0 Z 0 q 2 ] →

(9)

3HODWUDQVLomR T ^T `

[q 1 0q 1 ] → 1

3HODWUDQVLomR T = ^T `

[q 1 Z 0 q 2 ] →

7RWDO SURGXo}HV

$QiOLVHGD*UDPiWLFDREWLGD

Comecemos por simplificar os nomes das Variáveis:

A B C D E F G H I

J K

L M

N P Q R T

[q 0 1q 0 ] [q 0 1q 1 ] [q 0 1q 2 ] [q 1 1q 0 ] [q 1 1q 1 ] [q 1 1q 2 ] [q 2 1q 0 ] [q 2 1q 1 ] [q 2 1q 2 ]

S

(10)

S → A S → B S → C A → 0JA A → 0KD A → 0LG B → 0JB B → 0KE B → 0LH C → 0JC C → 0KF C → 0LI J → 0JJ J → 0KM J → 0LQ K → 0JK K → 0KN K → 0LR L → 0JL L → 0KP L → 0LT K → 1 C → N → 1 F →

como 9 das 28 Variáveis iniciais não ocorrem em

nenhuma das Produções, podem ser já eliminadas.

(11)

6LPSOLILFDomRGD*UDPiWLFD

Partindo das Produções,

K → 1 C → N → 1 F →

e eliminando as Produções que não contêm K, C, N e F nos seus lados direitos, verificamos que apenas as Variáveis K, C, N e F são

Geradoras.

Eliminando todas as outras, restam apenas:

S → C C → 0KF K → 0KN K → 1 C → N → 1 F →

Eliminando a Produção Unitária obtemos,

C → 0KF | K → 0KN | 1 N → 1

F →

(12)

$QDOLVHPRVHVWD*UDPiWLFD

C → 0KF | K → 0KN | 1 N → 1

F →

Pelo reconhecimento, por exemplo, da palavra 000111,

&

. )

. 1

. 1

verificamos que:

F Á * ε N Á * 1

K Á * { 0 n 1 n+1 | n – 0 }

C Á * { 0 n 1 n | n – 0 }

(13)

Recuperando os nomes originais da construção das Variáveis,

[q 1 Z 0 q 2 ] Á * H [q 1 0q 1 ] Á *

[q 0 0q 1 ] Á * { Q Q | n – 0 } [q 0 Z 0 q 2 ] Á * { Q Q | n – 0 }

verificamos que, efectivamente, cada Variável da forma >S$T@ gera as palavras Z ∈ ∑*, tais que SZ $ … TH H , ou seja:

>S$T@Á Z x SZ $ … TH H

[q 1 Z 0 q 2 ] Á * H T

H =

… T

H H

[q 1 0q 1 ] Á * T … T

H H

[q 0 0q 1 ] Á * { Q Q | n – 0 } T

Q

Q

… T

H H

[q 0 Z 0 q 2 ] Á * { Q Q | n – 0 } T

Q

Q

=

… T

H H

(14)

SDODYUDSHOR$XWyPDWRRULJLQDOHSHOD*UDPiWLFDFRQVWUXtGD

0, Z

0

/ 0Z

0

0, 0 / 00 1, 0 / ε 1, 0 / ε

ε , Z

0

/ ε ε , Z

0

/ ε

[q 0 Z 0 q 2 ] → 0 [q 0 0q 1 ] [q 1 Z 0 q 2 ] | [q 0 0q 1 ] → 0 [q 0 0q 1 ] [q 1 0q 1 ] | 1 [q 1 0q 1 ] → 1

[q 1 Z 0 q 2 ] →

Para a palavra 000111,

[q 0 Z 0 q 2 ] Á [q 0 0q 1 ][q 1 Z 0 q 2 ] (q 0 , 00111,Z 0 ) … Á 0 [q 0 0q 1 ][q 1 0q 1 ][q 1 Z 0 q 2 ] (q 0 , 0111,0Z 0 ) … Á 00 [q 0 0q 1 ][q 1 0q 1 ][q 1 0q 1 ][q 1 Z 0 q 2 ] (q 0 , 111,00Z 0 ) … Á 000 [q 1 0q 1 ][q 1 0q 1 ][q 1 Z 0 q 2 ] (q 0 , 11,000Z 0 ) … Á 0001 [q 1 0q 1 ][q 1 Z 0 q 2 ] (q 1 , 1,00Z 0 ) … Á 00011 [q 1 Z 0 q 2 ] (q 1 , ,0Z 0 ) …

Á 000111 (q 1 , ,Z 0 ) …

Á 000111 (q 2 , , )

(15)

e FODURTXHRDQWHULRUFRQMXQWRGH3URGXo}HVSRGHVHUHVFULWR

C → 0K | K → 0K1 | 1

R TXHpHTXLYDOHQWHjFRQKHFLGD*UDPiWLFD

S → 0S1 |

^ ^ $ $ JH J HU UD Do om mR R GH G HV VW WD D *U * UD D Pi P iW WL LF FD D p p QD Q DW WX XU U D D OP O PH HQ Q WH W H PX P XL LW WR R PD P DL LV V V V LP L PS SO OH HV V VH V H SD S DU UW WL LU U PR P R V V GR G R $X $ XW Wy yP PD D WR W R Q Q m m R R G G HW H WH HU U PL P LQ QL LV VW WD D ` `

([HPSOR Consideremos a Linguagem { 0 n 1 n | n – 0 }

e o Autómato de Pilha,

P = ({p}, { `^= `G S= ^`

onde: G (p, ε , Z 0 ) = {(p, 0Z 0 1), (p, ε )}

G (p, 0, 0) = {(p, ε )}

G (p, 1, 1) = {(p, ε )}

ε , Z

0

/ 0 Z

0

1

ε , Z

0

/ ε

0, 0 / ε

1, 1 / ε

(16)

$V9DULiYHLV

V = { [pZ 0 p] , [p0p] , [p1p] , S }

$V3URGXo}HV S → [pZ 0 p]

3HODWUDQVLomRGSH = ^S= SH`

SRUS= ± GSH =

[pZ 0 p] → [p0p] [pZ 0 p] [p1p]

H SRUSH ± GSH =

[pZ 0 p] → ε

3HODWUDQVLomRGS ^SH`

[p0p] → 0

3HODWUDQVLomRGS ^SH`

[p1p] → 1

4X 4 X H H p p FO F OD DU U DP D PH HQ QW WH H HT H T XL X LY YD DO OH HQ Q WH W H D D

S → 0S1 |

Referências

Descarregar agora ( PDF - 16 páginas - 111.02 KB )

Documentos relacionados

SECRETARÍA DEL MERCOSUR RESOLUCIÓN GMC Nº 26/01 ARTÍCULO 10 FE DE ERRATAS ORIGINAL

Outros compostos organo - mercuriais Acetato de fenilmercúrio; acetato de amônio fenilmercúrio; acetato de monoetanolamônio fenilmercúrio; acetato de metilmercúrio; acetato

Environmental heterogeneity and population differentiation in plasticity to drought in Convolvulus chilensis (Convolvulaceae)

Among several morphological and ecophysiological traits evaluated, only four traits showed differentiation among populations in plasticity to soil moisture: leaf area, leaf shape,

O TUIUTI INFORMATIVO. 280 anos da chegada do Brigadeiro José da Silva Pais a Rio Grande -100 anos da entrada do Brasil na I GM ANO 2017 OUTUBRO N 242

Edwin de La Fonte, no Primeiro En- contro Internacional entre ambas academias, a Academia Boliviana de História Militar e a Academia Duque de Caxias da República Argentina, e

Universidade do Vale do Paraíba Colégio Técnico Antônio Teixeira Fernandes Disciplina POO-I

Valor Expressão numérica a ser arredondada Sim Digito Número de casas decimais pretendidas Não. Caso o digito de casas decimais não for informado, então arredonda para cima em casos

Apresentação e Indice

As informações foram organizadas em blocos: história e geografia, demografia, infraestrutura, indicadores sociais, aspectos econômicos, emprego e renda, finanças municipais e turismo.

RISCO E PROPAGAÇÃO DE INCÊNDIO EM CENTROS URBANOS ANTIGOS

Esses estudos permitem definir qual o tipo de revestimento mais indicado para as paredes exteriores dos edifícios, as classes de resistência dos elementos de cerramento dos

Relatório de atividades da AFBNB

- AFBNB, solicita, em ofício, realização de audiência para tratar sobre o possível encerramento das atividades da Agência de Brasília.Foram enviados documentos para Rui

3ª Série / Vestibular

(E) Renda per capita que represente, pelo menos, o dobro do país. "O capitalismo pode não ter inventado a cidade, mas indiscutivelmente inventou a cidade grande.