Diapositiva 1

Autmata finitoConsiste en un dispositivo que puede estar en cualquiera de un nmero finitos de estado uno de los cuales es el estado inicial y por lo menos uno es el estado de aceptacin. A este dispositivo esta unido un flujo de entrada por medio del cual lleva una secuencia de los smbolos de un alfabeto determinado.AUTMATAS DETERMINISTAS DE ESTADOS FINITOS

O AFMquina de estado finitoEs una 5 tupla.

Q,, (Sigma)qoQ,A Q (Delta)Mquina de estado finitoEs una 5 tupla.

Q: Es un conjunto finito (cuyos elementos se consideran como estados).: Sigma es un alfabeto finito de smbolos de entradaqoQ: Es el estado InicialA Q: Es el conjunto de estados de aceptacin: Funcin de TransicinDiagrama de transiciones de estados y transiciones entre estadosPara presentar un programa en el mecanismo de control utilizamos un diagrama de transiciones cuyos estados representan los estados de la mquina y cuyos arcos representan un posible transicin de la mquina.Diagrama de transiciones de estados y transiciones entre estadosPara presentar un programa en el mecanismo de control utilizamos un diagrama de transiciones cuyos estados representan los estados de la mquina y cuyos arcos representan un posible transicin de la mquina.Un diagrama AFD aceptar si y solo s, si su estado inicial es tambin un estado de aceptacinTablas de TransicionesEs una tabla que muestra qu estado (o estados en el caso de un Autmata finito no determinista) se mover la mquina de estados, basndose en el estado actual y otras entradas.Una tabla de estados es esencialmente una tabla de verdad en la cual algunas de las entradas son el estado actual, y la salida incluyen en el siguiente estado, junto con otra salidaTabla de Transiciones de estadosDiagrama de estadosEntrada Estado10S1s1s2s2s2s1S1S2Ejemplo: Cadenas que terminan con 1001010000111011000001011011100001111011ENTRADASESTADOSEjemplo automata finito0100011011