Ejemplo de demostracin de que cierto o lenguaje es el lenguaje aceptado por un AFND.

Sea el siguiente autmata nito no determinista M: o

c a b b

q0

q1

q2

Sea L = {x {a, b, c} /x es de la forma a(ba)k bcm , con k 0, m > 0}. Demostraremos que L(M ) = L. Para ello, primero demostraremos que L L(M ) y luego que L(M ) L. Previamente, denimos los siguientes lenguajes auxiliares: - Lq0 = {x {a, b, c} /q0 (q0 , x)} - Lq1 = {x {a, b, c} /q1 (q0 , x)} - Lq2 = {x {a, b, c} /q2 (q0 , x)} Es decir, cada lenguaje contiene las tiras que llegan al estado correspondiente. Puede observarse que L(M ) es la unin de los lenguajes correspono dientes a estados nales. Denimos las siguientes propiedades sobre una tira x {a, b, c} : 1

- P0) x es de la forma (ab)k , con k 0 - P1) x es de la forma a(ba)k , con k 0 - P2) x es de la forma a(ba)k bcm , con k 0, m 0 Demostramos primero que L(M ) L. Esto es equivalente a demostrar que si w L(M ), entonces w L, para cualquier tira w. Para ello, demostraremos por induccin completa en la cantidad de pasos o que lleva reconocer w (denotada (w)), las siguientes propiedades: 1. Si w Lq0 w cumple P0 2. Si w Lq1 w cumple P1 3. Si w Lq2 w cumple P2 Las tres inducciones deben hacerse al mismo tiempo dado que, como se ver, la demostracin de la tesis inductiva en alguna de ellas utiliza la hiptea o o sis inductiva de otra. Paso Base: consideramos las tiras ms cortas que llegan a cada estado: a - PB0) w Lq0 y (w) = 0 (por def de M) w = w = (ab)0 w cumple P0 - PB1) w Lq1 y (w) = 1 (por def de M) w = a w = a(ba)0 w cumple P1 - PB2) w Lq2 y (w) = 2 (por def de M) w = ab w = a(ba)0 bc0 w cumple P3 Hiptesis Inductivas: suponemos que, dado un cierto h, para toda tira o w tal que w se reconoce en h pasos o menos, se cumple: - HI0) si w Lq0 w cumple P0 - HI1) si w Lq1 w cumple P1 - HI2) si w Lq2 w cumple P2 Tesis Inductivas: si las hiptesis inductivas son vlidas, para toda tira o a w tal que w se reconoce en h + 1 pasos se cumple: 2

- TI0) si w Lq0 w cumple P0 - TI1) si w Lq1 w cumple P1 - TI2) si w Lq2 w cumple P2 Demostracin o TI0) Si w Lq0 entonces, por denicin de , w = w b, con w Lq1 . o Como (w ) = h, por la hiptesis inductiva HI1, w = w b con w = o a(ba)k , con k 0. Entonces, w es de la forma a(ba)k b = (ab)k+1 , y por lo tanto w cumple P0. TI1) Si w Lq1 entonces, por denicin de , w = w a, con w Lq0 . o Como (w ) = h, por la hiptesis inductiva HI0, w = w a con w = o k (ab) , con k 0. Entonces, w es de la forma (ab)k a = a(ba)k , y por lo tanto w cumple P1. TI2) Si w Lq2 , por la la denicin de , w puede tener dos formas o - w = w b, con w Lq1 . Como (w ) = h, por la hiptesis inductiva o k HI1, w = w b con w = a(ba) , con k 0. Entonces, w es de la forma a(ba)k bc0 = (ab)k+1 c0 , y por lo tanto w cumple P2. - w = w c, con w Lq2 . Como (w ) = h, por la hiptesis inductiva o k m HI2, w = w c con w = a(ba) bc , con k 0 y m 0. Entonces, w es de la forma a(ba)k bcm c = (ab)k+1 cm+1 , y por lo tanto w cumple P2. Entonces, por el principio de induccin completa, se cumplen las propieo dades P1, P2 y P3 para toda tira w del alfabeto. En particular, la propiedad P3 es lo que se quer demostrar. a Resta demostrar el rec proco de la propiedad anterior, es decir que si una tira pertenece a L, entonces es reconocida por el autmata. o Demostraremos por induccin completa en el largo de la tira w, las sio guientes propiedades: 1. Si w cumple P0 w Lq0 2. Si w cumple P1 w Lq1 3. Si w cumple P2 w Lq2 3

Como puede verse, las propiedades que se demuestran aqu son las rec procas de las demostradas en el paso anterior. Las tres inducciones deben hacerse al mismo tiempo dado que, como se ver, la demostracin de la tesis inductiva en alguna de ellas utiliza la hiptea o o sis inductiva de otra. Paso Base: consideramos las tiras ms cortas cumplen cada una de las a propiedades: - PB0) w cumple P0 y |w| = 0 w = (por def de M) w Lq0 - PB1) w cumple P1 y |w| = 1 w = a (por def de M) w Lq1 - PB2) w cumple P2 y |w| = 2 w = ab (por def de M) w Lq2 Hiptesis Inductivas: suponemos que, dado un cierto h, para toda tira o w/|w| h se cumple: - HI0) si w cumple P0 w Lq0 - HI1) si w cumple P1 w Lq1 - HI2) si w cumple P2 w Lq2 Tesis Inductivas: si las hiptesis inductivas son vlidas, para toda tira o a w/|w| = h + 1 se cumple: - TI0) si w cumple P0 w Lq0 - TI1) si w cumple P1 w Lq1 - TI2) si w cumple P2 w Lq2 Demostracin o TI0) Si w cumple P0 entonces w es de la forma (ab)k = w b, con w = a(ba)k1 . Como |w | = h, por la hiptesis inductiva HI1, w = w b, o con w Lq1 , y por la denicin de w Lq0 . o TI1) Si w cumple P1 entonces w es de la forma a(ba)k = w a, con w = (ab)k . Como |w | = h, por la hiptesis inductiva HI0, w = w a, o con w Lq0 , y por la denicin de w Lq1 . o 4

TI2) Si w cumple P2, w = a(ba)k bcm , con k 0, m 0. - Si m = 0, w = a(ba)k b y entonces w = w b con w = a(ba)k . Como |w | = h, por la hiptesis inductiva HI1, w = w b con w Lq1 , y o por la denicin de , w Lq2 o - Si m > 0, w = a(ba)k bcm y entonces w = w c con w = a(ba)k bcm1 . Como |w | = h, por la hiptesis inductiva HI2, w = w c con o w Lq2 , y por la denicin de , w Lq2 o Entonces, por el principio de induccin completa, se cumplen las propieo dades P1, P2 y P3 para toda tira w del alfabeto. En particular, la propiedad P3 es lo que se quer demostrar. a