Brayan Daniel Hernández Nájera

0901-21-380 20/08/2023

Roxana Diaz de Catalan ingeniería en sistemas

Tarea: Ejercicio #4 Sección: “A “

Serie 1. Lenguaje, tabla y 5 ejemplos

DFA

Lenguaje
2 𝑛 𝑚
𝐿 = {𝑎 𝑏 ; 𝑛 ≥ 2 𝑚 ≥ 0}
Tabla
a b
𝑞0 𝑞2 𝑞2
𝑞1 𝑞1 𝑞1
𝑞2 𝑞3 𝑞2
𝑞3 𝑞3 𝑞2
Cadenas
1. Aabb
2. Aaaa
3. Aabbb
4. Aaaab
5. Aabbaa
Prefijo a
 DFA

Lenguaje
𝐿2 = {𝑎𝑛 𝑏 𝑚 ; 𝑛 ≥ 4 𝑚 ≥ 0}
Tabla
a b
𝑞0 𝑞2 𝑞1
𝑞1 𝑞1 𝑞1
𝑞2 𝑞3 𝑞2
𝑞3 𝑞4 𝑞4
𝑞𝟒 𝑞𝟓 𝑞𝟒
𝑞𝟓 𝑞𝟓 𝑞𝟒
Cadenas
1. abbaaaba
2. abbbabba
3. aaaaaaa
4. abbbbba
5. ababaaba
Prefijo a
 DFA

Lenguaje
2 𝑛 𝑚
𝐿 = {𝑎 𝑏 ; 𝑛 ≥ 1 𝑚 ≥ 2}
Tabla
a b
A B C
B B D
C B C
D B E
E B C
Cadenas
1. abb
2. bbabb
3. aabaabb
4. bbaabbaabb
5. aabbbaabb
Prefijo a
Prefijo b
 Serie 2: Cuáles de las cadenas 0001, 01101, 00001101 son aceptadas
por el DFA

0001→aceptada
01101→aceptada
00001101→aceptada
Serie 3: Para∑ = {𝑎, 𝑏} construya DFA's que acepten los conjuntos
que consisten en
a) todas las cadenas con un número par de símbolos a.

b) todas las cadenas con un número par de símbolos a y un

número impar de símbolos b.
 c) todas las cadenas con al menos un símbolo b y
exactamente dos símbolos a

d) todas las cadenas con exactamente dos símbolos a y más

de tres símbolos b.