TECNOLÓGICO NACIONAL DE MÉXICO CAMPUS SAN

MARTÍN TEXMELUCAN

DIVISIÓN DE INGENIERÍA EN
SISTEMAS COMPUTACIONALES

Lenguajes y Automatas

Práctica U4

INGENIERÍA EN SISTEMAS COMPUTACIONALES

PRESENTA(N):

Integrante (s)

Adrian Aguilar Hernandez

6°A

PROFESOR:

M.S.C. Ivan Rafael Sánchez Juárez

San Martín Texmelucan, Puebla 12 de abril del 2024

Contenido
Introducción.......................................................................................................................................2
Desarrollo...........................................................................................................................................3
Conclusión.........................................................................................................................................5
Introducción
En el presente documento se muestra un ejercicio en clase, pero antes debemos saber que los autómatas finitos no
deterministas (NFDA) son una clase de autómatas utilizados en informática y matemáticas para modelar y comprender
procesos matemáticos.

Los AFND pueden acomodar muchas variables, lo que los hace especialmente útiles para modelos donde la transición de
estado no es completamente determinista o donde hay muchas opciones o caminos. Además, AFND es una herramienta
importante en el pensamiento computacional para comprender la relación entre lenguajes, oraciones y autómatas.

A pesar de su nombre, AFND no es menos indicativo que AFD. De hecho, en muchos casos pueden ser más descriptivos.

Los Autómatas Finitos No Deterministas (AFND) tienen una importancia significativa en el ámbito de la tecnología
especialmente en áreas como la computación teórica la inteligencia artificial la verificación de software y el diseño de
compiladores, dado el papel fundamental que desempeñan los AFND en diversas áreas tecnológicas, es imperativo que
aquellos que trabajen con estos autómatas posean sólidos conocimientos en programación y comprensión teórica.
Dominar los conceptos relacionados con los AFND no solo abre oportunidades para el desarrollo de software más robusto
y eficiente, sino que también contribuye a un mayor entendimiento de los fundamentos de la computación y la inteligencia
artificial.
Desarrollo

Practica: AUTÓMATA FINITO NO DETERMINISTA

El siguiente autómata verifica la validez de varias palabras, como "roma", "rosa", "mora", "amor", entre otras palabras. En
las cuales han explorado diferentes posibilidades para obtener los resultados esperados con las condiciones con las que se
le impuso.

Por lo cual cabe decir que en las primeras partes del trabajo se tuvo que analizar diferentes situaciones que se pueden
presentar, como la repetición de alguna letra o que esta esté dentro de las palabras permitidas en el autómata.

Este Autómata inicia desde q0 y se puede ver que hay varias entidades en las que acaban (las cuales son q7, q10, q13, q16,
q19), cada entidad a donde termina es la ultima letra de cada una de las palabras permitidas en el autómata.
Ahora en la siguiente imagen podemos comprobar el autómata culpa con sus funciones correctamente, por lo cual se
metieron una variedad de palabras las cuales están las que pasan y las que no y algún error para ver si las acepta o no.

Al ver los resultados podemos decir que el automata esta correctamente funcionando ya que las
palabras que solo pueden pasar ansido aceptadas y las demas que no estan se desechan
automaticamente.

Firma de trabajo entregado en clase:

Conclusión
En conclusión, esta práctica ha sido una oportunidad invaluable para demostrar nuestras
habilidades en el manejo de los Autómatas Finitos No Deterministas (AFND). Durante el desarrollo
de este trabajo, he explorado de manera detallada el funcionamiento y la aplicación de estos
autómatas, lo que me ha proporcionado una comprensión más profunda de su utilidad y
versatilidad.

Un aspecto clave que merece ser mencionado es la importancia del diagrama AFND en la
resolución de problemas. Su capacidad para generar múltiples estados de aceptación y evaluar
palabras caso por caso es una herramienta invaluable en una variedad de contextos educativos,
profesionales e investigativos.

Por lo cual esto en un proyecto es importante en la cual puede manejar las diferentes restricciones
que queramos aplicar, así también puede hacer mas coherente el funcionamiento de los
proyectos.