AUTÓMATAS

MATEMÁTICA DISCRETA

14
 PROPÓSITO
RESUELVE EJERCICIOS DE AUTÓMATAS FINITOS DETERMINISTICOS(AFD)
RESUELVE EJERCICIOS DE AUTÓMATAS FINITOS NO DETERMINISTICOS(AFND)
 ʍ
Q a b 0 1 3

q0 q2 ---
--- q1 ---
q1 q3 q1 --- q1 ---
q2 q3 --- --- --- q5

q3 --- q4 --- q1 ---

q4 q3 q1 --- --- ---

q5 q5 --- --- --- ---

Sólido

Liquido

Gaseoso
 1
0 2

1er piso 1er piso

2do piso
S1 S1
S2

2
 INTRODUCCIÓN
AUTÓMATA
MÁQUINA DE ESTADO
FINITO
Máquina automática programable capaz de realizar determinadas
operaciones de manera autónoma y sustituir a los seres humanos en
algunas tareas, en especial las pesadas, repetitivas o peligrosas; puede
estar dotada de sensores, que le permiten adaptarse a nuevas situaciones.
 Símbolos de cadena de entrada

ESTADO ESTADO
1 2

Símbolos de cadena de entrada

 AUTÓMATA SIMPLE DE ENCENDIDO Y
APAGADO

ENCENDIDO
APAGADO
 pulsar

OFF ON

pulsar
 Pulsar

Inicio
OFF ON

Pulsar
CASA
¿QUE ES UN AUTÓMATA FINITO?
Un autómata finito es un conjunto de nodos y arcos que representan
trayectorias para generar una expresión bajo un alfabeto. Es una
máquina que puede estar en cualquiera de un número finito de estados,
uno de los cuales es el estado inicial y por lo menos uno es el estado de
aceptación. Un diagrama de transición es un autómata finito.
 DEFINICIONES BÁSICAS
A continuación se presentan algunos conceptos básicos
necesarios para la comprensión de los ejercicios que se
presentan en las secciones subsecuentes.
Símbolo es un signo que representa algo abstracto. símbolo se
referirá a un carácter alfanumérico.
Ejemplos
a, b, 1, 0, x, y, z, 9
 DEFINICIONES BÁSICAS

Alfabeto (Σ ) es un conjunto de símbolos y normalmente se

denota con la letra Σ. Ejemplos
Σ = {a,b,c,…z} Σ = {1,2,3,…9} Σ = {0,1} Σ = {a,b}
Cadena (W) o palabra es un conjunto de símbolos de algún
alfabeto Σ concatenados entre sí, es decir uno enseguida del
otro.
Ejemplos
Para el alfabeto Σ = {a,b,c,…z} algunas cadenas son: ab, z, cc,
abc, abab
Para el alfabeto Σ = {0,1} algunas cadenas son: 0, 1, 01, 000,
0101
Cadena Vacía ε, es la cadena que no contiene ningún
símbolo.
Lenguaje (L) es un conjunto de cadenas o palabras
definido en un alfabeto Σ.
Ejemplos
Si Σ = {0,1} podríamos definir los lenguajes “conjunto de
cadenas en Σ que terminan en 0”
algunos de las palabras del lenguajes serían: 0,
10,00,010,100, 110…
 SIMBOLOGÍA DE REPRESENTACIÓN
GRÁFICA

Alfabeto
Estado

Conjunto de palabras posibles

c
Estado inicial

Estado Final o aceptación

w Palabra

Transición |𝐰| Longitud de la palabra

0,1
L Lenguaje
Etiquetas
AUTÓMATAS FINITOS ( 5-TUPLA)
Autómata es una máquina matemática M formada
por 5 elementos M = (Σ, Q, δ , q0 , F) donde
Σ es un alfabeto de entrada
Q es un conjunto finito de estados
q0 es el estado inicial
F es un conjunto de estados finales o de aceptación y
δ (delta) es una relación de transición.
1
0 B
A
1 0
C
 AUTÓMATAS FINITOS( 5-TUPLA)
Autómata Es una máquina matemática M formada
por 5 elementos M = (Σ, Q, δ , q0 , F) donde
Σ es un alfabeto de entrada
Q es un conjunto finito de estados
q0 es el estado inicial 0 1
F es un conjunto de estados finales o de aceptación y
δ (delta) es una relación de transición.
Ejemplo:
0 B
Σ ={0,1}
q0 = {A} A
Q= {A,B,C,D} 0
1
F = {B,E}
δ (A,0) = B
1 C
δ(A,1) = C
D
A
δ(B,1) = B
δ(C,0) = C
δ(C,1) = D
AUTÓMATAS FINITOS
5-TUPLA
 REPRESENTACIÓN
Diagrama de Transición de Estados
Tabla de Transición de Estados

(Q)
S1 S2
S1
 EJEMPLO

Q
𝜮
RECONOCIMIENTO DE PALABRAS
 Del siguiente autómata de estado finito con un diagrama de transición
M = (Σ, Q, δ , q0 , F)
0

So 1
S3
S2
S4
S4
0 0 1 1

S1 S3 0
1
a)Encuentre sus estados.
b)Determine los símbolos de entrada.
c)Obtenga su estado inicial
d)Obtenga sus estados aceptables o finales.
e)Encuentre la tabla de transición.
 Del siguiente autómata estado finito con un diagrama de transición
M = (Σ, Q, δ , q0 , F)
a

b a
Uo U1 U3

b
a b c
c
U4
b a
U2

a)Encuentre sus estados.

b)Determine sus símbolos de entrada.
c)Obtenga su estado inicial
d)Obtenga sus estados aceptables o finales.
e)Encuentre la tabla de transición.
a) Determina la quíntupla del autómata M = (Σ, Q, δ , q0 , F) .
b) Construya la tabla de transición de estados
c) Determina si el arreglo abaabaaabcccab aceptado por la
máquina de estado.

3
q3 a
b
a b
a q4
q2
a
b
a c b

q0 b
q1
c
 Autómata finito que reconoce (0,1)*(10)
Diagrama de Estados

Tabla de Transición de Estados 00

01

⋀ 10
1

11
 Diagrama de Estados

0 00
Cadenas que pertenecen a este ejemplo 0
1
0
01

a 0

q0
10
1

11
 Diagrama de Estados
0

00
Cadenas que pertenecen a este ejemplo 0
1
0
01

a
1
q0 0 10
1 1
0

11
 CLASIFICACIÓN DE LOS A.F.
Autómata Finito Determinista (AFD) es un autómata finito en
donde δ (delta) es una función de transición, es decir, que para
cada par (estado actual y símbolo de entrada) le corresponde un
único estado siguiente.

Autómata Finito No Determinista (AFND) 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 cero, uno, dos o más estados siguientes,
Normalmente la relación de transición para un AFND se denota
con Δ.
EL AUTÓMATA MOSTRADO ¿ES
DETERMINISTICO? ¿POR QUÉ?
Indicar si los siguientes autómatas son
determinísticos
 Indicar si los siguientes autómatas son 0
determinísticos
y 0
1 D
B B
z
x x 0 2
A 2
1
A D
z C
z
0
y
C
q1 n
m p
n
𝝀
q0 A
q2
 RECORDANDO (AFD)
Ya que para cualquier entrada existe un único estado que puede estar
el autómata.

1 0 0,1

Inicio 0 1
qo q1 q2
 Diseñar un autómata finito que reconozca el lenguaje L= {w
Є{0,1}* /w contenga la subcadena “001”,pero no la subcadena “100”}
1

ACEPTA 0 1
q1 q2 q3 NO ACEPTA
001101
100
000111
0100
000001 0 0 101001
0 1
0001 1
011
001
101

q0
q5 q4
0
0

1,0
• Construya la tabla de transición de estados.
• Determina la quíntupla del autómata
• Determina si el arreglo 11010 es aceptado por la máquina de estado.
SOLUCIÓN
P P

P
• Construya el diagrama de transición de estados considere al estado inicial q0 y los estados de aceptación a
q2 y q3.
• Determina la quíntupla del autómata.
• Determina si el arreglo es aabbaa aceptado por la máquina de estado.

Entreda Salida

Σ
Q
 a/0

q1
(a,b)/0
b/1
a/0

q3
q0

a/1
b/0
Determina si el arreglo es aabbaa aceptado por la máquina de
estado. q2

b/0
 a

q1
a
b
a

q3
q0

a
b

q2 b

b
 Dada la tabla de transción de estados considere al estado
inicial qo y con dos estados de aceptación q2 y q3

∑
Q

a)Construya el diagrama de transición de estados.

b)Determina la quíntupla del autómata M = (Σ, Q, δ , q0 , F).
c)Determina si el arreglo aabaaaa es aceptado por la máquina de
estado escribir el recorrido
 a/0

b) La quíntupla del autómata

Q={qo,q1,q2,q3}
q1
qo={qo}
a/0
F={q2,q3}
b/1
a/0

c) a a b a a a a
q1 q1 q3 q3 q3 q3 q3 q3
q3
q0
La palabra si es aceptado por el autómata a/1
b/0
a a a b a a a a a a a
q2
q2
q0 q1 q1 q1 q3 q3 q3 q3 q3 q3 q3 q3

b/0
 a/0

q1
a/0
b/1
a/0

q3
q0

a/1
b/0

q2

b/0
 a/0

q1
a/0
b/1
a/0

b/0
q3
q0

a/1
b/0
Determina si el arreglo es aabbaa aceptado por la máquina de
estado. q2

b/0
 APARTIR DE LA TABLA DE TRANSICIÓN

1. Dibuje el diagrama de transición de estado. Determina la cadena de

salida correspondiente a la cadena de entrada aababba para la
máquina de estado finito.
 DIAGRAMA DE ESTADO
Determina la cadena de salida correspondiente a la cadena de entrada aabab para
la máquina de estado finito

a/1

eo b/1 e1

a/0 b/0

https://www.youtube.com/watch?v=JHT99Kz0tF4&t=551s
Diseñe un autómata finito que reconozca
el lenguaje: L={ W Є{0,1,2}*/w contiene un único «1» y la cantidad total de «0» es impar}

SOLUCIÓN

CASO 1 :Que no haya entrado el «1» y la cantidad de «0» sea par.

CASO 2:Que no haya entrado el «1» y la cantidad de «0» sea impar

CASO 3: Que haya entrado el «1» y la cantidad de «0» sea impar.

Caso 4:Que haya entrado el «1» y la cantidad de «0» sea impar .

C1 C2

C4
C3