Tarea

2
Informática Teórica

Christopher Gilbert & Abdel Sandoval
Octubre 12, 2016


Pregunta 1
1.a

Q1 X -------------- -------------- -------------- -------------- --------------
Q2 X -------------- -------------- -------------- --------------
Q3 X X -------------- -------------- --------------
Q4 X X X X -------------- --------------
Q5 X X X X --------------
Q6 x x X x
Q0 Q1 Q2 Q3 Q4 Q5


A B
Q0,Q1 Q3, Q6 Q5, Q3!
Q0,Q2 Q3, Q6 Q5, Q4
Q0,Q3 Q3, Q6 Q5, Q6!
Q0,Q6 Q3,Q1 Q5,Q6!
Q1,Q2 Q6,Q6 Q3,Q4!
Q1,Q3 Q6,Q6 Q3,Q6
Q1,Q6 Q6,Q1 Q3,Q6
Q2,Q3 Q6,Q6 Q4,Q6!
Q2,Q6 Q6,Q1 Q4,Q6
Q3,Q6 Q6,Q1 Q6,Q6
Q4,Q5 Q0,Q2 Q5,Q4

Tras hacer un repaso, los estados no marcados que producen estado equivalentes se
mantienen de la misma forma.
Q0 = Q2
Q1 = Q3 = Q6
Q4 = Q5

El AFD mínimo Es
A B
Q0 Q1 Q4
Q1 Q1 Q1
Q4 Q1 Q4

1.b
Q1 B -----
Q4 Ab B
Q0 Q1

1.c

AFD resultante de 1.a

AFD normalizado

Matamos q1

Matamos q0

Matamos q4

Expresión regular resultante: b(ab)*b*

1.d
Cualquier palabra que comience y termine en b y no tenga 2 a seguidas en ella.

Pregunta 2
Si L es regular, entonces tiene un afd el cual debe contener en él al menos una transición
con b para que sea aplicable a este ejercicio. Luego podemos decir que L’ es regular
debido a que existe un AFND+ε que lo representa, y este es uno que desde un estado
inicial, mediante transiciones épsilon lleva a distintas versiones del autómata del lenguaje
L a las cuales se les ha cambiado una transición b diferente a cada una por una épsilon. Los
loops de b han sido dejados tal cual puesto que estos no modifican el lenguaje que nos
interesa. Entre las versiones también se encuentra el AFD original en caso de que este
tenga algún loop de B en él.

Pregunta 3
3.a
{anbm : |n-m| ≤ 42}

Sean ai y aj con i = j+1 , asi bk con k =42+i tenemos que dicha bk distingue ambas
palabras.

Puesto que |i-k| = | i - 42 - i| = |-42|= 42 por lo que aibk ∈ L
Mientras que |j – k| = |j - 42 - i | = |j - 42 - j -1| = |-42 -1| = |-43| > 42 por lo que ajbk ∉ L

Ergo, las clases [a], [aa], [aaa], [aaaa]… [an] son dinstintas, puesto que existe bh que las
distingue(con h cualquier número natural).

∴ El índice ≈L es infinito ⇒ L no es regular


3.b
{xcx : x ∈ {a,b}*}

Dada “ayc” ∧ “aayc” con “y” ∈ {a,b}* tal que x1 = ay , x2 = aay ; la palabra “ay” distingue a
ambas.

x1cx1 ∈ L pero x2cx2 ∉ L

Ergo, las clases [ay], [aay], [aaay], … (tambien se incluyen las que comienzas con “b”) son
distinta

∴ El indice ≈L es infinito ⇒ L no es regular




3.c
{xcy : x,y ∈ {a,b}*}

Creando el automata

tenemos que el lenguaje es regular


3.d
{anbm : n es par , o n>m}

Teniendo el complemento
{anbm : n es impar y n<m}

Teniendo a ∧ aaa una palabara que los distingue es bb puesto que
abb ∈ L ∧ aaabb ∉ L

Ergo, las clases [a][a3][a5]…[a2n+1] con n = 0, 1, … ∞ son distintas
∴ El indice ≈Lc es infinito ⇒ Lc no es regular y por clausura, L tampoco es regular



3.e

Si tomamos la red del metro de Santiago, podemos apreciar que es interpretable como un
AFND si se toma en cuenta las instrucciones de esta pregunta. Con esto, si tomamos un
estado inicial con transiciones de las iniciales de cada estación a un segundo estado, y
luego desde este segundo estado tener una transición a todos los estados que
representan las estaciones del plano de red metro con su respectiva inicial.
Nt: ¿Por qué un segundo estado? Por viaje en metro entendemos el moverse de una
estación a otra, por lo que el lenguaje acepta palabras de largo al menos 2.



Pregunta 4
4.a
El AFND+ε queda como un árbol lineal (raíz->hijo1->hijo2->hijo3->…->hijon) que tiene un
loop en la raíz y n arcos, por lo que la cantidad de vértices está dada por arcos+1, lo que es
igual a n+1. A continuación un AFD+ε de valor n.

4.b
Si tenemos dos palabras (a+b)*a y (a+b)*b y el elemento n desde el final hacia delante
debe ser a, entonces podemos diferenciar ambas palabras con y, donde y pertenece al
conjunto Σn-1, en otras palabras, el conjunto de todas las posibles combinaciones con a y b
que tengan n-1 elementos, y esto es 2n-1 estados de diferenciación.

Sentimos que por esta vía va la demostración, pero la verdad no fuimos capaces de dar el
paso siguiente para llegar a 2n.



Pregunta 5
5.a
Si L es regular, entonces tiene expresión regular, por lo que podemos analizarla para saber
si L acepta alguna palabra de largo par bajo las siguientes condiciones.
• Si la ER tiene alguna estrella de Kleene de largo impar, es decir, que tengamos un
w* tal que |w| = 2n+1 para algún n perteneciente a los naturales, entonces la ER
acepta palabras de largo par. Esto debido a que no importa si lo que está fuera de
la estrella de Kleene es de largo par o impar, en el primer caso si repetimos la
estrella de Kleene una cantidad par de veces entonces la palabra será de largo par,
caso contrario debemos repetir la estrella de Kleene una cantidad impar de veces y
esta tendrá largo par.
• Si la ER tiene estrella de kleene de largo impar (w* / |w| = 2n para algún n
perteneciente a los naturales) nos enfocaremos en lo demás, si alguna
combinación de la ER con todas las estrellas de kleene en 0 que sea de largo par,
vale decir que genere un x tal que |x| = 2n para algún n perteneciente a los
naturales, entonces el lenguaje acepta alguna palabra de largo par.
• Si la ER no tiene estrella de kleene en alguna parte, si existe alguna combinación
que genere una palabra de largo par, vale decir un y tal que |y| = 2n para algún n
perteneciente a los naturales, entonces acepta alguna palabra de largo par.

Nt: por todas las posibles combinaciones hacemos referencia a, por ejemplo una ER de
forma a(a*+b+ ε) a la lista aa*, ab, aε.

5.b
Siguiendo la línea anterior, si nos fijamos en la ER esta estará sujeta a ciertas condiciones
para que todas las palabreas sean de largo par.
• Si tiene alguna estrella de Kleene, esta debe ser de largo par.
• Todas las posibles combinaciones que no incluyan a la estrella de Kleene, deben
ser de largo par.
En cualquier otro caso el lenguaje acepta palabras de largo impar.

5.c
Ya que L es regular, existe al menos un AFD que reconoce L, ahora referente a si este AFD
tiene una cantidad par de estados esto ocurre para todos los lenguajes regulares, ya que si
minimizamos cualquier AFD de L, este podrá tener una cantidad par o impar de estados.
En caso de tener una cantidad par de estados entonces esto es demostrado, en caso de
tener una cantidad impar de estado, es posible agregar un estado equivalente a otro para
que este sea par (ya que un AFD es un grafo, sabemos que existen algoritmos para saber
cuantos nodos tiene).

Nt: El enunciado dice “un AFD”, por lo que asumimos que podía ser cualquier AFD fuera o
no mínimo.