MÁQUINAS DE ESTADOS FINITOS

Álvaro Jiménez Tejada

Profesor:
Giovanni Martínez Gaitán

UNIVERSIDAD DE LA GUAJIRA SEDE MAICAO

TEORIA DE LA INFORMACION
INGENIERIA DE SISTEMAS
Maicao – La Guajira
2020
 Contenido

1. Que son las máquinas de estado finito?

2. Describa una máquina de estado finito
3. Como se diseña una máquina de estado finito?
4. Cuáles son los 7 pasos?
5. Como se diseña el control para un ascensor?
6. Que son autómatas de estado finito ?
7. Que son deterministas?
8. No determinista?
9. tipos de transductores
10. Relación de grafos y máquinas de estado finitos
11. Que es un grafo?
12. Ej. de grafos relacionados con máquinas de estado finitos
13. Aplicaciones de máquinas de estado finito del video
 DESARROLLO

1. Que son las máquinas de estado finito?

Una máquina de estados finitos en un modelo abstracto para la

manipulación de símbolos, nos permiten saber si una cadena pertenece a
un lenguaje o nos pueden generar otro conjunto de símbolos como
resultado.

2. Describa una máquina de estado finito

Una máquina de estado finito se compone de un número finito de
estados y transiciones entre los estados.

M =(S , ∑ , A , sk )

Donde
S= { s 1 , s2 , … … , s m } Es un conjunto finito de nodos

∑ . Es un alfabeto infinito de etiquetas

A Es un conjunto de aristas etiquetadas que unen los nodos

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.
3. Como se diseña una máquina de estado finito?

Paso 1: Describir la maquina en palabras

Paso 2: Dibujar el Diagrama
Paso 3: Seleccionar numero para representar estados y valores
Paso 4: escribir una tabla de verdad
Paso 5: Dibujar en forma grande para visualizar el circuito
Paso 6: Encontrar la expresión Booleana
Paso 7 :Dibujar el resto del circuito

4. Cuáles son los 7 pasos?

1. Descripción no formal
2. Diagrama de estados
3. Tabla de transición /salida
4. Tabla de excitación/salida
5. Ecuaciones de excitación/salida
6. Tabla de estados /salida
7. Circuito
5. Como se diseña el control para un ascensor?

6. Que son autómatas de estado finito?

Es un modelo computacional que realiza cómputos en forma automática

sobre una entrada para producir una salida.

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.

7. Que son deterministas?

Es un autómata finito que además es un sistema determinista; es decir,

para cada estado q ∈ Q en que se encuentre el autómata, y con cualquier
símbolo a ∈ Σ del alfabeto leído, existe siempre a lo más una transición
posible δ(q,a).
En un AFD no pueden darse ninguno de estos dos casos:

Que existan dos transiciones del tipo δ(q,a)=q1 y δ(q,a)=q2,

siendo q1 ≠ q2;
Que existan transiciones del tipo δ(q, ε), salvo que q sea un estado final,
sin transiciones hacia otros estados.
8. No determinista?
Es aquel que, a diferencia de los autómatas finitos deterministas, posee
al menos un estado q ∈ Q, tal que para un símbolo a ∈ Σ del alfabeto,
existe más de una transición δ(q,a) posible.
Haciendo la analogía con los AFDs, en un AFND puede darse
cualquiera de estos dos casos:

 Que existan transiciones del tipo δ(q,a)=q1 y δ(q,a)=q2,

siendo q1 ≠ q2;
 Que existan transiciones del tipo δ(q, ε), siendo q un estado no-
final, o bien un estado final pero con transiciones hacia otros
estados.

9. tipos de transductores
Dentro de los transductores de estados finitos tenemos:

Transductor secuencial
Transductor subsecuencial
Transductor p-subsecuencial
Transductor p-subsecuencial adelantado
Transductor de estados finitos determinista p-subsecuencial
Transductor de estados finitos determinista p-subsecuencial adelantado

10. Relación de grafos y máquinas de estado finitos

En que ambos conceptos podemos decir que existe un convenio en el
cual cada quien se representa y puede visualizarse mediante un
diagrama de estados. Un diagrama de estado es un grafo dirigido donde
cada vértice representa un estado, y cada arista está etiquetada con un
símbolo del alfabeto de entrada y representa la transición entre estados
que se produce cuando ese símbolo es el siguiente leído.
11. Que es un grafo?
Grafos:
Un grafo es una representación gráfica de diversos puntos que se
conocen como nodos o vértices, los cuales se encuentran unidos a través
de líneas que reciben el nombre de aristas.

12. Ej. de grafos relacionados con máquinas de estado finitos

La forma pictórica convencional de representar el comportamiento de
una máquina de estados finitos es mediante un grafo dirigido conocido
comúnmente como un grafo de estado, de lo cual se presenta el
siguiente ejemplo:

La lectura de un grafo de estado es algo relativamente sencillo.

Suponiendo que se parte con la máquina en el estado inicial s0, y se
aplica una entrada de “1”, entonces de acuerdo a la flecha curva se
seguirá en el mismo estado al recibir la máquina un pulso de reloj, lo
cual significa que la primera parte de la hilera puede constar de
 cualquier número de “unos”, ya sea 11, 11111 ó 11111111, lo cual se
representa como 1* en el lenguaje matemático de las expresiones
regulares. Al aplicar una entrada de “0”, la máquina pasa directamente
del estado s0 al estado s1 con el siguiente pulso de reloj. Hasta aquí, se
ha reconocido la hilera 1*0. Una vez en el estado s1, si se aplica un “0”
entonces la máquina pasará del estado s0 al estado final de
aceptación s2 al recibirse un pulso de reloj. Se acostumbra destacar los
estados finales con un doble círculo. Hasta aquí se ha reconocido la
hilera 1*00. Y si estando en el estado final de aceptación se sigue
aplicando repetidamente una entrada de “0” entonces los subsecuentes
pulsos de reloj dejarán a la máquina en el mismo estado final de
aceptación. De este modo, la máquina que corresponde al grafo puede
reconocer las hileras que formen parte del conjunto de expresiones
regulares 1*000*. Obsérvese que hay otras entradas que desvían a la
máquina hacia el estado s3, el cual no es un estado final.

13. Aplicaciones de máquinas de estado finito

Las máquinas de estado finito, MEF, 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. En las siguientes escenas
vamos a explorar el uso de estas máquinas en una aplicación
sencilla que ilustra su uso como controladores en la ejecución
de algoritmos.