AUTMATAS FINITOS

Figura 2: Cinta de Entrada de AF Definicin: Un autmata finito es una estructura algebraica A =

donde:

Q : Conjunto finito de estados. : Alfabeto finito de entrada. : Funcin de transicin : Qx : Estado inicial! Q

P(Q

F : Conjunto de estados finales F

Definicin de Configuracin "i A = es un AF! entonces (#!$ !$ !# F Qx es una configuracin de A.

Configuracin inicial: ( Configuracin final : (#! Definicin:

"i (#!a =#% entonces (#!a$

(#%!$ es un mo&imiento de A.

Un mo&imiento de A es re'resentado 'or la relacin binaria: sobre configuraciones ( mo&imiento transiti&o de )ec)o reflexi&o transiti&o de

Una cadena $

es ace'tada 'or un AF*+! A si (

!$

(#!

'ara alg,n #

F.

Un lenguaje ace'tado 'or A es denotado 'or -(A . es definido como: -(A =/ $0$ Ejemp o!: (2 +ise3e un AF 'ara reconocer ex'resiones aritm4ticas de longitud arbitraria #ue com'renden enteros 'ositi&os se'arados 'or los signos de suma! resta! multi'licacin o di&isin. !( !$ (#! ! # F1

Figura ": AF de ex'resiones aritm4ticas Q = /5!21 =/5!2!6!7!8!9!:!;!<!=!(!>!? !:1 = /51 F = /21 (5!2(6;:7>6 (2!(6;:7>6 (5!6;:7>6 (2!;:7>6 Ace'ta 'or#ue est@ en configuracin final. (6 A = Q = /5!2!6!71 =/a!b1 F = /71 =5 (2!:7>6 (5!7>6 (2!>6 (5!6 (2!

Figura #: Autmata del ejem'lo (6

AUTMATAS FINITOS DETE$MIN%STICOS

Definicin: A es determinAstico si (#!a no tiene m@s de un elemento # Q . a "i (#!a tiene siem're exactamente un elemento A esta com'letamente es'ecificado. Teorema : "i - = -(A 'ara un AF*+! A = AF+! A%. "e define un AF+ A% = como sigue: entonces - = -(A% 'ara un .

Q%=P(Q ( =B F% = /D %(B C Q0 D F 1 (Eodos los estados #ue contienen alg,n estado final !...! C ssi (/ !...! 1!a = / !...! 1

!...! C!a = B

F sea % a'licado a un elemento #% re'resentado 'or #% = B Al a'licar a cada !...! !...! !...! C.

Q se calcula a'licando a cada estado de Q%

. tomando la unin! se obtienen nue&os conjuntos de estados !...! C Q% . ese elemento es el

. Este nue&o conjunto tiene un re'resentante B !...! C!a .

&alor de %(B

Ejemp o: Eomando el AF*+ anterior Q = /5!2!6!71 =/a!b1 F = /71 =5

Q% = /B5C!B2C!B6C!B7C!B52C!B56C!B57C!B26C!B27C!B67C!B526C!B527C!B567C!B267C!B5267C1 % = B5C F% = /B7C!B57C!B27C!B67C!B527C!B567C!B267C!B5267C1 a B5C B2C B6C B7C B52C B56C B57C B26C B27C B67C B526C B527C B567C B267C B52C B27C B6C > B527C B526C B52C B267C B27C B6C B527C B526C B267C b B56C B2C B67C > B526C B567C B56C B267C B2C B67C B526C B567C B267C

B5267C B5267C

B5267C B5267C B5267C

Figura &: Autmata Finito +eterminAstico

Geem'laHando:

'or 'or 'or 'or 'or 'or . 'or

Figura ': AF+ luego de efectuar los reem'laHos

Ejemp o : (i ( !aababaa Ace'ta. (ii ( !bba ( !ba ( !a ( ! Gec)aHa ( !ababaa ( !babaa ( !abaa ( !baa ( !aa ( !a ( !

Ejemp o: AF+: *,meros binarios di&isibles 'or 8.

Figura (: AF*+ del ejem'lo de n,meros binarios di&isibles 'or 8

Q=/5!2!61 =5 =/5!21 F=/61 Por ejem'lo: 255=8 2555=< 2255=26 25555=2: 25255=65 22555=68! etc. Q%=/B5C!B2C!B6C!B52C!B56C!B26C!B526C1 F%=/B6C!B56C!B26C!B526C1 %=B5C

Figura ): AF+ del ejem'lo de n,meros binarios di&isibles 'or 8

E*ui+a encia en,re AFD - AFND.

Iemos definido la e#ui&alencia 'ara los AF+. Extenderemos esta definicin 'ara la clase de todos los autmatas finitos (AF+ . AF*+ de forma #ue un autmata J es e#ui&alente a un autmata JK si -(J = -(JK . La #ue una funcin es un caso es'ecial de relacin (es decir! las funciones son relaciones #ue 'oseen re#uerimientos adicionales ! las funciones de los AF+ se consideran como relaciones en los AF*+. En consecuencia! todo AF+ es un AF*+. -a coleccin d lenguajes ace'tados 'or los AF*+ inclu.e a todos los lenguajes ace'tados 'or los AF+. +e esto resulta #ue los AF*+ solo ace'tan lenguajes ace'tados 'or los AF+. Por lo tanto! los AF*+ no son m@s 'otentes #ue los AF+ con res'ecto a los lenguajes #ue ace'tan. Para 'robar esto! necesitamos demostrar #ue todo lenguaje ace'tado 'or un AF*+ tambi4n es ace'tado 'or alg,n AF+. "ean J=(Q!!"!F! un AF*+. En el tema anterior 'resentamos una forma de recorrer J! de la cual se obtenAa la coleccin de todos los estados accesibles desde el estado inicial en cada una de las eta'as de an@lisis de una cadena. Estas t4cnicas 'ro'orcionan la base 'ara construir un AF+ JK=(QK!K!"K!FK!K #ue ace'te el mismo lenguaje #ue J. Esencialmente! lo #ue se 'retende es )acer #ue cada estado QK se corres'onda con un conjunto de estados Q. Cuando se analiHa una cadena con J! esta se ace'ta cuando la coleccin finadle estados contiene al menos un estado de ace'tacin 'erteneciente a F. 'or tanto! )aremos #ue FK sea el conjunto de estados de QK #ue se corres'ondan con los conjuntos de estados (de Q #ue contienen un estado de F. )aremos corres'onder a "K con el conjunto /"1.K= . definiremos de forma #ue nos des'lacemos de un conjunto de estados de J a otro! como se )ace .

A)ora demostraremos formalmente #ue todo lenguaje ace'tado 'or un AF*+ es tambi4n ace'tado 'or un AF+! con lo #ue 'robaremos #ue los lenguajes AF*+ . los lenguajes AF+ est@n formados 'or la misma coleccin de lenguajes. Eeorema 2.> "ea J=(Q!!"!F! un AF*+. Entonces existe un AF+ JK= (QK!K!"K!FK!K #ue es e#ui&alente a J. +emostracin: +efinamos JK=(QK!K!"K!FK!K como sigue: sea "K=/"1! K=! QK=6Q (#ue es la coleccin de todos los subconjuntos de Q . FK la coleccin de todos los conjuntos de QK #ue contienen estados de F. Para cada conjunto (# i2!#i6!#in de QK . cada sAmbolo de entrada de ! definiremos a como: (/#i2! #i6! M!#2n1! =/'2!'6!M'N (/#i2!#i6!M!#in1! = /'2!'6!M!'N1 Fbs4r&ese #ue ! definida de esta forma! es una funcin QKxK en QK! 'uesto #ue esta bien definida 'ara todos los elementos de QKxK. Para 'robar #ue -(J = -(JK ! debemos demostrar #ue 'ara toda la cadena $! ("K!$ =/'2!'6!M!'j1 si . solo si ("!$ =/'2!'6!M!'j1 con lo cual JK ace'ta $ si . solo si J ace'ta $. Probaremos esto 'or induccin sobre la longitud de $. "i la longitud de $ es 5 (es decir $= ! entonces: ("!$ = ("! = /"1 = ("K!$ A)ora su'ongamos #ue 'ara toda cadena $ de longitud menor o igual #ue m se tiene #ue ("!$ =("K!$ . "u'ongamos #ue u es una cadena de longitud m(2. Entonces! existir@ alg,n ! de forma #ue se obtiene #ue u=$ ! donde $ es una cadena de longitud m. En este caso! ("K$ = (("K!$ ! . A)ora! 'or la )i'tesis de induccin! dado #ue $ tiene longitud m! ("K!$ = /'2!'6!M!'j1 si . solo si (s!$ =/'2!'6!M!'j1.Pero 'or la forma en la #ue )emos definido ! tendremos #ue: (/'2!'6!M!'j1! = /r2!r6!M!rN1 si . solo si (/'2!'6!M!'j1! = /r2!r6!M!rN1 Por lo #ue ("K!$ = /r2!r6!M!rN1 si . solo si ("!$ = /r2!r6!M!rN1. Es decir! la igualdad se cum'le 'ara cadenas de longitud m(2 si se cum'le 'ara cadenas de longitud m. Entonces 'or lo anterior tenemos #ue ("K!$ es un estado de FK si . solo si ("!$ contiene alg,n estado de F. Por tanto JK ace'ta $ si . solo si J ace'ta $.

/ropiedade! de o! enguaje! acep,ado! por un au,ma,a fini,o.

Para un alfabeto se 'ueden construir los AF*+ (. los AF+ #ue ace'ten 'alabras unitarias. Para ello se 'uede construir! incluso un AF*+ #ue ace'te el lenguaje &acAo . "u'ongamos #ue J2= (Q2!2!"2!F2!2 . J6=(Q6!6!"6!F6!6 son AF*+. Podemos unir J2 . J6 en un nue&o AF*+ #ue ace'te -(J2 -(J6 ! a3adiendo un nue&o estado inicial " . dos >transiciones! .na de s a si . otra de " a s6. -a construccion formal de este nue&o AF*+ J=(Q!!"!F! &iene dado 'or =26! F=F2F6 . Q=Q2Q6/"1! donde " es el nue&o estado inicial . se define de forma #ue se inclu.an todas las transiciones de 2!6 . las dos nue&as >transiciones de s a s2 . s6. Con&iene considerar las relaciones de transicin 2 . 6 como colecciones de ternas ordenadas de Q2xxQ2 . Q6xxQ6! donde (#!!' significa #ue existe una transicin de # a ' mediante el car@cter <es decir! 'i (#! . Usando esta notacin se 'uede definir: =26/(s!!s2 !(s!!s6 1 Eeorema.> El conjunto de lenguajes ace'tados 'or un autmata finito sobre el alfabeto contiene . los lenguajes unitarios /a1 'ara todo a . Este conjunto es cerrado con res'ecto a la unin! concatenacin . la cerradura de estrella. +ada una ex'resin regular r 'ara construir un AF*+ (con >transiciones en todos los lados exce'to 'ara ex'resiones regulares tri&iales ! 'odemos a'licar las t4cnicas 'recedentes a los t4rminos de las ex'resiones regulares. Por tanto! todo lenguaje regular es ace'tado 'or un autmata finito. -o reci'roco tambi4n es cierto! como &eremos en el Lema de Arden. Es decir! todo lenguaje ace'tado 'or un autmata finito es tambi4n un lenguaje regular. Por lo tanto! el conjunto de los lenguajes regulares es el mismo #ue el conjunto de lenguajes ace'tados 'or un autmata finito. Consideremos el autmata finito J=(Q!!"! . su'ongamos #ue s=#5 es el estado inicial. Para todo estado #i sea: Ai=/$O P (#2!$ F1 Es decir! Ai es el conjunto de las cadenas sobre #ue)acer #ue J 'ase desde #i )asta un estado de ace'tacin. "e dice #ue Ai = . "i #iF! entonces se tiene #ue Ai. Lema de Arden: Una ecuacin de la forma Q=AQD! donde A! tiene una solucin ,nica Q=AOD.

Demostracin: Fbs4r&ese #ue AOD=(A( D=A(DD=A(AOD D. 'or tanto! AOD esta contenida en toda solucin. "u'ongamos #ue Q=AODC es una solucin! donde CAOD=. "i resustitu.e la ex'resin anterior en la ecuacin Q=AQD! se obtiene AODC= A(AODC D = A(DACD = A(DDAC = (A( DAC = AODAC Teorema de Kleene: Un lenguaje es regular si . solo si es ace'tado 'or un autmata finito.