SlideShare una empresa de Scribd logo
1 de 5
REPÚBLICA BOLIVARIANA DE VENEZUELA
UNIVERSIDAD PEDAGÓGICA EXPERIMENTAL LIBERTADOR
       INSTITUTO PEDAGÓGICO BARQUISIMETO
        Dr. “LUÍS BELTRÁN PRIETO FIGUEROA”




              Barquisimeto, Julio de 2012
Circuitos Combinacionales

       Su salida depende solamente de la combinación presente de valores de las entradas, es decir, a
una misma combinación de entrada responden siempre con la misma salida. Tienen muchas limitantes
debido a que no son capaces de reconocer el orden en que se van presentando las combinaciones de
entradas con respecto al tiempo, es decir, no pueden reconocer una secuencia de combinaciones, ya que
no poseen una manera de almacenar información pasada, es decir no poseen memoria.

Circuito Secuencial:

        Es un circuito cuya salida depende no solo de la combinación de entrada, sino también de la
historia de lasentradas anteriores. El circuito secuencial debe ser capaz de mantener su estado durante
algún tiempo, para ello se hace necesario el uso de dispositivos de memoria.

        Un circuito Secuencial puede entenderse simplemente como un circuito combinacional en el
cual las salidas dependen tanto de las entradas como de las salidas en instantes anteriores, esto implica
una realimentación de las salidas como se muestra en el diagrama de la siguiente figura:


       Un sistema secuencial dispone de elementos de memoria cuyo contenido puede cambiar a lo
largo del tiempo. El estado de un circuito secuencial viene dado por el contenido de sus elementos de
memoria.
        Es frecuente que en los sistemas secuenciales exista una señal que inicia los elementos de
memoria con un valor determinado: señal de inicio (reset).
La señal de inicio determina el estado del sistema en el momento del arranque (normalmente pone toda
la memoria a cero).
La salida en un instante concreto viene dada por la entrada y por el estado anterior del sistema.

        Los dispositivos de memoria utilizados en circuitos secuenciales pueden ser tan sencillos como
un simple retardador (circuitos de tipo monoestables capaces de generar un retardo de tiempo mediante
una señal) o tan complejos como un circuito completo de memoria denominado multivibrador biestable
o Flip Flop (que funcionan también como unidades de memoria por tener dos estados estables –alto y
bajo-). Son dispositivos que almacena el valor de la entrada en un instante determinado por una señal
externa y lo mantiene hasta que dicha señal ordene el almacenamiento de un nuevo valor.

       Como puede verse entonces, en los circuitos secuenciales entra un factor que no se había
considerado en los combinacionales, dicho factor es el tiempo. (Puede montarse un circuito donde una
señal sea dada por un límite de tiempo en específico en minutos o segundos). De hecho, los circuitos
secuenciales se clasifican de acuerdo a la manera como manejan el tiempo en:

                Circuitos secuenciales síncronos y circuitossecuenciales asíncronos.

        En un circuito secuencial asíncrono: los cambios de estado ocurren al ritmo natural marcado por
los retardos asociados a las compuertas lógicas utilizadas en su implementación, sin necesidad de
ninguna señal externa al sistema. Es decir, estos circuitos no usan elementos especiales de memoria,
pues se sirven de los retardos propios (tiempos de propagación) de las compuertas lógicas usados en
ellos. Esta manera de operar puede ocasionar algunos problemas de funcionamiento, ya que estos
retardosnaturales no están bajo el control del diseñador y además no son idénticos en cada compuerta
lógica.
        Los circuitos secuenciales síncronos: La sincronización depende exclusivamente de una señal
externa al sistema, conocida generalmente como señal de reloj. Esta señal de reloj controlará el
comportamiento de los elementos de memoria.

      Con esto se pueden evitar los problemas que tienen los circuitos asíncronos originados por
cambios de estado no uniformes en todo el circuito.


                                     Maquina de Estado Finitos

Una máquina de estados se denomina máquina de estados finitos (FSM por finitestate machine) si el
conjunto de estados de la máquina es finito, este es el único tipo de máquinas de estados que podemos
modelar en un computador en la actualidad; debido a esto se suelen utilizar los términos máquina de
estados y máquina de estados finitos de forma intercambiable. Sin embargo un ejemplo de una máquina
de estados infinitos sería un computador cuántico esto es debido a que los Qubit que utilizaría este tipo
de computadores toma valores continuos, en contraposición los bits toman valores discretos (0 ó 1).

La representación de una máquina de estados se realiza mediante un Diagrama de estados


Semántica
        Los nodos representan los posibles estados de aquello que se desea modelar. Las
etiquetasrepresentan eventos que provocan un cambio. Las aristas determinan de qué manera
cadaestado, dado un evento, deriva en otro estado.

Ejemplo
       Supongamos que se quiere modelar el comportamiento de una puerta. La puerta,inicialmente
cerrada, puede pasar a estar abierta tras el evento “abrir puerta”. Una vezabierta, puede pasar al estado
cerrado, tras el evento “cerrar puerta”.

                                        abrir puerta



               cerrada                                             abierta



                                    Cerrar puerta
Ejercicio Nº 1

Sean I= {a,b};O= {0,1} y S={σ0 ,σ1}.se definen f y g en la tabla siguiente:


                               f                              g

       SI               a           b                a           b

σ0                            σ0σ1                        0           1

σ1                            σ1σ1                        1           0


Entonces: M=(I,O,S,f,g,σ) es una maquina de estado finito.

Diagrama de transición: es un grafo dirigido donde los vértices son estados. El estado inicial se indica
con una flecha.

                        a/0                                                    a/1

b/1

                   σ0                                                     σ1



b/0



                                         Autómatas de Estado Finito

        Un Autómata Finito, también llamado Autómata de Estado Finito, es toda Máquina de Estado
Finito en la que el conjunto de símbolos de salida es exclusivamente O= { 0, 1 } y dónde el estado
actual determina cuál fue el último dato de salida. Aquellos estados para los cuales el último dato de
salida fue 1, se denominan estados de aceptación. En todo Autómata Finito, representado como A, debe
haber cuando menos un estado de aceptación y por sentido común se recomienda que no todos lo sean.
En forma gráfica se muestra la forma como se identifican los dos tipos de estado que se pueden
presentar en este Autómata. La? significa que no importa cuál es el símbolo en la entrada.
Funcionamiento

        En el comienzo del proceso de reconocimiento de una cadena de entrada, el autómata finito se
encuentra en el estado inicial y a medida que procesa cada símbolo de la cadena va cambiando de
estado de acuerdo a lo determinado por la función de transición. Cuando se ha procesado el último de
los símbolos de la cadena de entrada, el autómata se detiene en el estado final del proceso. Si el estado
final en el que se detuvo es un estado de aceptación.

Los autómatas finitos se pueden representar mediante grafos particulares, también llamados diagramas
de estados finitos, de la siguiente manera:

      Los estados se representan como vértices, etiquetados con su nombre en el interior.

      Una transición desde un estado a otro, dependiente de un símbolo del alfabeto, se representa
       mediante una arista dirigida que une a estos vértices, y que está etiquetada con dicho símbolo.

      El estado inicial se caracteriza por tener una arista que llega a él, proveniente de ningún otro
       vértice.

      El o los estados finales se representan mediante vértices que están encerrados a su vez por otra
       circunferencia.

Ejemplo

Diseñe en cada caso un autómata de estado finito tal que sobre el conjunto de {a,b}

   a) Acepte aquellas cadenas que contienen un numero de par de aes y un número impar de bs



                       b                            a


                                                                                        b

                               A                                             B

Cadenas de entrada                                      a

aba

aa b

aa b b a a b

Más contenido relacionado

La actualidad más candente

Máquinas de estado finito
Máquinas de estado finitoMáquinas de estado finito
Máquinas de estado finitoFabiola Dubraska
 
automatas finitos
 automatas finitos automatas finitos
automatas finitosAnel Sosa
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuencialesjuan130591
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuencialesrgomez12
 
Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informeJhojan Mendoza
 
Apuntes circuitos secuenciales
Apuntes circuitos secuencialesApuntes circuitos secuenciales
Apuntes circuitos secuencialeskgconchis
 
Detector de secuencia no solapada 1011 empleando PLA
Detector de secuencia no solapada 1011 empleando PLADetector de secuencia no solapada 1011 empleando PLA
Detector de secuencia no solapada 1011 empleando PLAMarc Tena Gil
 
Diferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuencialesDiferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuencialesWilfred Garcia Diomeda
 
Apuntes automatas
Apuntes automatasApuntes automatas
Apuntes automatasasdfa11789
 
54599266 ejercicios-flip-flops
54599266 ejercicios-flip-flops54599266 ejercicios-flip-flops
54599266 ejercicios-flip-flopsSENA-CIMI-GIRON
 
Como diseñar empleando PLC, neumática y electroneumática
Como diseñar empleando PLC, neumática y electroneumática Como diseñar empleando PLC, neumática y electroneumática
Como diseñar empleando PLC, neumática y electroneumática SANTIAGO PABLO ALBERTO
 
14531428 secuenciales-asincronos
14531428 secuenciales-asincronos14531428 secuenciales-asincronos
14531428 secuenciales-asincronosAzariel Haiayel
 
Disparo de los Flip Flop
Disparo de los Flip FlopDisparo de los Flip Flop
Disparo de los Flip FlopCesia Rebeca
 
Unidad1 sd2
Unidad1 sd2Unidad1 sd2
Unidad1 sd2haibsel
 

La actualidad más candente (19)

Máquinas de estado finito
Máquinas de estado finitoMáquinas de estado finito
Máquinas de estado finito
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informe
 
Automatas de estado finito
Automatas de estado finitoAutomatas de estado finito
Automatas de estado finito
 
Apuntes circuitos secuenciales
Apuntes circuitos secuencialesApuntes circuitos secuenciales
Apuntes circuitos secuenciales
 
Práctica 5
Práctica 5Práctica 5
Práctica 5
 
Conversion
ConversionConversion
Conversion
 
Detector de secuencia no solapada 1011 empleando PLA
Detector de secuencia no solapada 1011 empleando PLADetector de secuencia no solapada 1011 empleando PLA
Detector de secuencia no solapada 1011 empleando PLA
 
Diferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuencialesDiferencias entre circuitos combinacionales y secuenciales
Diferencias entre circuitos combinacionales y secuenciales
 
Apuntes automatas
Apuntes automatasApuntes automatas
Apuntes automatas
 
54599266 ejercicios-flip-flops
54599266 ejercicios-flip-flops54599266 ejercicios-flip-flops
54599266 ejercicios-flip-flops
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Como diseñar empleando PLC, neumática y electroneumática
Como diseñar empleando PLC, neumática y electroneumática Como diseñar empleando PLC, neumática y electroneumática
Como diseñar empleando PLC, neumática y electroneumática
 
14531428 secuenciales-asincronos
14531428 secuenciales-asincronos14531428 secuenciales-asincronos
14531428 secuenciales-asincronos
 
Disparo de los Flip Flop
Disparo de los Flip FlopDisparo de los Flip Flop
Disparo de los Flip Flop
 
Logica secuencial
Logica secuencialLogica secuencial
Logica secuencial
 
Unidad1 sd2
Unidad1 sd2Unidad1 sd2
Unidad1 sd2
 

Destacado (20)

Presentación visual spiral personal
Presentación visual spiral personalPresentación visual spiral personal
Presentación visual spiral personal
 
Videoconferencia, p.s.m puerto ordaz
Videoconferencia, p.s.m puerto ordazVideoconferencia, p.s.m puerto ordaz
Videoconferencia, p.s.m puerto ordaz
 
Presentación2
Presentación2Presentación2
Presentación2
 
Investigacion de mercados
Investigacion de mercadosInvestigacion de mercados
Investigacion de mercados
 
Trabajo computacion!!
Trabajo computacion!!Trabajo computacion!!
Trabajo computacion!!
 
Cristobal e3 1
Cristobal e3 1Cristobal e3 1
Cristobal e3 1
 
Presentación1 movie holics
Presentación1 movie holicsPresentación1 movie holics
Presentación1 movie holics
 
El Precio del Dinero
El Precio del DineroEl Precio del Dinero
El Precio del Dinero
 
Sonido
SonidoSonido
Sonido
 
Color william
Color williamColor william
Color william
 
Practica3word
Practica3wordPractica3word
Practica3word
 
Que es la web 2.0
Que es la web 2.0Que es la web 2.0
Que es la web 2.0
 
Web 2.0
Web 2.0Web 2.0
Web 2.0
 
48 el cofre encantado [cr]
48 el cofre encantado [cr]48 el cofre encantado [cr]
48 el cofre encantado [cr]
 
Actividad 1 word
Actividad 1 wordActividad 1 word
Actividad 1 word
 
Objetivos de los sistemas de información
Objetivos de los sistemas de informaciónObjetivos de los sistemas de información
Objetivos de los sistemas de información
 
Web 2.0
Web 2.0Web 2.0
Web 2.0
 
Cómo dar clase a los que no quieren sap104
Cómo dar clase a los que no quieren  sap104Cómo dar clase a los que no quieren  sap104
Cómo dar clase a los que no quieren sap104
 
Arte final
Arte finalArte final
Arte final
 
El nogal
El nogalEl nogal
El nogal
 

Similar a Circuitos secuenciales y máquinas de estado finitos

Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informeJhojan Mendoza
 
Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informeJhojan Mendoza
 
Electrónica digital: Tema 7 Sistemas secuenciales síncronos
Electrónica digital: Tema 7 Sistemas secuenciales síncronosElectrónica digital: Tema 7 Sistemas secuenciales síncronos
Electrónica digital: Tema 7 Sistemas secuenciales síncronosSANTIAGO PABLO ALBERTO
 
Contador asíncrono binario
Contador asíncrono binarioContador asíncrono binario
Contador asíncrono binarioIsrael Chandy
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxSANTOS400018
 
006. diseño de circuitos neumaticos metodo secuenciador
006. diseño de circuitos neumaticos metodo secuenciador006. diseño de circuitos neumaticos metodo secuenciador
006. diseño de circuitos neumaticos metodo secuenciadorguelo
 
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdf
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdfSistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdf
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdfFranciscoASalgadoD
 
Circuito secuencial sincronico sd ii
Circuito secuencial sincronico sd iiCircuito secuencial sincronico sd ii
Circuito secuencial sincronico sd iiVelmuz Buzz
 
Maquinas de estado
Maquinas de estadoMaquinas de estado
Maquinas de estado_05mauricio
 
006 Electroneumática y Neumática: Método secuenciador
006 Electroneumática y Neumática: Método secuenciador006 Electroneumática y Neumática: Método secuenciador
006 Electroneumática y Neumática: Método secuenciadorSANTIAGO PABLO ALBERTO
 
6 mef
6 mef6 mef
6 mefneghy
 

Similar a Circuitos secuenciales y máquinas de estado finitos (20)

Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informe
 
Matematica discreta informe
Matematica discreta informeMatematica discreta informe
Matematica discreta informe
 
Tema4 lógica secuencial
Tema4 lógica secuencialTema4 lógica secuencial
Tema4 lógica secuencial
 
Circuito secuencial
Circuito secuencialCircuito secuencial
Circuito secuencial
 
Exposicion matematica
Exposicion matematicaExposicion matematica
Exposicion matematica
 
Electrónica digital: Tema 7 Sistemas secuenciales síncronos
Electrónica digital: Tema 7 Sistemas secuenciales síncronosElectrónica digital: Tema 7 Sistemas secuenciales síncronos
Electrónica digital: Tema 7 Sistemas secuenciales síncronos
 
Expo flip flop
Expo flip flopExpo flip flop
Expo flip flop
 
Circuitos
CircuitosCircuitos
Circuitos
 
Dig2 i
Dig2 iDig2 i
Dig2 i
 
Contador asíncrono binario
Contador asíncrono binarioContador asíncrono binario
Contador asíncrono binario
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
 
006. diseño de circuitos neumaticos metodo secuenciador
006. diseño de circuitos neumaticos metodo secuenciador006. diseño de circuitos neumaticos metodo secuenciador
006. diseño de circuitos neumaticos metodo secuenciador
 
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdf
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdfSistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdf
Sistemas Digitales J. Huerta - 8 Circuitos Secuenciales (Análisis).pdf
 
Circuito secuencial sincronico sd ii
Circuito secuencial sincronico sd iiCircuito secuencial sincronico sd ii
Circuito secuencial sincronico sd ii
 
Modu saya 4
Modu saya 4Modu saya 4
Modu saya 4
 
Mod auto 4
Mod auto 4Mod auto 4
Mod auto 4
 
Maquinas de estado
Maquinas de estadoMaquinas de estado
Maquinas de estado
 
006 Electroneumática y Neumática: Método secuenciador
006 Electroneumática y Neumática: Método secuenciador006 Electroneumática y Neumática: Método secuenciador
006 Electroneumática y Neumática: Método secuenciador
 
6 mef
6 mef6 mef
6 mef
 
Compuertas Lógicas
Compuertas LógicasCompuertas Lógicas
Compuertas Lógicas
 

Más de Rosangela Perez

Más de Rosangela Perez (9)

Sistema Educativo Bolivariano
Sistema Educativo BolivarianoSistema Educativo Bolivariano
Sistema Educativo Bolivariano
 
Sistema Educativo Bolivariano
Sistema Educativo BolivarianoSistema Educativo Bolivariano
Sistema Educativo Bolivariano
 
Johana
JohanaJohana
Johana
 
Johana
JohanaJohana
Johana
 
Johana
JohanaJohana
Johana
 
Sistema de archivos
Sistema de archivosSistema de archivos
Sistema de archivos
 
Directorios
DirectoriosDirectorios
Directorios
 
Descriptor de archivos
Descriptor de archivosDescriptor de archivos
Descriptor de archivos
 
Presentación1 programacion2
Presentación1 programacion2Presentación1 programacion2
Presentación1 programacion2
 

Circuitos secuenciales y máquinas de estado finitos

  • 1. REPÚBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD PEDAGÓGICA EXPERIMENTAL LIBERTADOR INSTITUTO PEDAGÓGICO BARQUISIMETO Dr. “LUÍS BELTRÁN PRIETO FIGUEROA” Barquisimeto, Julio de 2012
  • 2. Circuitos Combinacionales Su salida depende solamente de la combinación presente de valores de las entradas, es decir, a una misma combinación de entrada responden siempre con la misma salida. Tienen muchas limitantes debido a que no son capaces de reconocer el orden en que se van presentando las combinaciones de entradas con respecto al tiempo, es decir, no pueden reconocer una secuencia de combinaciones, ya que no poseen una manera de almacenar información pasada, es decir no poseen memoria. Circuito Secuencial: Es un circuito cuya salida depende no solo de la combinación de entrada, sino también de la historia de lasentradas anteriores. El circuito secuencial debe ser capaz de mantener su estado durante algún tiempo, para ello se hace necesario el uso de dispositivos de memoria. Un circuito Secuencial puede entenderse simplemente como un circuito combinacional en el cual las salidas dependen tanto de las entradas como de las salidas en instantes anteriores, esto implica una realimentación de las salidas como se muestra en el diagrama de la siguiente figura: Un sistema secuencial dispone de elementos de memoria cuyo contenido puede cambiar a lo largo del tiempo. El estado de un circuito secuencial viene dado por el contenido de sus elementos de memoria. Es frecuente que en los sistemas secuenciales exista una señal que inicia los elementos de memoria con un valor determinado: señal de inicio (reset). La señal de inicio determina el estado del sistema en el momento del arranque (normalmente pone toda la memoria a cero). La salida en un instante concreto viene dada por la entrada y por el estado anterior del sistema. Los dispositivos de memoria utilizados en circuitos secuenciales pueden ser tan sencillos como un simple retardador (circuitos de tipo monoestables capaces de generar un retardo de tiempo mediante una señal) o tan complejos como un circuito completo de memoria denominado multivibrador biestable o Flip Flop (que funcionan también como unidades de memoria por tener dos estados estables –alto y bajo-). Son dispositivos que almacena el valor de la entrada en un instante determinado por una señal externa y lo mantiene hasta que dicha señal ordene el almacenamiento de un nuevo valor. Como puede verse entonces, en los circuitos secuenciales entra un factor que no se había considerado en los combinacionales, dicho factor es el tiempo. (Puede montarse un circuito donde una señal sea dada por un límite de tiempo en específico en minutos o segundos). De hecho, los circuitos secuenciales se clasifican de acuerdo a la manera como manejan el tiempo en: Circuitos secuenciales síncronos y circuitossecuenciales asíncronos. En un circuito secuencial asíncrono: los cambios de estado ocurren al ritmo natural marcado por los retardos asociados a las compuertas lógicas utilizadas en su implementación, sin necesidad de ninguna señal externa al sistema. Es decir, estos circuitos no usan elementos especiales de memoria, pues se sirven de los retardos propios (tiempos de propagación) de las compuertas lógicas usados en ellos. Esta manera de operar puede ocasionar algunos problemas de funcionamiento, ya que estos
  • 3. retardosnaturales no están bajo el control del diseñador y además no son idénticos en cada compuerta lógica. Los circuitos secuenciales síncronos: La sincronización depende exclusivamente de una señal externa al sistema, conocida generalmente como señal de reloj. Esta señal de reloj controlará el comportamiento de los elementos de memoria. Con esto se pueden evitar los problemas que tienen los circuitos asíncronos originados por cambios de estado no uniformes en todo el circuito. Maquina de Estado Finitos Una máquina de estados se denomina máquina de estados finitos (FSM por finitestate machine) si el conjunto de estados de la máquina es finito, este es el único tipo de máquinas de estados que podemos modelar en un computador en la actualidad; debido a esto se suelen utilizar los términos máquina de estados y máquina de estados finitos de forma intercambiable. Sin embargo un ejemplo de una máquina de estados infinitos sería un computador cuántico esto es debido a que los Qubit que utilizaría este tipo de computadores toma valores continuos, en contraposición los bits toman valores discretos (0 ó 1). La representación de una máquina de estados se realiza mediante un Diagrama de estados Semántica Los nodos representan los posibles estados de aquello que se desea modelar. Las etiquetasrepresentan eventos que provocan un cambio. Las aristas determinan de qué manera cadaestado, dado un evento, deriva en otro estado. Ejemplo Supongamos que se quiere modelar el comportamiento de una puerta. La puerta,inicialmente cerrada, puede pasar a estar abierta tras el evento “abrir puerta”. Una vezabierta, puede pasar al estado cerrado, tras el evento “cerrar puerta”. abrir puerta cerrada abierta Cerrar puerta
  • 4. Ejercicio Nº 1 Sean I= {a,b};O= {0,1} y S={σ0 ,σ1}.se definen f y g en la tabla siguiente: f g SI a b a b σ0 σ0σ1 0 1 σ1 σ1σ1 1 0 Entonces: M=(I,O,S,f,g,σ) es una maquina de estado finito. Diagrama de transición: es un grafo dirigido donde los vértices son estados. El estado inicial se indica con una flecha. a/0 a/1 b/1 σ0 σ1 b/0 Autómatas de Estado Finito Un Autómata Finito, también llamado Autómata de Estado Finito, es toda Máquina de Estado Finito en la que el conjunto de símbolos de salida es exclusivamente O= { 0, 1 } y dónde el estado actual determina cuál fue el último dato de salida. Aquellos estados para los cuales el último dato de salida fue 1, se denominan estados de aceptación. En todo Autómata Finito, representado como A, debe haber cuando menos un estado de aceptación y por sentido común se recomienda que no todos lo sean. En forma gráfica se muestra la forma como se identifican los dos tipos de estado que se pueden presentar en este Autómata. La? significa que no importa cuál es el símbolo en la entrada.
  • 5. Funcionamiento En el comienzo del proceso de reconocimiento de una cadena de entrada, el autómata finito se encuentra en el estado inicial y a medida que procesa cada símbolo de la cadena va cambiando de estado de acuerdo a lo determinado por la función de transición. Cuando se ha procesado el último de los símbolos de la cadena de entrada, el autómata se detiene en el estado final del proceso. Si el estado final en el que se detuvo es un estado de aceptación. Los autómatas finitos se pueden representar mediante grafos particulares, también llamados diagramas de estados finitos, de la siguiente manera:  Los estados se representan como vértices, etiquetados con su nombre en el interior.  Una transición desde un estado a otro, dependiente de un símbolo del alfabeto, se representa mediante una arista dirigida que une a estos vértices, y que está etiquetada con dicho símbolo.  El estado inicial se caracteriza por tener una arista que llega a él, proveniente de ningún otro vértice.  El o los estados finales se representan mediante vértices que están encerrados a su vez por otra circunferencia. Ejemplo Diseñe en cada caso un autómata de estado finito tal que sobre el conjunto de {a,b} a) Acepte aquellas cadenas que contienen un numero de par de aes y un número impar de bs b a b A B Cadenas de entrada a aba aa b aa b b a a b