APORTE TRABAJO COLABORATIVO

AUTOMATAS Y LENGUAJES FORMALES

DESARROLLO MOMENTO 2

ESTUDIANTE
ISABEL CRISTINA GÓMEZ
CÓDIGO: 24336954

Grupo: 301405_33

ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E INGENIERIA

ECBTI
CEAD LA DORADA - UNAD
ABRIL 2015
1. Enuncie el autómata en notación matemática

El siguiente autómata determina como “Autómata Finito

Determinista”; se expresa la notación matemática; como el
Autómata Finito Determinista, equivale de la notación 5-tupla y
se determina de la siguiente manera, 𝑴 = (𝑲, ∑, 𝒒𝟎 , 𝝈, 𝑭)

2. Identifique los componentes del autómata (que tipo de tupla

es)

5-tupla 𝑴 𝑭𝒊𝒏𝒊𝒕𝒐: 𝑴 = (𝒌, 𝜮, 𝒒𝟎 , 𝝈, 𝑭)

Q = Es un conjunto finito de estados.

𝚺 = Es un alfabeto finito.
𝒒𝟎 ∈ 𝑸 = Es el estado inicial
𝝈 = Es una función de transición.
𝑭 = Es un conjunto de estados finales o de aceptación.

𝑲 = (𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5)

∑ = (0, 1, 2)
𝒒𝟎 = 𝑞0 "𝐸𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙"
𝑭 = (𝑞0, 𝑞1, 𝑞4, 𝑞5)

Se expresa en la transición de la siguiente manera

𝜎 = (𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5)𝑥 (0, 1, 2) ⟶ (𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5) ⟶ 𝑞0
⟶ (𝑞0, 𝑞1, 𝑞4, 𝑞5)
3. Identifique la tabla de transición correspondiente

(𝒒𝟎, 𝝀) = 𝒒𝟏
(𝒒𝟎, 𝟎) = 𝒒𝟐
(𝒒𝟎, 𝟏) = 𝒒𝟐
(𝒒𝟏, 𝟏) = 𝒒𝟐
(𝒒𝟏, 𝟎) = 𝒒𝟑
(𝒒𝟐, 𝟏) = 𝒒𝟐
(𝒒𝟐, 𝟐) = 𝒒𝟓
(𝒒𝟑, 𝝀) = 𝒒𝟐

(𝒒𝟑, 𝟐) = 𝒒𝟒
(𝒒𝟒, 𝟏) = 𝒒𝟐
(𝒒𝟒, 𝟐) = 𝒒𝟓
(𝒒𝟓, 𝟏) = 𝒒𝟑
(𝒒𝟓, 𝟐) = 𝒒𝟓
4. Identifique el lenguaje que reconoce y enuncie cinco
posibles cadenas válidas que terminen en un estado “halt”

El lenguaje que genera, el Autómata Finito Determinista, según

las transiciones.

Ŝ= (q0, q1, q4, q5) estado final

W=1122
Ŝ= (Q0, W)=Q0, Q1, Q4, Q5

𝑳 = (𝑨 𝝐 (𝟏, 𝟎)l 𝑨 = 𝟏, 𝟎 >= 𝟏)

CADENAS VALIDAS CADENAS NO VALIDAS

11 111111
12 2211
1122 2221
1112 2111
1222 212121
1212 222222
5. Encuentre la expresión regular válida.

Al encontrar la “Expresión Regular”, se analiza la ruta de destino

en este caso es q5, como estado de aceptación; ahora se
identifica los estados de aceptación q0, q4 y q5; para hallar la
expresión regular se tomó solo q5 como estado de aceptación,
para dar la ruta de destino.

EXPRESION REGULAR

((0+1+1)1*2+01*2+02(2+11*2))(2+11*2+12(2+11*2))*
6. Encuentre su gramática que sea válida para la función de
transición (describa sus componentes y como se escriben
matemáticamente). Justifíquela si la convierte a la Izquierda o a
la derecha (eso significa que debe hacerla por ambos lados y
verificar cual es válida sustentando el por qué). Plásmela en el
simulador y recréela.
 La conversión se hace a la izquierda porque
es la lineal a la derecha ya que el mismo
lenguaje es generado por la siguiente
gramática línea por la derecha.

Se desarrolló en “Convert to Grammar”

Le damos clic en “Export” = tomamos la gramática generada

por el simulador, y se analiza las cadenas validas con la
expresión gramática.

Como se observa se establece la digitación de las cadenas

válidas y no validas, y como se muestra el simulador reconoce
las válidas y no válidas.