TRABAJO AUTOMATAS

UNIVERSIDAD LIBRE SECCIONAL CÚCUTA

FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

AUTOMATAS Y LENGUAJES FORMALES

1. Modelado De Sistemas Discretos

Llamamos eventos discretos a aquellos en los que se considera su estado sólo en
ciertos momentos, separados por intervalos de tiempo, sin importar lo que ocurre
en el sistema entre estos momentos. Es como si la evolución del sistema fuera
descrita por una secuencia de fotografías, en vez de un flujo continuo y se pasa
bruscamente de una fotografía a otra.
Un evento discreto es aquel en el cual se considera su estado sólo en ciertos
momentos, separados por intervalos definidos de tiempo, sin tener en cuenta lo que
sucede en el sistema en esos momentos.
En matemática, la multiplicación o producto de matrices es la operación de
composición efectuada entre dos matrices, o bien la multiplicación entre una matriz
y un escalar según unas reglas.
2. Máquinas De Estado Finito

Las máquinas de estado finito son una herramienta muy útil para especificar
aspectos relacionados con tiempo real, dominios reactivos o autónomos,
computación reactiva, protocolos, circuitos, arquitecturas de software, etc. El
modelo de FSM (Finite State Machine) es un modelo que posee sintaxis y semántica
formales y que sirve para representar aspectos dinámicos que no se expresan en
otros diagramas.
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

Es una abstracción matemática que nos permite modelar la computación. En esta

lección vamos a usar una MEF para controlar a una unidad aritmética en el cálculo
del máximo común divisor, de dos números naturales aa, bb, denotado
por MCD(a,b)MCD(a,b).
Ejemplo:

Vale la pena destacar que formalmente la máquina de estado es la tupla anterior y

no el “dibujo”. Este es tan sólo una representación gráfica de la máquina de estado
para tener una más sencilla y rápida visualización de su contenido.

3. Autómata Finito Determinista

Para cada estado en que se encuentre el autómata, y con cualquier símbolo del
alfabeto leído, existe siempre no más de una transición posible desde ese estado y
con ese símbolo.
consta de:

1. Un conjunto finito de estados.

2. Un alfabeto de símbolos de entrada.
3. Una función de transición que especifica cómo evoluciona de estado el
AFD:

4. Un estado inicial
5. Un conjunto de estados de aceptación.
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

4 . Diagrama de transiciones de un autómata

UN DIAGRAMA DE TRANSICIONES es una colección finita de círculos, los cuales

se pueden rotular para fines de referencia, conectados por flechas que reciben el
nombre de ARCOS.

Cada uno de estos arcos se etiqueta con un símbolo o categoría de símbolos que
podría presentarse en la cadena de entrada que se analiza. Uno de los círculos se
designa con un apuntador, y representa una posición inicial. Además, por lo menos
uno de los círculos se representa como un círculo doble; estos círculos dobles
designan posiciones del diagrama en las cuales se ha reconocido una cadena
valida.

DIAGRAMA DE TRANSICIONES DETERMINISTA

 En particular, cada estado de estos diagramas solo debe tener un arco que
sale para cada símbolo del alfabeto; de lo contrario, una máquina que llega a este
estado se enfrentara a una elección de cuál debe ser el arco a seguir.

Además, dicho diagrama debe estar completamente definido, es decir debe existir
por lo menos un arco para cada símbolo del alfabeto; de lo contrario, una máquina
que llega a este estado puede enfrentarse a una situación donde no pueda aplicarse
ninguna transición.
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

Decimos que una cadena de símbolos es aceptada por un diagrama de

transiciones si los símbolos que aparecen en la cadena (de izquierda a derecha)
corresponden a una secuencia de arcos rotulados que conducen del círculo
designado por el apuntador a un círculo doble.

Los círculos de un diagrama de transiciones representan posiciones, o estados,

donde no podemos encontrar al evaluar una cadena de símbolos. Es común llamar
estados a los círculos de un diagrama de transiciones. Él circulo de partida se
llama estado inicial y los círculos dobles, estados de aceptación.

5. Diseño de autómatas
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

PASOS:
1. Identificar el número de entradas, salidas y estados del automatismo
2. Definir e implementar el estado inicial
3. Construir un diagrama de estados que permita identificar las funciones de
transición y salida
4. Implementar las equivalencias de las ecuaciones
5. Adicionar detectores de flancos a las entradas
6. En el caso de autómata finito sin salida, la aceptación ocurre cuando se
consumen los símbolos de entrada y el estado actual coincide con uno final

También podemos realizarlo de la siguiente forma

¿Cómo diseñar un autómata finito

a) Por “ensayo y error” no es adecuado.

b) “Póngase en los zapatos” del autómata que quiere diseñar.
c) Para cada símbolo leído, saber si la cadena es aceptada o no, por si la
cadena termina ahí.
d) Decida qué información es crucial “recordar”, es decir, cuáles serían los
estados del autómata
e) Asignar transiciones, estado inicial y estado(s) final(es)

6. Autómatas Finitos No Determinísticos AFN

Es un autómata finito en donde δ no es necesariamente una función de transición,

es decir, que para cada par (estado actual y símbolo de entrada) le corresponde
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

cero, uno, dos o más estados siguientes, Normalmente la relación de transición para
un AFND se denota con ∆.

Los Autómatas Finitos No Deterministas son modelos matemáticos que permiten

representar situaciones complejas de una manera más directa, pero a la vez más
difícil de predecir, debido a que pueden estar en varios estados de manera
simultánea, esto hace muy valioso tener un método para transformar
un AFN en AFD, para así obtener resultados más manejables.

EJEMPLO

Obtenga un AFND dado el siguiente lenguaje definido en el alfabeto Σ= {0,1}. El

conjunto de cadenas que inician en 0.

CONCLUSIONES

Un autómata es un modelo matemático para una máquina de estado finito (FSM sus
siglas en inglés).
 TRABAJO AUTOMATAS
UNIVERSIDAD LIBRE SECCIONAL CÚCUTA
FACULTAD DE INGENIERÍAS – PROGRAMA INGENIERÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y
LA COMUNICACIÓN

Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de
una serie de estados de acuerdo a una función de transición (que puede ser
expresada como una tabla).

Es el estado anterior de la inteligencia artificial, el cambio tecnológico que está

llevando actualmente todos los procesos