Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Autmatas Mnimos
Encontrar el autmata mnimo.

Universidad de Cantabria

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Introduccin

Dado un lenguaje regular sabemos encontrar un autmata nito. Pero, hay autmatas ms sencillos que aceptan el mismo lenguaje? Que signica que un autmata sea ms sencillo? Los autmatas minimos son aquellos que tienen el mnimo nmero de estados.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Introduccin

Dado un lenguaje regular sabemos encontrar un autmata nito. Pero, hay autmatas ms sencillos que aceptan el mismo lenguaje? Que signica que un autmata sea ms sencillo? Los autmatas minimos son aquellos que tienen el mnimo nmero de estados.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Introduccin

Dado un lenguaje regular sabemos encontrar un autmata nito. Pero, hay autmatas ms sencillos que aceptan el mismo lenguaje? Que signica que un autmata sea ms sencillo? Los autmatas minimos son aquellos que tienen el mnimo nmero de estados.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Introduccin

Nos restringiremos a autmatas deterministas. Queremos tener un procedimiento que, dado un autmata determinista, se retorne un autmata mnimo. Para resolver esta situacin se utiliza un proceso de minimizacin de los autmatas que pasaremos a describir a continuacin.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Minimizacin de Autmatas Deterministas

Denicin Sea A := (Q, , q0 , F , ) un autmata. Dos estados p, q Q se dicen equivalentes si se verica que z : (p, z) (p , ) (q, z) (q , ) = (p F ) (q F ).

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Minimizacin de Autmatas Deterministas

En otras palabras, dos estados son equivalentes si para cualquier palabra el efecto de la computacin que generan es el mismo (en trminos de alcanzar o no un estado nal aceptador).

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Minimizacin de Autmatas Deterministas

Denotaremos por p A q en el caso de que p y q sean equivalentes. Para cada estado q Q, denotaremos por [q]A la clase de equivalencia denida por q y denotaremos por Q/ A al conjunto cociente. Deniremos autmata minimal al autmata que tiene el menor nmero de estados y que acepta un lenguaje.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Minimizacin de Autmatas Deterministas

Esta relacin es equivalente a la relacin de equivalencia dada por los prejos. En el caso anterior trabajamos con las palabras del lenguaje, lo que quiere decir que es un invariante del lenguaje.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Resultado Principal

Teorema Sea L un lenguaje aceptado por un autmata determinista A. Entonces, existe un autmata mnimo que lo acepta. Dicho autmata (Q, , Q0 , F , ) viene dado por las propiedades siguientes: Q := Q/ A , F := {[q]A : q F }. q0 := [q0 ]A . ([q]A , z) := [(q, a)].

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Nota

Este autmata se llama cociente, por la relacin de equivalente, ya que agrupa estados equivalentes y solo se preocupa de sus transiciones. Para denir las transiciones van de la clase de equivalencia a otra clase de equivalencia y viene dada por las transiciones de cualquiera de sus miembros.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Ejemplo
Sea el siguiente automata A = ({q0 , q1 , q2 , q3 }, {0, 1}, q0 , q0 , q1 , ), donde la funcin de transicin es: q0 q1 q2 q3 a q1 q0 q3 q3 b q3 q2 q2 q3

Si supieramos que {q0 , q1 } y {q2 , q3 } son equivalentes entonces podemos hallar un nuevo autmata que solo tiene dos estados.
Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Ejemplo

Pueden ser q0 , q2 equivalentes?, sabiendo que {q0 , q1 } son equivalentes se podia deducir que {q2 , q3 } son equivalentes?

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo

El problema es que el clculo de las clases de equivalencia no puede hacerse de manera simple (porque habramos de vericar todas las palabras z ).

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo

Sea A := (Q, , q0 , F , ) un autmata. Vamos a denir diferentes relaciones, cada una ms tosca que la siguiente que nos permita hallar las clases de equivalencia.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo
La relacin E0 : Dados p, q Q, diremos que pE0 q (p y q estn relacionados al nivel 0) si se verica: p F q F. Es claramente una relacin de equivalencia. El conjunto cociente est formado por dos clases: Q/E0 := {F , Q \ F }. Denamos e0 := (Q/E0 ) = 2.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo
La relacin E1 : Dados p, q Q, diremos que pE1 q (p y q estn relacionados al nivel 1) si se verica: pE0 q, pE1 q (p, z)E0 (q, z), z {} Es, de nuevo, una relacin de equivalencia. El conjunto cociente ya no es tan obvio, y denimos: e1 := (Q/E1 ) .

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo
La relacin En : Para n 2, denimos la relacin del modo siguiente: Dados p, q Q, diremos que pEn q (p y q estn relacionados al nivel n) si se verica: pEn1 q, pEn q (p, z)En1 (q, z), z {} Es, de nuevo, una relacin de equivalencia. El conjunto cociente ya no es tan obvio, y denimos: en := (Q/En ) .

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo

Esto separa cada vez ms estados y muestra cuales pueden ser equivalentes y cuales no. En algn momento estas relaciones nos daran los mismos conjuntos. Queremos ver si cuando da los mismos conjuntos tenemos el autmata deseado.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

El Algoritmo

Lo que esta claro es que la relacin de equivalencia En es ms dbil que pedir que dos estados sean equivalentes, pero si n es lo sucientemente grande, se tiene que son la misma relacin de equivalencia.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Teorema

Teorema Sea A := (Q, , q0 , F , ) un autmata sin transiciones y sean p, q dos estados. Entonces, tomando n = (Q) 2, se tendr que p A q pEn q.

Autmatas Finitos

Introduccin Minimizacin de Autmatas Deterministas Resultados Algoritmo

Resumen del algoritmo

Hallar el conjunto cociente (Q/E0 ) y su cardinal e0 . (Siguiendo los Ei s) Mientras el conjunto cociente nuevo sea alterado con respecto al anterior, hallar el conjunto cociente siguiente. Parar cuando el cardinal del nuevo conjunto cociente coincida con el ltimo calculado.

Autmatas Finitos