Valor p-ádico en el Teorema de Monsky

Arvey Sebastián Velandia Rodriguez

Universidad Industrial de Santander

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Definición:
Formalmente un Automata Finito Deterministico (AFD) es una
P
quintupla: (Q, , δ, q0 , F ) donde
* Q es el conjunto finito de estados.
* sum es el alfabeto de entrada.
* q0 ∈ Q y es el estado inicial.
* F ∈ Q es el conjunto de estados finales
P
* δ es la función de transición que va de Qx a Q.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Teorema de Myhill Mercode
Las tres afirmaciones siguientes son equivalentes:
P∗
* El conjunto L ∈ es aceptado por un AF.
* L es la unión de algunas clases de equivalencia de una relación de
equivalencia invariante por la derecha, de indice finito.
* Sea RL la relación de equivalencia definida por x RLy si y solo si
∀z ∈ ∗ , xz ∈ L
P

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 El teorema de Myhill-Nerode tiene, entre otras consecuencias, la
implicación de que existe esencialmente un único AFD con mínimo
número de estados, por cada conjunto regular

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Teorema:
El AFD de mínimo número de estados de entre todos los AFDs que
acepta un mismo lenguaje regular es único, salvo isomorfismos
Demostración
En la demostración del teorema Myhill-Nerode se vio que todo
P
AFD, M = (Q, , δ, q0 , F ) que acepta L, define una relación de
equivalencia que es un refinamiento de RL . Por lo tanto, el número
de estados de M es mayor o igual al número de estados de M’
construido,a partir de las clases de equivalencia de RL . Si tienen el
mismo número de estados, cada estado de M se puede identificar
con un estado de M’.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Ya que el teorema de Myhill-Nerode permite afirmar que hay un
único AFD con número mínimo de estados, lo que se plantea a
continuación es comó obtener un método practico que permita
calcularlo.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Algoritmo de Minimización
el Algoritmo de minimización consiste en cinco pasos, aunque estos
aveces deben repetirse.
1 Partición inicial.
2 Partición de nuevos conjuntos.
3 Verificar la nueva partición.
4 Eliminar los estados que se encuentren en el mismo grupo.
5 Remover estados no alcanzables desde el estado inicial.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Escrito de otra forma
Sea ≡ la relación de equivalencia en los estados de M tal que p ≡ q
si y sólo si ∀ string x ∈ , δ(p, x ) ∈ F si y sólo si δ(q, x ) ∈ F .
P

Si p ≡ q se dice que p es equivalente a q y en caso contrario se

dice que p es distinguible de q.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 En el siguiente autómata, veremos como se usa el Algoritmo de
Minimización
sea
a b
q0 q1 q2
q1 q3 q3
q2 q3 q3
q3 q1 q1

un Autómata Finito Deterministico

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander
Valor p-ádico en el Teorema de Monsky
 Guiandonos un poco por la tabla se puede observar que el estado
inicial es q0 y el estado final o de aceptación es el estado q3
Primer paso
Se separan los estados en estados finales y no finales.
estados finales
{q3 }
estados no finales
{q0 , q1 , q2 }
Segundo paso:
Todos los estados tienen transiciones buscando cuales son similares
para eliminarse

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Pasos tercero y cuarto : las transiciones de q0 a q1 y de ahí a q3
son similares salvo por su primer estado con q0 a q2 y de ahí a q3
por ende podemos hacerle una modificación al estado de q1 de tal
manera que podamos eliminar q2
Mediante la tabla podemos ver el cambio

a b
q0 q1 q1
q1 q3 q3
q3 q1 q1

Ahora el autómata que se tiene no tiene estado sumidero y todos

los estados son alcanzables a partir del estado inicial q0 . El
autómata ha sido minimizado.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander
Valor p-ádico en el Teorema de Monsky
 Teorema:
El AFD construido por el algoritmo anterior, con estados
inaccesibles removidos, es el AFD con mínimo número de estados
para ese lenguaje.
Demostración:
P
Sean M = (Q, , δ, q0 , F ) el AFD al que se le aplica el algoritmo y
M 0 = (Q, , δ 0 , [q0 ], F 0 ) el AFD construido. Esto es,
P

* Q 0 = {[q]/q es accesible q0 }
* F 0 = {[q]/q ∈ F }
* δ 0 ([q], a) = [δ(q, a)]

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Es fácil ver que δ 0 está definida en forma consistente, ya que si
q ≡ p, entonces δ(q, a) ≡ δ(p, a). Esto es, si δ(q, a) se distingue
de δ(p, a) por el string x , entonces ax distingue q de p.
Es también fácil mostrar que

δ 0 ([q0], w ) = [δ(q0, w )]

por inducción en |w |. Por lo tanto

L(M) = L(M 0 )

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Se debe ahora mostrar que M 0 no tiene más estados que el índice
de RL , en que L = L(M). Supóngase que tuviera más estados,
entonces habría dos estados accesibles, q y p ∈ Q, tales que
[q] 6= [p]; pero también hay x e y tales que

δ(q0 , x ) = q ∧ δ(q0 , y ) = p
P∗
con x RLy . Entonces debe ser p ≡ q porque si no, algún w ∈
distingue p de q.
Pero entonces xw RLyw es falso pues si z =  exactamente uno de
xwz ∧ ywz ∈ L
Pero RL es invariante por la derecha, así que xw RLyw es verdadero.
Por lo tanto, q y p no existen y M’ no tiene más estados que el
índice de RL . Es decir, M’ es el AFD mínimo para L.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky
 Bibliografia
* Aho, Alfred V Sethi ,Ravi Ulman, Jeffrey D.:
Compilers:Principles, Techniques and Tools, Addison Wesley. 1979.
* Di Mare. Herramientas de curso Autómatas y Compiladores:
http://www.dimare.com/pub/AyC/
*http://ciencias.uis.edu.co/lenguajes/doc/Campos.pdf
* Thomas A. Sudkamp, Languages and machines:An Introduction
to the Theory of Computer Science , Pearson, 2005.

Arvey Sebastián Velandia Rodriguez Universidad Industrial de Santander

Valor p-ádico en el Teorema de Monsky