ACTIVIDAD COLABORATIVA PARA EL MOMENTO No.docx

7/26/2019 ACTIVIDAD COLABORATIVA PARA EL MOMENTO No.docx

1/15

ACTIVIDAD COLABORATIVA PARA EL MOMENTO No: 2 AUTOMATAS Y LENGUAJESFORMALES


2/15

PARTE 1

PUNTO 1

M es qunu!"o #ee$%&n'#o 's: {K , , , s , f} (

) se $e*e$e '" +on,uno #e "os es'#os #e nues$o 'u-%'':

) ./ q0 ,Q1,Q2Q3 ,Q4 ,Q5 0

$e*e$e '" "enu',e :

. /' 30

S es e" es'#o &n&+&'":

S . q0

es "' 4un+&-n #e $'ns&+&-n #e" 'u-%'' !o#e%os #eno'$ 's& :

) 5 6 7 8u&e$e #e+&$ que s& ene%os un es'#o un "enu',e %'s

$'ns&+&-n . nos !ue#e $esu"'$ un nue9o es'#o 's 9'%os o$'n&;'n#o q2 q? q=# q3 q2 q@

q4 q@ q# q5 q q1

L={{0,1}=0+1+(10)+(01)+0 ((10 )+1((10)+ (01)+(01)))}

R1=( q0 , q3 )=00(00)

R2=(q0 , q5 )=11(11)

R3=( q0 , q8 )por q1 , q7=11 (11 )00 (00 )

R4=(q0, q8 )por q2, q6=00 (00 )11 (11)

R5=( q0 , q8 )por q2 , q4 , q7=011 (11)0 (00)

R6=(q0 , q8 )porq1 , q4 , q7=101 (11 )0(00)

R7=( q0 , q8 )por q1 , q4 , q6=100 (00 )

1(11)

R8=( q0 , q8 )por q2 , q4 , q6=010 (00 )1(11)

ER= R1+R2+R3+R4+R5+R6+R7+R8

Por lo tanto ser

00(00)+11(11)+11 (11) 00 (00)+00 (00 )11 (11)+011(11)0 (00)+101 (11 )0(00)+100 (00 )1(11)

Por eq!"#alen$"as % &a$tor $o'n entre las artes se !e*e *e$"r q!e la E+res"nRe-!lar *el a!t'ata es


5/15

0+1+(10 )+(01 )+0((10 )+1((10 )+(01 )+(01)))

4. /*ent"&"q!e los esta*os "st"n-!"bles % los o *"st"n-!"bles

M"n"'"a$"n *el !t'ata !t"l"an*o el 'to*o *e $on!ntos

Conjuntos Inciales:

x q3 , q5

, q8

Esta*os &"nales

y q0 , q1 , q2 , q4 , q6 ,

q7

Esta*os no &"nales

= {0, 1}

5. /*ent"&"q!e los esta*os eq!"#alentes (ara ello '!estre $'o e#ala esaseq!"#alen$"as, $olo$an*o a los esta*os $an*"*atos *e eq!"#alen$"a $o'oesta*os "n"$"ales). E#"*en$"e el ro$eso *e $'o los e#ala.

on!nto + 0 1

q3

% %

q5

% %

q8

% %

on!nto % 0 1

q0

% %

q1

% +

q2

+ %

q4

% %

q6

% +


6/15

q7

+ %

Nuevos conjuntos:

x q3 , q5

, q8

y q0 , q4

z q1 , q6

w q2 , q7

on!nto + 0 1

q3

8

q5

8

q8

8

on!nto % 0 1

q0

8

q4

8

on!nto 0 1

q1

% +

q6

% +

on!nto 8 0 1q2

+ %

q7

+ %

Nuevos conjuntos:

x q3 , q5


7/15

, q8

y q0

z q1 , q6

w q2 , q7

n q4

on!nto + 0 1

q3

8

q5

8

q8

8

on!nto % 0 1

q0

8

on!nto 0 1

q1

n +

q6 n +

on!nto 8 0 1

q2

+ n

q7

+ n

on!nto n 0 1

q4

8

6. En el ro$eso *e el"'"na$"n *e esta*os, "*ent"&"q!e q!e trans"$"ones seel"'"nan % $!les se re *"re$$"onan. M!estre la tabla *e esta*os*"st"n-!"bles

9e $rea n!e#a'ente !na tabla *e trans"$"n *el a!t'ata &"nal '"n"'"a*o

: 0 1


8/15

y

8

#x 8 z n +

w + n

n 8

7. El a!t'ata n!e#o '"n"'"a*o e+resarlo o -ra&"$arlos en !n *"a-ra'a *e'oore

;. Real"$e la *es$r"$"n (nota$"n) ($ara$ter"a$"n) 'ate't"$a *el a!t'ata%a '"n"'"a*o

9ol!$"n

M = (:, , , s,


9/15

$o'b"na$"n *e !no o #ar"os >0? o >1?. bao $"ertas $on*"$"ones (ro"e*a*es) q!e

res!ltan $o'leas (ER), or eso es q!e se re*!$e o '"n"'"a el a!t'ata.

Cadenas validas11

00111010

0101

000000

Cadenas no validas10

101

00101

00011

01001

10./*ent"&"q!e la ER *el a!t'ata %a '"n"'"a*o % en !na tabla *e #al"*a$"n

(!e*e ser *e E+$el), #er"&"q!e !na $a*ena #l"*a % !na no #l"*a. Den-a en$!enta la erarq!a *e oera*ores. (a!t'ata %a '"n"'"a*o)

(0011(0110)(1100)B(1001))(0011(0110)(1100)B(1001))B


10/15

11. F 13. (!t'ata '"n"'"a*o) /*ent"&"q!e s! -ra't"$a (*e &or'a 'an!al)or la *ere$Ga % $ara$ter$ela.. ebe "n$l!"r el *"a-ra'a *e esta*os $on los$o'onentes *e la -ra't"$a aso$"a*os a las #ar"ables % a las $onstantes.

Aas -ra't"$as son 'e$an"s'os -enera*ores *e len-!aes, es *e$"r nos "n*"$an

$'o o*e'os obtener o $onstr!"r alabras *e !n *eter'"na*o len-!ae.

Hna -ra't"$a "n*een*"ente *el $onte+to (I/) es !na $!*r!la I=(, , 9, P),

*on*e

es !na $ole$$"n &"n"ta (no #a$a) *e s'bolos no ter'"nales.

es !n al&abeto.

9 es !n no ter'"nal lla'a*o s'bolo "n"$"al.

P !n $on!nto *e ro*!$$"ones tal q!e P ()B.

Aos len-!aes -enera*os or !na I/ son lla'a*os Aen-!aes /n*een*"entes

*el onte+to (A/). Es os"ble robar q!e la -ra't"$a "n*een*"ente *el $onte+to

*a*a or 9 J a9bCK

Para #er"&"$ar q!e t"o *e -ra't"$a es en el s"'!la*or L


11/15

En la n!e#a #entana *a'os $l"$ en 'ostrar to*as las ro*!$$"ones q!e q!e*an

(9Go8 ll), E+orta'os la -ra't"$a en !na n!e#a #entana (o$"n E+ort).

l ee$!tar nos "n*"$a la "'a-en q!e es !na -ra't"$a re-!lar % !na -ra't"$a

l"bre *e $onte+to al"nea*o or *ere$Ga.


12/15

14.on !na $a*ena #l"*a, -enere !n rbol *e *er"#a$"n ara la -ra't"$aor la *ere$Ga % *e'!estre % !st"&"q!e s" la $a*ena % rbol -enera*o!e*e ser a'b"-!a o no

/n-resa'os 111010 Pres"ona'os S!" % l!e-o S$ ara #er to*o el rbol.Da'b"n o*e'os obser#ar la tabla *e *er"#a$"n


13/15

El rbol o -ra't"$a o es a'b"-!a, %a q!e no e+"sten *os rboles *e *er"#a$"n

*"st"ntos ara !na '"s'a $a*ena o alabra. >Definicin 17: Una GLC G es

ambigua si existen dos rboles de derivacin distintos para G que generan una

misma cadena L(G).

Aa -ra't"$a *el rbol no es a'b"-!a se trata *e !na -ra't"$a !n"#o$a o n"$a

%a q!e es !na -ra't"$a l"bre *e $onte+to q!e t"ene aso$"a*o !n solo rbol *e

*er"#a$"n ara to*a $a*ena *el len-!ae.


14/15

C%NC&'SI%NS

Ira$"as al resente trabao se lo-r aren*er % aro"ar $on$etos *e lo q!e son

los a!t'atas % los len-!aes &or'ales. *e's ta'b"n se aren*" q!e !na

'q!"na *e D!r"n- es !n *"sos"t"#o q!e 'an"!la s'bolos sobre !na t"ra *e $"nta

*e a$!er*o a !na tabla *e re-las. esar *e s! s"'l"$"*a*, !na 'q!"na *e

D!r"n- !e*e ser a*ata*a ara s"'!lar la l-"$a *e $!alq!"er al-or"t'o *e

$o'!ta*or % es art"$!lar'ente t"l en la e+l"$a$"n *e las &!n$"ones *e !na

PH *entro *e !n $o'!ta*or.


15/15

(I(&I%G"!)*!

GttNN888.#eoG.$o'N8at$GN#6160;3236DGn5OLn

GttsNN888.%o!t!be.$o'N8at$G#=eQH&PL@0S&eat!re=%o!t!.be

GttsNN888.%o!t!be.$o'N8at$G#=3TQ*OUA8VW GttsNN888.%o!t!be.$o'N8at$G#=9-XHY-#XT

GttsNN888.%o!t!be.$o'N8at$G#=sQVA+@1+&$

GttsNN888.%o!t!be.$o'N8at$G#=/48/0'8WFo8

GttsNN888.%o!t!be.$o'N8at$G#=V'X

ACTIVIDAD COLABORATIVA PARA EL MOMENTO No.docx

Documents

Transcript of ACTIVIDAD COLABORATIVA PARA EL MOMENTO No.docx