CIRCUITOS DIGITALES II

III Ciclo

RESUMEN DE MAQUINAS DE ESTADO FINITO

Integrantes

Apellidos y Nombres Código

Alarcón Reyes Jeferson 2017043863

Albornoz Contreras Alexandra 2017000575

Huamán Zevallos Cristhian 2017014105

Garriazo Arquiñego Brenda 2017043872

Guio Neyra Diego 2017012878

Ramos Tapara Janet 2017025678

Tenorio Hinostroza Andy 2017035709

2018
¿QUE SON LAS MAQUINAS DE ESTADO FINITO?

 Las máquinas de estados se definen como un conjunto

de estados que sirve de intermediario en esta relación de
entradas y salidas, haciendo que el historial de señales de
entrada determine, para cada instante, un estado para la
máquina, de forma tal que la salida depende únicamente del
estado y las entradas actuales.
 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 estado y máquina de
estados finitos de forma intercambiable.

Descripción de una máquina de estado finito

 Las máquinas de estado finito se describen como:

M = (S, ∑, A, sk)

Dónde:

o S = {s1, s2, …. , sm} es un conjunto finito de nodos

o ∑ es un alfabeto infinito de etiquetas
o A es un conjunto de aristas etiquetadas que unen los
nodos
o sk es el estado inicial.
 Los nodos representan los posibles estados.
 Las etiquetas representan eventos que provocan un cambio.
 Las aristas determinan de qué manera cada estado, dado un
evento, se dirige a otro estado.
COMO DISEÑAR UNA MAQUINA DE ESTADO FINITO

 Paso 1: Describir la maquina en palabras.

Hay que escribir en detalle todo lo que queremos que realice esta
máquina sin obviar comandos o decisiones que debe tomar.

 Paso 2: Dibujar el diagrama.

El diagrama que dibujemos debe contener todas las posibles entradas
y salidas que nuestra máquina tiene o sea estados y valores que va ha
realizar.

 Paso 3: Seleccionar números para representar estados y valores.

Necesitamos representar los valores en nuestro diagrama como
números binarios para luego poder representarlos en un circuito.

 Paso 4: Escribir la tabla de verdad.

Al realizar la tabla de verdad tenemos que tomar la data del diagrama
de la máquina de estado finito.

 Paso 5: Dibujar en forma grande para visualizar el circuito

Tenemos que dibujar nuestra máquina de estado finito en un circuito el
cual vamos a ir modificando según se simplifica el algoritmo de la
misma.

 Paso 6: Encontrar la expresión Booleana.

Para cada sub-circuito que necesitamos diseñar, vamos a escribir una
expresión lógica que expresa su salida en función de sus entradas.

 Paso 7: Dibujar el resto de circuitos.

Para dibujar el resto del circuito necesitamos las expresiones
booleanas y el circuito inicial.

Ahora les mostraremos un ejemplo de una máquina de estado finito y

como se construye.
CONTROL PARA UN ASCENSOR

 Funcionará del piso tierra al primer piso y viceversa

 Tendrá 2 botones y 2 luces, un botón para ir al primer piso y luz
verde cuando este en ella y otro para ir al piso tierra y luz roja.

Diagrama
Arriba

1º 𝑃𝑖𝑠𝑜
𝑇𝑖𝑒𝑟𝑟𝑎
Rojo On
Rojo On
Verde Off (0)
Vede OF
(0)

Abajo

Representación Numérica

Tierra = 0 Arriba = 1 Off = 0

1º Piso = 1 Abajo = 0 On = 1

0 1

Rojo 1 Rojo 0

Vede 0 Verde 1

0
Tabla de verdad

Estado Actual Input Estado Siguiente Rojo Verde

0 0 0 1 0
0 1 1 1 0
1 0 0 0 1
1 1 1 0 1

Circuito de la Maquina

Expresión Booleana

 Para cada sub-circuito tenemos una expresión

 Para el sub-circuito “Siguiente Estado” tenemos dos entradas y una
salida y si vamos a la tabla de verdad en solo dos casos ES=1
1) EA=0 y I=1 2) EA=1 y I=1

Al simplificar obtenemos que ES=I y de la misma manera R = notEA y

V = ES

 Por lo tanto las expresiones booleanas son:

1) ES=I 2) R=notEA 3) V=EA
Dibujo Completo del Circuito

AUTOMATAS DE ESTADO FINITO

Máquina de estado y transiciones dentro de la cual se tienen estados

de aceptación y transiciones de un estado a otro siguiendo las reglas
establecidas para los grafos dirigidos

Este modelo matemático consta de 5 elementos:

- Conjunto finito de estados

- Conjunto finito de símbolos de entrada
- Estado inicial
- Conjunto de estados finales
- Función de transición

Aquellos estados para los cuales la última salida es 1 son los estados
de aceptación.

Los autómatas de estado finito tienen un interés especial, debido a su

relación con los lenguajes.
 - AUTOMATA FINITO DETERMINISTA (AFD)

La transición desde un estado puede tener como destino un único

estado.
Para cada estado y con cualquier símbolo del alfabeto leído por el
autómata
existe siempre a lo más una transición posible, transición que
determina el estado al que debe llegar.
Se puede representar usando tablas de estado o diagramas

Formalmente se define como una 5-upla: (S, Φ, T, s, A)

S: conjunto finito de estados

Φ: alfabeto o conjunto finito

T: función de transición de estados

S: Estado inicial; s ∈ S

A: Conjunto de estados finales o estados de aceptación A C S

- AUTOMATA FINITO NO DETERMINISTA

La transición desde un estado puede tener multiples destinos.

Posee al menos un estado tal que para un símbolo del alfabeto, existe
más de un transición posible.

Si M = (S, I, f, s, F)

S: conjunto finito de estados S.

I: Un alfabeto de entrada finito

F: Una función de transición que asigna a cada pareja de estado

y entrada, un conjunto de estados

s: Un estado inicial

F: Un subconjunto de S con los estados finales.

Hay dos tipos de transductores:

- MAQUINA DE MOORE

Las salidas son determinadas dentro del estado de la maquina

(Las salidas son independientes de las entradas)

El diagrama incluye una señal de salida para cada estado

- MAQUINA MEALEY

A diferencia de la anterior esta es una máquina de estado finito donde

las salidas se generan producto de la transición de estados.
En el ejemplo la luz se ve afectada por el proceso de cambios de
estado.

RELACION ENTRE GRAFOS Y MAQUINAS DE ESTADO FINITO

¿Qué es un grafo?
Son artefactos matemáticos que permiten expresar gráficamente las
relaciones que se dan entre las unidades que mantienen algún tipo de
interacción.

Un grafo está formado por 2 conjuntos:

- Un conjunto V de puntos llamados vértices.

- Un conjunto de pares de vértices que se llaman aristas o arcos y que
indican que vértices están relacionados.

De manera sencilla podemos decir que un grafo es un conjunto de

vértices con enlaces entre ellos denominado aristas o arcos.

- Grafo simple: Cuando entre dos vértices hay un solo arco.

- Multígrafo: Si hay más de un arco Un grafo es dirigido si los

arcos se pueden recorrer en una dirección concreta y no en la
contraria.
Los diagramas de flujo, por ejemplo, son grafos dirigidos.
 - Multígrafo dirigido, facultado para tener aristas múltiples; es decir
aristas que relacionan los mismos nodos. De esta forma los
nodos pueden estar conectados por más de una arista.

El grado de un vértice comprende el número de aristas que inciden en

el vértice.

APLICACION DE GRAFOS RELACIONADO A MAQUINA DE

ESTADO FINITO
 APLICACIONES DE MAQUINAS DE ESTADO

- Máquina para venta de refrescos:

Entrada actual: La moneda

Estado actual: Cantidad de que se está depositando en
dinero que se ha depositado. cada momento.

Salida: Nada,
Cambio, refresco o
refresco y cambio.

- Cajero automático:

Entrada: Tarjeta, NIP, Debe combinarse con: Espera

botón. de usuario, espera NIP, espera
requisición de servicio, etc.

Salida: Billetes, impresiones,

estado de cuenta, etc.
 - Juegos de combate:

Entradas: Golpes, Combinando con el

agresiones, estado: Nivel de energía
recuperaciones. del peleador.

Salida: Tambalearse,
caerse cansarse, ser
noqueado.

- Circuitos secuenciales digitales:

Ya que, en los circuitos de este tipo, es necesario conocer el
potencial o voltaje que guardan ciertos puntos dentro de los
mismos (es decir, los estados) para que, en combinación con los
valores de los bits de entrada, se conozcan los de salida. En un
simple flip-flop, se requiere de conocer el estado del mismo para
saber qué salida representa.

CONCLUSION:
Las máquinas de estado finito son muy importantes en la computación
teórica y práctica porque permiten crear modelos matemáticos de la
computación. Estos modelos ayudan, por ejemplo, a encontrar cómo
usar una computadora para automatizar o analizar problemas en
muchos campos del conocimiento. En el campo de la computación,
tienen múltiples aplicaciones en el diseño de circuitos digitales y la
programación, por ejemplo, en el diseño de compiladores de lenguajes
y reconocimiento automático de éstos.