AUTÓMATAS Y LENGUAJES FORMALES
JULIA DEL PILAR HUST RAMÍREZ CARNET:
JOSELYN ALEJANDRA REYNA GODOY
KEVIN ALEXANDER GONZALEZ CHAVEZ
ALLAN EMILIO AMAYA GARCIA
AUTOEVALUACIÓN #1
A U T O M A T A S Y L E N G U A
Le ng ua je Fo rm al
Un lenguaje regular es un tipo de lenguaje
formal que puede ser descrito o reconocido
por un autómata finito, ya sea un Autómata
Finito Determinista (AFD) o un Autómata
Finito No Determinista (AFN). Los lenguajes
regulares son aquellos que pueden ser
generados por expresiones regulares
Gr af o Co ne xo
Un lenguaje regular es un tipo de lenguaje
formal que puede ser descrito o reconocido
por un autómata finito, ya sea un Autómata
Finito Determinista (AFD) o un Autómata
Finito No Determinista (AFN). Los lenguajes
regulares son aquellos que pueden ser
generados por expresiones regulares
AFN
Un lenguaje regular es un tipo de lenguaje
formal que puede ser descrito o reconocido
por un autómata finito, ya sea un Autómata
Finito Determinista (AFD) o un Autómata
Finito No Determinista (AFN). Los lenguajes
regulares son aquellos que pueden ser
generados por expresiones regulares
SECCIÓN: "A"
5090-21-22093
CARNET: 5090-21-4608
CARNET: 5090-20-12745
CARNET: 5090-17-2110
25-AGOSTO-2023
J E S F O R M A L E S
Co m po ne nt es de un
au tó m at a
Estados: Representan los diferentes estados en los que puede
encontrarse el autómata.
Alfabeto: Es el conjunto de símbolos sobre los cuales opera el
autómata.
Transiciones: Son las reglas que especifican cómo el autómata
cambia de un estado a otro cuando lee un símbolo del alfabeto.
Estado inicial: Es el estado en el que el autómata comienza su
procesamiento.
Estados de aceptación: Son los estados en los cuales el autómata
reconoce una cadena como válida. En el caso de un AFD, se llama
estado de aceptación; en un AFN, se consideran estados finales.
AF D
Un lenguaje regular es un tipo de lenguaje
formal que puede ser descrito o reconocido
por un autómata finito, ya sea un Autómata
Finito Determinista (AFD) o un Autómata
Finito No Determinista (AFN). Los lenguajes
regulares son aquellos que pueden ser
generados por expresiones regulares
Ca mi no In te rm ed io
Un lenguaje regular es un tipo de lenguaje
formal que puede ser descrito o reconocido
por un autómata finito, ya sea un Autómata
Finito Determinista (AFD) o un Autómata
Finito No Determinista (AFN). Los lenguajes
regulares son aquellos que pueden ser
generados por expresiones regulares

Ca m in o de
lo ng it ud 0
Un camino de longitud 0 consiste en
permanecer en el mismo estado sin
realizar ninguna transición. En otras
palabras, es simplemente estar en un
estado sin cambiar a otro.
Ta bl a de
tr an si cio ne s
Es una representación tabular de las transiciones
en un autómata. Cada fila de la tabla
corresponde a un estado y cada columna
corresponde a un símbolo del alfabeto. La celda
en la intersección de una fila y una columna
contiene el estado al que el autómata transita
cuando está en el estado de esa fila y lee el
símbolo de esa columna
Es ta do m ue rt o
Un estado muerto (o estado de trampa)
es un estado en el que el autómata no
puede salir una vez que entra en él,
independientemente de la entrada que
reciba. Esto se refleja en la falta de
transiciones desde ese estado hacia
otros estados.
Et iq ue ta s
m úl ti pl es
En el contexto de los AFN, las etiquetas
múltiples se refieren a la posibilidad de tener
varias transiciones salientes desde un mismo
estado hacia otro estado utilizando el mismo
símbolo de entrada. Esto es una
característica clave de los AFN que les
permite expresar ciertas propiedades no
regulares.
Es ta do de
ac ep ta ci on
También conocido como estado final,
es un estado en el que un autómata,
después de procesar una cadena de
entrada, determina que la cadena es
válida y pertenece al lenguaje
reconocido por el autómata.
Di ag ra m a de
tr an si cio ne s
También conocido como diagrama de estados,
es una representación gráfica de un
autómata. Los estados se representan como
nodos, las transiciones como flechas
etiquetadas con símbolos de entrada y los
estados de aceptación se pueden resaltar de
alguna manera.
Sit ua ció n de er ro r
Una situación de error ocurre cuando el
autómata llega a un estado desde el
cual no existe una transición definida
para el símbolo de entrada actual. Esto
indica que la cadena de entrada no es
válida según las reglas del autómata.
Es tad o act ua l vs
Es tad o sig uie nte
El estado actual se refiere al estado en el que se
encuentra el autómata en un momento dado mientras
procesa una cadena de entrada. El estado siguiente es
el estado al que el autómata transitará después de
procesar el siguiente símbolo de entrada, siguiendo
las reglas de la función de transición del autómata. En
resumen, el estado actual es el estado en el que está,
y el estado siguiente es hacia dónde se moverá
después de leer el próximo símbolo.