SlideShare a Scribd company logo
1 of 19
Lección 7
  DISEÑO DE SISTEMAS
SECUENCIALES SÍNCRONOS
   ELECTRÓNICA DIGITAL
    1er curso I.T. Telemática
  E.U.I.T. Informática de Gijón
ET                                          ST=f(ET,QT-ΔT)
                    CIRCUITO
                 COMBINACIONAL
   QT-ΔT                                  QT



                   MEMORIA

                                  Almacena el estado interno del sistema



            DISEÑO DE SISTEMAS SECUENCIALES:
1.- Identificar los distintos estados internos y las transiciones
entre ellos
2.- Diseñar el circuito combinacional para producir las transiciones
internas y las señales de salida deseadas
Máquina (autómata) de estados finitos

Modelo matemático que define el funcionamiento de un sistema
(máquina) secuencial síncrono


      Elementos de una máquina de estados finitos:

             E  entradas
             S  salidas
             Q  estados
             λ  funciones de salida
             δ  funciones de transición entre estados
Autómata de Moore

ET
               QT+ΔT             QT                ST
         δ              MEM               λ
QT


                 CLK

                                      la salida solo depende de las
                                      variables de estado
         ST = λ(QT)
         QT+ΔT = δ(ET, QT)

     LA SALIDA SÓLO CAMBIA EN LOS FLANCOS
         ACTIVOS DE LA SEÑAL DE RELOJ

     Función de salida más sencilla
Autómata de Mealy
ET
                                                     ST
                                            λ

               QT+ΔT            QT
 QT      δ             MEM
                                     la salida depende tanto de las
                                     variables de estado como de
                                     las señales de entrada
                 CLK
                                        ST = λ(ET, QT)
                                        QT+ΔT = δ(ET, QT)

 LA SALIDA PUEDE CAMBIAR EN EL INSTANTE EN
         QUE CAMBIEN LAS ENTRADAS,
  INDEPENDIENTEMENTE DE LA SEÑAL DE RELOJ

Menos estados; menos circuitos de memoria
Descripción de sistemas: diagramas de estado

  Cada estado se representa por un círculo
  Cada transición se representa por flechas entre los estados:
     Moore: la salida está definida únicamente por el estado
     Mealy: la salida está definida por el estado y las entradas



               E                                     E/S


     A/S1           B/S2                     A               B

Transición entre el estado A y el B   Transición entre el estado A y el B
   para un autómata de Moore             para un autómata de Mealy
Ejemplo: Análisis de un sistema secuencial (I)




                                  Función de salida:
E                   S
                                 S(t) = E(t) ⋅ Q1T ⋅ Q2T

               Q1   J1
                                   Funciones de transición:
               Q1   K1            J1T = ET + Q1T ⋅ Q2T
                                 K1T = ET
               Q2   J2           J2T = ET
               Q2   K2           K2T = Q2T



         CLK
Ejemplo: Análisis de un sistema secuencial (II)
Tabla de funcionamiento (tabla de verdad):


    E   Q1T   Q2T   J1   K1   J2   K2   Q1T+ΔT Q2T+ΔT   ST
    0    0    0     1    1    0    0      1      0      0
    0    0    1     1    1    0    1      1      0      0
    0    1    0     1    1    0    0      0      0      0
    0    1    1     1    1    0    1      0      0      0
    1    0    0     0    0    1    0      0      1      0
    1    0    1     1    0    1    1      1      0      0
    1    1    0     0    0    1    0      1      1      1
    1    1    1     0    0    1    1      1      0      0
Ejemplo: Análisis de un sistema secuencial (III)
Tabla de transiciones:




                         estado en el
                          instante T
                                          estado en el
                                        instante T+ΔT    /   salida
Ejemplo: Análisis de un sistema secuencial (IV)

Tabla de estados: “Bautizamos” cada combinación de
                   variables de estado




                                                 0/0
Diagrama de estados:             1/0     A
                                             0/0
                                       0/0              D
               estado
                             B                   1/0

               entrada
                                 X/0         C         1/1
                    salida
Diseño de un sistema secuencial

• Descripción del funcionamiento del sistema
• Tabla y diagrama de estados
• Minimización de estados
   • Moore: mismas salidas y mismo estado
   • Mealy: mismo estado
• Asignación de variables de estado
• Tabla de transiciones
• Tabla de excitación (tabla de verdad)
   • Moore: una para las variables de estado y otra para las
     salidas
   • Mealy: única
Diseño de un sistema secuencial: Ejemplo (I)
• Descripción del funcionamiento del sistema:

   Se tiene una confluencia de dos vías férreas con el mismo
   sentido de circulación. Cada vía está dotada de un
   dispositivo que detecta si hay un vehículo en ella ( A y B)
   y de un semáforo (LA y LB), ambos a cierta distancia del
   punto de unión.
   Cuando llega un vehículo a cualquiera de los detectores A
   o B debe activarse la luz de detención de la otra vía, LB o
   LA respectivamente, con el fin de detener a cualquier
   vehículo que llegue por esa vía hasta que el primero haya
   abandonado su detector.

                    A         LA
            Vía A




            Vía B
                    B         LB
Diseño de un sistema secuencial: Ejemplo (II)

• Diagrama y tabla de estados (Mealy)
    En la máquina de estados de Mealy, las salidas cambian cuando lo hacen
    las entradas

                                01/10
     00/00         10/01                        1: Ningún vehículo
                                                2: Llega vehículo por B
             1                  2               3: Llega vehículo por A
                                        11/01   4: Entró vehículo por A y llega por B
                   00/00
                                                5: Entró vehículo por B y llega por A
 01/10                          10/01
                 00/00

                    01/10               4
             3
    10/01
                 11/10
                            5       11/10


                         11/01
Diseño de un sistema secuencial: Ejemplo (III)

• Diagrama y tabla de estados (Moore)
   En la máquina de estados de Moore, las salidas sólo dependen de las
   variables de estado

                                 01
         00          10                      1: Ningún vehículo
                                             2: Llega vehículo por B
         1/00              2/10              3: Llega vehículo por A
                                        11
                     00                      4: Entró vehículo por A y llega por B
                                             5: Entró vehículo por B y llega por A
   01                           10
              00

                      01              4/10
         3/01

        10
                11        5/01        11


                           11
Diseño de un sistema secuencial: Ejemplo (IV)
• Minimización de estados
   Se pueden fusionar líneas de la tabla de estado que tengan los mismos
   números (estado) en las columnas y que tengan las mismas salidas (Moore)
   o distintas (Mealy)

   Por Moore podemos fusionar los estados 2/4 y el 3/5




    Por Mealy podemos fusionar los estados 1/2/4 y el 3/5

                                                         Asignamos la salida
                                                         correspondiente al
                                                         estado estable
Diseño de un sistema secuencial: Ejemplo (V)

• Asignación de variables de estado
   Codificamos cada estado con las variables de estado necesarias para
   asignar un código diferente a cada estado.


  Por Moore tenemos que diferenciar tres estados: necesitamos dos
  variables de estado.

                                       Podemos asignar valores de
                                       las variables de estado con
                                       cualquier criterio. Aquí
                                       hemos hecho coincidir estos
                                       valores con las salidas


   Por Mealy tenemos que diferenciar dos estados: necesitamos una
   variable de estado.
Diseño de un sistema secuencial: Ejemplo (VI)
• Tabla de transiciones:
     En la tabla de estados simplificada sustituimos cada estado por el valor
     de las variables de estado que le hemos asignado en la codificación

                            Moore




Valor de las
variables de
estado en el
instante T                  Mealy                      Valor de las variables
                                                       de estado en el
                                                       instante T+Δt para una
                                                       entrada determinada
Diseño de un sistema secuencial: Ejemplo (VII)
• Tabla de excitación (tabla de verdad)

   Por Moore tenemos dos tablas de verdad, una para las salidas en
   función exclusivamente de las variables de estado y otra para las
   variables de estado en función del estado anterior y de las entradas
Diseño de un sistema secuencial: Ejemplo (VIII)
• Tabla de excitación (tabla de verdad)

   Por Mealy tenemos una única tabla de verdad

More Related Content

What's hot

Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
juan130591
 
Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de Pila
Pablo Guerra
 
Circuitos secuenciales sincronos y asincronos
Circuitos secuenciales sincronos y asincronosCircuitos secuenciales sincronos y asincronos
Circuitos secuenciales sincronos y asincronos
Alexa Ramirez
 
Definición de compuertas logicas
Definición de compuertas logicasDefinición de compuertas logicas
Definición de compuertas logicas
lupicesa22
 
CIRCUITOS SECUENCIALES
CIRCUITOS SECUENCIALESCIRCUITOS SECUENCIALES
CIRCUITOS SECUENCIALES
Luis Zurita
 

What's hot (20)

Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Latches y flip flops
Latches y flip flopsLatches y flip flops
Latches y flip flops
 
Simulacion Digital - Variables de Estado - por: Jesus Jimenez
Simulacion Digital - Variables de Estado - por: Jesus JimenezSimulacion Digital - Variables de Estado - por: Jesus Jimenez
Simulacion Digital - Variables de Estado - por: Jesus Jimenez
 
Autómata de Pila
Autómata de Pila Autómata de Pila
Autómata de Pila
 
Semaforo
SemaforoSemaforo
Semaforo
 
Maquinas de estado finito
Maquinas de estado finitoMaquinas de estado finito
Maquinas de estado finito
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Automatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No DeterministicosAutomatas Finitos Deterministicos y No Deterministicos
Automatas Finitos Deterministicos y No Deterministicos
 
Máquinas de Estado
Máquinas de EstadoMáquinas de Estado
Máquinas de Estado
 
Contadores digitales
Contadores digitalesContadores digitales
Contadores digitales
 
Apuntes automatas
Apuntes automatasApuntes automatas
Apuntes automatas
 
Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de Pila
 
Redes de dos puertos
Redes de dos puertosRedes de dos puertos
Redes de dos puertos
 
Circuitos secuenciales sincronos y asincronos
Circuitos secuenciales sincronos y asincronosCircuitos secuenciales sincronos y asincronos
Circuitos secuenciales sincronos y asincronos
 
SISTEMAS LTI
SISTEMAS LTISISTEMAS LTI
SISTEMAS LTI
 
Definición de compuertas logicas
Definición de compuertas logicasDefinición de compuertas logicas
Definición de compuertas logicas
 
Los Flip Flops
Los Flip FlopsLos Flip Flops
Los Flip Flops
 
CIRCUITOS SECUENCIALES
CIRCUITOS SECUENCIALESCIRCUITOS SECUENCIALES
CIRCUITOS SECUENCIALES
 
Automatas de estado finito
Automatas de estado finitoAutomatas de estado finito
Automatas de estado finito
 
transformada z
transformada ztransformada z
transformada z
 

Viewers also liked

Viewers also liked (20)

Recorridos eulerianos
Recorridos eulerianosRecorridos eulerianos
Recorridos eulerianos
 
Grafos
GrafosGrafos
Grafos
 
Diapo teoria de grafos
Diapo teoria de grafosDiapo teoria de grafos
Diapo teoria de grafos
 
Árboles Binarios y Grafos
Árboles Binarios  y GrafosÁrboles Binarios  y Grafos
Árboles Binarios y Grafos
 
Máquinas de Estado Finito en VHDL
Máquinas de Estado Finito en VHDLMáquinas de Estado Finito en VHDL
Máquinas de Estado Finito en VHDL
 
Arboles y grafos
Arboles y grafosArboles y grafos
Arboles y grafos
 
[#1][Conjunto Potencia][Matemáticas Discretas]
[#1][Conjunto Potencia][Matemáticas Discretas][#1][Conjunto Potencia][Matemáticas Discretas]
[#1][Conjunto Potencia][Matemáticas Discretas]
 
Arboles binarios
Arboles binariosArboles binarios
Arboles binarios
 
Matemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de ConjuntosMatemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de Conjuntos
 
Teoria de grafos
Teoria de grafosTeoria de grafos
Teoria de grafos
 
Capitulo1 grafos
Capitulo1 grafosCapitulo1 grafos
Capitulo1 grafos
 
Do not let them die
Do not let them dieDo not let them die
Do not let them die
 
Parques de san martin
Parques de san martinParques de san martin
Parques de san martin
 
Tema ii integrales uney
Tema ii integrales uneyTema ii integrales uney
Tema ii integrales uney
 
WEBQUEST
WEBQUEST WEBQUEST
WEBQUEST
 
Varias máquinas
Varias máquinasVarias máquinas
Varias máquinas
 
Sintesis
SintesisSintesis
Sintesis
 
Trabajo informatica
Trabajo informaticaTrabajo informatica
Trabajo informatica
 
Lamariposa2
Lamariposa2Lamariposa2
Lamariposa2
 
Informatica forense
Informatica forenseInformatica forense
Informatica forense
 

Similar to Maquinas de estado Finito

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
SANTOS400018
 
Circuito secuencial sincronico sd ii
Circuito secuencial sincronico sd iiCircuito secuencial sincronico sd ii
Circuito secuencial sincronico sd ii
Velmuz Buzz
 
Unidad1 sd2
Unidad1 sd2Unidad1 sd2
Unidad1 sd2
haibsel
 
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
SANTIAGO PABLO ALBERTO
 
Aplicación de la transformada de la Laplace
Aplicación de la transformada de la LaplaceAplicación de la transformada de la Laplace
Aplicación de la transformada de la Laplace
kmjrl_unefa
 
Contador de 0 a 7 flip flop tipo D
Contador de 0 a 7 flip flop tipo DContador de 0 a 7 flip flop tipo D
Contador de 0 a 7 flip flop tipo D
Cristian Rodriguez
 

Similar to Maquinas de estado Finito (20)

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
 
14531428 secuenciales-asincronos
14531428 secuenciales-asincronos14531428 secuenciales-asincronos
14531428 secuenciales-asincronos
 
Td apunte8
Td apunte8Td apunte8
Td apunte8
 
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
 
Circuito secuencial sincronico sd ii
Circuito secuencial sincronico sd iiCircuito secuencial sincronico sd ii
Circuito secuencial sincronico sd ii
 
Unidad1 sd2
Unidad1 sd2Unidad1 sd2
Unidad1 sd2
 
Tema 5 de Electrónica digital: Circuitos secuenciales
Tema 5 de Electrónica digital: Circuitos secuenciales Tema 5 de Electrónica digital: Circuitos secuenciales
Tema 5 de Electrónica digital: Circuitos secuenciales
 
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
Electrónica digital: Síntesis de circuitos secuenciales síncronos: Maquinas d...
 
Circuitos
CircuitosCircuitos
Circuitos
 
Tema4 lógica secuencial
Tema4 lógica secuencialTema4 lógica secuencial
Tema4 lógica secuencial
 
Electrónica digital: Tema 6.circuitos secuenciales síncronos
Electrónica digital: Tema 6.circuitos secuenciales síncronosElectrónica digital: Tema 6.circuitos secuenciales síncronos
Electrónica digital: Tema 6.circuitos secuenciales síncronos
 
Aplicación de la transformada de la Laplace
Aplicación de la transformada de la LaplaceAplicación de la transformada de la Laplace
Aplicación de la transformada de la Laplace
 
Electrónica digital: Análisis de diseño de circuitos secuenciales
Electrónica digital: Análisis de diseño de circuitos secuenciales Electrónica digital: Análisis de diseño de circuitos secuenciales
Electrónica digital: Análisis de diseño de circuitos secuenciales
 
Matematica discreta
Matematica discreta Matematica discreta
Matematica discreta
 
S_S de tiempo continuo_V2020.pptx
S_S de tiempo continuo_V2020.pptxS_S de tiempo continuo_V2020.pptx
S_S de tiempo continuo_V2020.pptx
 
Contador de 0 a 7 flip flop tipo D
Contador de 0 a 7 flip flop tipo DContador de 0 a 7 flip flop tipo D
Contador de 0 a 7 flip flop tipo D
 
Compuertas Lógicas
Compuertas LógicasCompuertas Lógicas
Compuertas Lógicas
 
16182848-Clase4.ppt
16182848-Clase4.ppt16182848-Clase4.ppt
16182848-Clase4.ppt
 
texto educativo microelectronica capitulo 4.pdf
texto educativo microelectronica capitulo 4.pdftexto educativo microelectronica capitulo 4.pdf
texto educativo microelectronica capitulo 4.pdf
 
Taller 4 josue stanley lazo rivera
Taller 4 josue stanley lazo riveraTaller 4 josue stanley lazo rivera
Taller 4 josue stanley lazo rivera
 

More from Rosangela Perez

More from 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
 

Recently uploaded

TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
jlorentemartos
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
EliaHernndez7
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdf
patriciaines1993
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
amelia poma
 

Recently uploaded (20)

TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024Tema 10. Dinámica y funciones de la Atmosfera 2024
Tema 10. Dinámica y funciones de la Atmosfera 2024
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdf
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
PP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomasPP_Comunicacion en Salud: Objetivación de signos y síntomas
PP_Comunicacion en Salud: Objetivación de signos y síntomas
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
1ro Programación Anual D.P.C.C planificación anual del área para el desarroll...
 
Los dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la VerdadLos dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la Verdad
 
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICABIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
BIOMETANO SÍ, PERO NO ASÍ. LA NUEVA BURBUJA ENERGÉTICA
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
 
Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.pptFUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
FUERZA Y MOVIMIENTO ciencias cuarto basico.ppt
 
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACIONRESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
RESOLUCIÓN VICEMINISTERIAL 00048 - 2024 EVALUACION
 
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPCTRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
TRABAJO FINAL TOPOGRAFÍA COMPLETO DE LA UPC
 

Maquinas de estado Finito

  • 1. Lección 7 DISEÑO DE SISTEMAS SECUENCIALES SÍNCRONOS ELECTRÓNICA DIGITAL 1er curso I.T. Telemática E.U.I.T. Informática de Gijón
  • 2. ET ST=f(ET,QT-ΔT) CIRCUITO COMBINACIONAL QT-ΔT QT MEMORIA Almacena el estado interno del sistema DISEÑO DE SISTEMAS SECUENCIALES: 1.- Identificar los distintos estados internos y las transiciones entre ellos 2.- Diseñar el circuito combinacional para producir las transiciones internas y las señales de salida deseadas
  • 3. Máquina (autómata) de estados finitos Modelo matemático que define el funcionamiento de un sistema (máquina) secuencial síncrono Elementos de una máquina de estados finitos: E  entradas S  salidas Q  estados λ  funciones de salida δ  funciones de transición entre estados
  • 4. Autómata de Moore ET QT+ΔT QT ST δ MEM λ QT CLK la salida solo depende de las variables de estado ST = λ(QT) QT+ΔT = δ(ET, QT) LA SALIDA SÓLO CAMBIA EN LOS FLANCOS ACTIVOS DE LA SEÑAL DE RELOJ Función de salida más sencilla
  • 5. Autómata de Mealy ET ST λ QT+ΔT QT QT δ MEM la salida depende tanto de las variables de estado como de las señales de entrada CLK ST = λ(ET, QT) QT+ΔT = δ(ET, QT) LA SALIDA PUEDE CAMBIAR EN EL INSTANTE EN QUE CAMBIEN LAS ENTRADAS, INDEPENDIENTEMENTE DE LA SEÑAL DE RELOJ Menos estados; menos circuitos de memoria
  • 6. Descripción de sistemas: diagramas de estado Cada estado se representa por un círculo Cada transición se representa por flechas entre los estados: Moore: la salida está definida únicamente por el estado Mealy: la salida está definida por el estado y las entradas E E/S A/S1 B/S2 A B Transición entre el estado A y el B Transición entre el estado A y el B para un autómata de Moore para un autómata de Mealy
  • 7. Ejemplo: Análisis de un sistema secuencial (I) Función de salida: E S S(t) = E(t) ⋅ Q1T ⋅ Q2T Q1 J1 Funciones de transición: Q1 K1 J1T = ET + Q1T ⋅ Q2T K1T = ET Q2 J2 J2T = ET Q2 K2 K2T = Q2T CLK
  • 8. Ejemplo: Análisis de un sistema secuencial (II) Tabla de funcionamiento (tabla de verdad): E Q1T Q2T J1 K1 J2 K2 Q1T+ΔT Q2T+ΔT ST 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0
  • 9. Ejemplo: Análisis de un sistema secuencial (III) Tabla de transiciones: estado en el instante T estado en el instante T+ΔT / salida
  • 10. Ejemplo: Análisis de un sistema secuencial (IV) Tabla de estados: “Bautizamos” cada combinación de variables de estado 0/0 Diagrama de estados: 1/0 A 0/0 0/0 D estado B 1/0 entrada X/0 C 1/1 salida
  • 11. Diseño de un sistema secuencial • Descripción del funcionamiento del sistema • Tabla y diagrama de estados • Minimización de estados • Moore: mismas salidas y mismo estado • Mealy: mismo estado • Asignación de variables de estado • Tabla de transiciones • Tabla de excitación (tabla de verdad) • Moore: una para las variables de estado y otra para las salidas • Mealy: única
  • 12. Diseño de un sistema secuencial: Ejemplo (I) • Descripción del funcionamiento del sistema: Se tiene una confluencia de dos vías férreas con el mismo sentido de circulación. Cada vía está dotada de un dispositivo que detecta si hay un vehículo en ella ( A y B) y de un semáforo (LA y LB), ambos a cierta distancia del punto de unión. Cuando llega un vehículo a cualquiera de los detectores A o B debe activarse la luz de detención de la otra vía, LB o LA respectivamente, con el fin de detener a cualquier vehículo que llegue por esa vía hasta que el primero haya abandonado su detector. A LA Vía A Vía B B LB
  • 13. Diseño de un sistema secuencial: Ejemplo (II) • Diagrama y tabla de estados (Mealy) En la máquina de estados de Mealy, las salidas cambian cuando lo hacen las entradas 01/10 00/00 10/01 1: Ningún vehículo 2: Llega vehículo por B 1 2 3: Llega vehículo por A 11/01 4: Entró vehículo por A y llega por B 00/00 5: Entró vehículo por B y llega por A 01/10 10/01 00/00 01/10 4 3 10/01 11/10 5 11/10 11/01
  • 14. Diseño de un sistema secuencial: Ejemplo (III) • Diagrama y tabla de estados (Moore) En la máquina de estados de Moore, las salidas sólo dependen de las variables de estado 01 00 10 1: Ningún vehículo 2: Llega vehículo por B 1/00 2/10 3: Llega vehículo por A 11 00 4: Entró vehículo por A y llega por B 5: Entró vehículo por B y llega por A 01 10 00 01 4/10 3/01 10 11 5/01 11 11
  • 15. Diseño de un sistema secuencial: Ejemplo (IV) • Minimización de estados Se pueden fusionar líneas de la tabla de estado que tengan los mismos números (estado) en las columnas y que tengan las mismas salidas (Moore) o distintas (Mealy) Por Moore podemos fusionar los estados 2/4 y el 3/5 Por Mealy podemos fusionar los estados 1/2/4 y el 3/5 Asignamos la salida correspondiente al estado estable
  • 16. Diseño de un sistema secuencial: Ejemplo (V) • Asignación de variables de estado Codificamos cada estado con las variables de estado necesarias para asignar un código diferente a cada estado. Por Moore tenemos que diferenciar tres estados: necesitamos dos variables de estado. Podemos asignar valores de las variables de estado con cualquier criterio. Aquí hemos hecho coincidir estos valores con las salidas Por Mealy tenemos que diferenciar dos estados: necesitamos una variable de estado.
  • 17. Diseño de un sistema secuencial: Ejemplo (VI) • Tabla de transiciones: En la tabla de estados simplificada sustituimos cada estado por el valor de las variables de estado que le hemos asignado en la codificación Moore Valor de las variables de estado en el instante T Mealy Valor de las variables de estado en el instante T+Δt para una entrada determinada
  • 18. Diseño de un sistema secuencial: Ejemplo (VII) • Tabla de excitación (tabla de verdad) Por Moore tenemos dos tablas de verdad, una para las salidas en función exclusivamente de las variables de estado y otra para las variables de estado en función del estado anterior y de las entradas
  • 19. Diseño de un sistema secuencial: Ejemplo (VIII) • Tabla de excitación (tabla de verdad) Por Mealy tenemos una única tabla de verdad