Académique Documents
Professionnel Documents
Culture Documents
Presentado a la Ingeniera:
Presentado por:
Grupo:
301405_35
Diciembre2017
Desarrollo de la Actividad
Ejercicio 1:
1.
Expresión Regular
x =rx+s
x =r∗s
𝑆 = 𝑎𝑞0 + 𝑏𝑞2
𝐵 = 𝑎𝑞2 + 𝑏𝑞1
𝐴 = 𝑎𝑞1 + 𝑏𝑞1 + ʎ
𝐴 = 𝑎𝑞1 + 𝑏𝑞1 + ʎ
𝐴 = (𝑎 + 𝑏) 𝑞2 + ʎ
𝐴 = (𝑎 + 𝑏)∗
𝐵 = 𝑎𝑞2 + 𝑏𝑞1
𝐵 = 𝑎∗ (𝑏(𝑎 + 𝑏)∗ )
𝑆 = 𝑎𝑞0 + 𝑏𝑞2
Expresión regular:
Lenguaje regular:
𝐿
𝑤 ∈ {𝑎, 𝑏} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛𝑎 a 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎,
={ }
𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛𝑎 𝑏, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛𝑎 𝑎 𝑜 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎 𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛𝑎 𝑎 𝑜 𝑏 𝑜 𝑚𝑢𝑐ℎ𝑎𝑠 𝑎 𝑦 𝑏
Tipo de autómata
Expresión Regular
x =rx+s
x =r∗s
A = q0 = 1q0 + 0q1
B = q1 = 1q0 + 0q2
S = q2 = 1q0 + 0q2 + ʎ
S = q2 = 1q0 + 0q2 + ʎ
𝑆 = 𝑞2 = (1 + 0)𝑞2 + ʎ
𝑆 = 𝑞2 = (1 + 0)∗
B = q1 = 1q0 + 0q2
𝐵 = 𝑞1 = 1∗ 0(𝑞2 )
𝐵 = 𝑞1 = 1∗ (0(1 + 0)∗ )
A = q0 = 1q0 + 0q1
𝐴 = 𝑞0 = 1∗ 0(𝑞1 )
Expresión regular:
𝐸𝑅 = 1∗ (0(1∗ (0(1|0)∗ )))
Lenguaje regular:
𝑤 ∈ {1,0} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 1,
𝐿={ 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 , 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 1, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 }
𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛 0 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 0
Tipo de autómata
Expresión Regular
x =rx+s
x =r∗s
S = q0 = 0q2 + 1q1
A = q1 = 1q1
B = q2 = 0q1 + Øq3
C = q3 = 1q1
C = q3 = 1q1
𝐶 = 𝑞3 = 1∗
B = q2 = 0q1 + Øq3
𝐵 = 𝑞2 = (0 + ∅)𝑞2
𝐵 = 𝑞2 = (0 + ∅)∗
A = q1 = 1q1
𝐴 = 𝑞1 = 1∗
S = q0 = 0q2 + 1q1
𝑆 = 𝑞0 = (0 + ∅)∗ 1(𝑞1 )
𝑆 = 𝑞0 = 1∗ (0 + ∅)∗ (1(1∗ ))
Expresión regular:
𝐸𝑅 = 1∗ (0|∅)∗ (1(1∗ ))
Lenguaje regular:
𝑤 ∈ {1,0} ∗ |𝜔 = 𝑡𝑜𝑑𝑎𝑠 𝑙𝑎𝑠 𝑐𝑎𝑑𝑒𝑛𝑎𝑠 𝑞𝑢𝑒 𝑒𝑚𝑝𝑖𝑒𝑛𝑧𝑒𝑛 𝑝𝑜𝑟 𝑢𝑛 1 𝑜 𝑝𝑜𝑟 𝑚𝑢𝑐ℎ𝑎𝑠 1,
𝐿= { 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 0 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 0 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑐𝑎𝑑𝑒𝑛𝑎 𝑣𝑎𝑐𝑖𝑎, 𝑠𝑒𝑔𝑢𝑖𝑑𝑎𝑠 𝑝𝑜𝑟 𝑢𝑛 1 }
𝑦 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑒𝑛 𝑒𝑛 𝑢𝑛 1 𝑜 𝑚𝑢𝑐ℎ𝑜𝑠 1
Tipo de autómata
Es un autómata finito no determinista ya que es un autómata que tiene
transiciones por un símbolo de entrada desde un estado de origen y existe más
de una transición posible.
Teniendo en cuenta el siguiente autómata realizar los puntos
siguientes:
ʎ a b c
𝑸𝟎 𝑄1 𝑄2 𝑄0 𝑄4
𝑸𝟏 ∅ 𝑄1 ∅ ∅
𝑸𝟐 ∅ 𝑄4 𝑄0 ∅
𝑸𝟑 ∅ 𝑄5 𝑄1 , 𝑄4 ∅
𝑸𝟒 𝑄1 𝑄3 ∅ 𝑄0
𝑸𝟓 ∅ 𝑄2 𝑄4 𝑄3
𝑸𝟔 = 𝑸𝟏 , 𝑸𝟒 𝑄1 𝑄1 , 𝑄3 ∅ 𝑄0
𝑸𝟕 = 𝑸𝟏 , 𝑸𝟑 ∅ 𝑄1 , 𝑄5 𝑄4 ∅
ESTADO TRANSICIONES
a b c
𝑞0 𝑞2 𝑞0 𝑞4
∗ 𝑞1 𝑞1 Ø Ø
𝑞2 𝑞4 𝑞0 Ø
∗ 𝑞3 𝑞5 𝑞4 , 𝑞1 Ø
∗ 𝑞4 𝑞3 Ø 𝑞0
∗ 𝑞5 𝑞2 𝑞4 𝑞3
∗ 𝑞6 𝑞3 , 𝑞1 Ø 𝑞0
𝑞7 𝑞5 , 𝑞1 𝑞4 Ø
Autómata:
Ejercicio 3
Ahora vamos a crear los nuevos conjuntos, el conjunto de los estados finales o
aceptadores y el conjunto de los estados no aceptadores.
Y = {C, D, E, F, H} Estados Aceptadores
X = {A, B, G} Estados No Aceptadores
a b c a b c
F Q Y Z } W A P X Y } X
a b c a b c
P Y X Y } P G Y X θ } Q