3.4 - Minimización de estados en un AF

La minimización es un proceso que nos permite encontrar, para un dado autómata finito M, un autómata finito M’ con las siguientes propiedades:
 Si M y M’ comienzan por sus estados iniciales, producirán las mismas salidas para las mismas entradas.
 De ser posible M’ tendrá menos estados que M. Si esto no es posible, entonces M ya es un autómata mínimo

Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación, que representa la salida.