AUTÓMATAS FINITOS

DETERMINISTAS
Tópicos Especiales de Ciencias
Computacionales
AUTÓMATA FINITO
AUTÓMATA FINITO DETERMINISTA

Acepta Rechaza
0 1
1 0
01 010
0101 01010
𝑞1 01010101 0101010
𝑞0
1111 11110

0
1
𝑀1
DEFINICIÓN FORMAL

𝑈𝑛 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎 𝑓𝑖𝑛𝑖𝑡𝑜 𝑒𝑠 𝑢𝑛𝑎 𝑡𝑢𝑝𝑙𝑎 𝑑𝑒 5 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑄, Σ, δ, 𝑞0 , 𝐹 , 𝑑𝑜𝑛𝑑𝑒

1. 𝑄 𝑒𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑙𝑙𝑎𝑚𝑎𝑑𝑜 𝑙𝑜𝑠 𝒆𝒔𝒕𝒂𝒅𝒐𝒔.

2. Σ 𝑒𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑙𝑙𝑎𝑚𝑎𝑑𝑜 𝑒𝑙 𝒂𝒍𝒇𝒂𝒃𝒆𝒕𝒐.
3. δ: 𝑄 ⨯ Σ → 𝑄 𝑒𝑠 𝑙𝑎 𝒇𝒖𝒏𝒄𝒊ó𝒏 𝒅𝒆 𝒕𝒓𝒂𝒏𝒔𝒊𝒄𝒊ó𝒏.
4. 𝑞0 ∈ 𝑄 𝑒𝑠 𝑒𝑙 𝒆𝒔𝒕𝒂𝒅𝒐 𝒅𝒆 𝒊𝒏𝒊𝒄𝒊𝒐.
5. 𝐹 ⊆ 𝑄 𝑒𝑠 𝑒𝑙 𝒄𝒐𝒏𝒋𝒖𝒏𝒕𝒐 𝒅𝒆 𝒆𝒔𝒕𝒂𝒅𝒐𝒔 𝒅𝒆 𝒂𝒄𝒆𝒑𝒕𝒂𝒄𝒊ó𝒏.
EJEMPLO 1

𝑄, Σ, δ, 𝑞0 , 𝐹 ,
0 1
𝑄 = {𝑞0 , 𝑞1 }
Σ = {0, 1}

𝑞0 𝑞1 δ 0 1
→ 𝒒𝟎 𝑞0 𝑞1
∗ 𝒒𝟏 𝑞0 𝑞1
0
1
𝑞0 𝑒𝑠 𝑒𝑙 𝑒𝑠𝑡𝑎𝑑𝑜 𝑑𝑒 𝑖𝑛𝑖𝑐𝑖𝑜.
𝑀1
𝐹 = {𝑞1 }

𝐴 = 𝐿(𝑀1 ) = 𝑤 𝑤 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑎𝑑𝑒𝑛𝑎 𝑞𝑢𝑒 𝑡𝑒𝑟𝑚𝑖𝑛𝑎 𝑒𝑛 1}

EJEMPLO 2

0 𝑄, Σ, δ, 𝑞0 , 𝐹 ,

1 𝑄 = {𝑞0 , 𝑞1 }
Σ = {0, 1} Acepta Rechaza
0 1
𝑞0 𝑞1 δ 0 1 10 01
→∗ 𝒒𝟎 𝑞0 𝑞1 01010 010101
ε 01010101
𝒒𝟏 𝑞0 𝑞1
0 11110 00001
1
𝑞0 𝑒𝑠 𝑒𝑙 𝑒𝑠𝑡𝑎𝑑𝑜 𝑑𝑒 𝑖𝑛𝑖𝑐𝑖𝑜.
𝑀2
𝐹 = {𝑞0 }

𝐴 = 𝐿(𝑀2 ) = 𝑤 𝑤 𝑒𝑠 𝑙𝑎 𝑐𝑎𝑑𝑒𝑛𝑎 𝑣𝑎𝑐í𝑎 𝑜 𝑡𝑒𝑟𝑚𝑖𝑛𝑎 𝑒𝑛 𝑐𝑒𝑟𝑜}

EJEMPLO 3

𝐶𝑜𝑛𝑠𝑡𝑟𝑢𝑖𝑟 𝑢𝑛 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎 𝑞𝑢𝑒 𝑟𝑒𝑐𝑜𝑛𝑜𝑧𝑐𝑎 𝑒𝑙 𝑙𝑒𝑛𝑔𝑢𝑎𝑗𝑒 𝐿 = 𝑤 𝑤 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 𝑙𝑎 𝑠𝑢𝑏𝑐𝑎𝑑𝑒𝑛𝑎 01},

𝑏𝑎𝑗𝑜 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 Σ = 0,1 .

1 0 Acepta
01
001
0 1 010
𝑞0 𝑞1 𝑞2 101
011
000110

0,1
EJEMPLO 3

𝐶𝑜𝑛𝑠𝑡𝑟𝑢𝑖𝑟 𝑢𝑛 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎 𝑞𝑢𝑒 𝑟𝑒𝑐𝑜𝑛𝑜𝑧𝑐𝑎 𝑒𝑙 𝑙𝑒𝑛𝑔𝑢𝑎𝑗𝑒 𝐿 = 𝑤 𝑤 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 𝑙𝑎 𝑠𝑢𝑏𝑐𝑎𝑑𝑒𝑛𝑎 01},

𝑏𝑎𝑗𝑜 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 Σ = 0,1 .
𝑄, Σ, δ, 𝑞0 , 𝐹 ,

1 0 𝑄 = {𝑞0 , 𝑞1 , 𝑞2 }
Σ = {0, 1}
δ 0 1
0 1
𝑞0 𝑞1 𝑞2 → 𝒒𝟎 𝑞1 𝑞0
𝒒𝟏 𝑞1 𝑞2
∗ 𝒒𝟐 𝑞2 𝑞2

0,1 𝑞0 𝑒𝑠 𝑒𝑙 𝑒𝑠𝑡𝑎𝑑𝑜 𝑑𝑒 𝑖𝑛𝑖𝑐𝑖𝑜.

𝐹 = {𝑞2 }
¿PREGUNTAS?