AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO NO. 1

ELABORADO POR:

CARLOS ANDRES GUTIERREZ COD. 6.391.734

Carandgut1981@hotmail.com
ANDREA YAZMIN MARTINEZ
andrem18@hotmail.com.ar
ANDRES FELIPE CHAPUESGAL
WILMER ANDRES ZURATA C. 1087.418.847
wilzeta40@hotmail.com

TUTOR DEL CURSO:

MAGDA LORENA ZUIGA
GRUPO:
301405_33

CEAD PASTO
SEPTIEMBRE DE 2016

Problemas a desarrollar:
1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o con otra
secuencia de operadores o distribucin de smbolos. En general es una forma matemtica
que representa el Lenguaje que genera un Autmata. Y esas expresiones regulares siempre
sern vlidas siempre y cuando representen exactamente el mismo lenguaje para un
Autmata. Concluyendo, para un Autmata, puede haber ms de una ER que representa el
mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera
escribir. Solo que en los diseos ptimos computacionales siempre se buscar la mejor ER
(corta o mnima) para efectos de la mejor simulacin o para llevarlas a lenguajes de
programacin en la creacin de soluciones computacionales (solucionar problemas Algoritmos)
Dados los siguientes tem, Autmatas Finitos Deterministas, Autmatas Finitos no
Deterministas, lenguajes y expresiones regulares (ER), encuentre segn corresponda:
AFN / AFD

LENGUAJE

EXPRESIN
REGULAR

EJ
1

Esta
expresin
contiene
dos
trminos
separados por el
operador lgico
V, lo que lleva a
que se de alguna
de
las
dos
condiciones:
[110*] o [0010*]

10* 0010*

EJ
2

Cadenas
que [11*10]
empiezan por un
nico 1, seguida
de un 1* (puede o
no haber uno o
ms unos) le
sigue un uno y
termina con un
nico 0.

Cadenas
que 11*1000
empiezan por un
nico 1, seguida
de un 1* ( puede
o no haber uno o
ms unos) luego
la expresin se
separa por el
operador lgico
V, lo que lleva a
que se de alguna
de
las
dos
condiciones: 10 o
00.

EJ
3

2. PARA LA EXPRESION REGULAR : ca*+bb*ab(a+b+cc*b)*

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:

ca*+bb*ab(a+b+cc*b)*

1. Describa la forma matemtica del autmata,

({

)} {

{ }

2. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o AFND) y

justifique su respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo
asociando la respuesta al diseo del autmata)
Transicin
( , c) =
( , a) =
( , b) =
( , b) =
( ,a)=
( , b) =
( , a) =
( , a) =
( , a) =
a

3. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto). Debe explicar y describir cada elemento y la funcin y significado en
el autmata. Conceptos y definiciones adicionales.
Una n-tupla es una secuencia (o lista ordenada) de n elementos, siendo n un nmero natural
(entero no-negativo). La nica 0-tupla es la secuencia vaca. Una n-tuplase define inductivamente
desde la construccin de un par ordenado. Las tuplas suelen anotarse listando sus elementos
}
entre parntesis "( )", separados por comas.
{ }
({
)} {
K= {

} conjunto de estados donde el autmata viaja de un estado a otro.

{a, b, c} esta la podemos describir como el alfabeto que utiliza el autmata.

S= {

} el estado inicial donde inicia el autmata su recorrido por los diferentes estados.

F= {

} este elemento de la tupla es donde termina el estado final del autmata.

= Funcin de transicin de la forma : (K x ) = K, la funcin de transicin nos indica a qu estado

se va a pasar sabiendo cual es el estado actual y el smbolo que se est leyendo, esta condicin
solo se cumple por el determinismo ya que siempre permite saber y despus de una transaccin,
cul ser el siguiente estado.

4. Identifique el lenguaje que genera.

5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas en pi de
pgina o de lo contrario no tienen validez)
6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes
y tres diferencias que encuentra al realizarlo en los dos simuladores. (herramientas que
ofrezca uno u otro).
7. Genere tres cadenas vlidas y dos no vlidas.
3. Teniendo en cuenta el siguiente autmata identifique si es AFD o AFND, Si es un AFD
genere un AFND que reconozca el mismo lenguaje; o por lo contrario si el autmata inicial
es un AFND, genere un AFD que reconozca el mismo lenguaje.

El autmata es un AFND que consta de 4 estados

Conversin a AFD
A= {0} U {-}
B= {0,1} U {3}
C={2} U {1}
D={
} U {3,1}
E={0,2} U {1}

C={2} U {1}
A={0} U {-}
E={0,2} U {1}
A={0} U {-}

B= {0,1} U {3}
D={
} U {3,1}
C={2} U {1}
D={0,1,2} U {3,1}
D={0,1,2} U {3,1}

#A
#B
C
#D
#E

C
A
E
A

B
D
C
D
D

1. Describa la forma matemtica del autmata

)} {

({

{ }

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del
ejercicio propuesto).
= ({ 0,

1,

2,3)},

{0,1, }, ,

0{ 1}

K= {

} conjunto de estados donde el autmata viaja de un estado a otro.

{0, 1, } esta la podemos describir como el alfabeto que utiliza el autmata.

S= {

} el estado inicial donde inicia el autmata su recorrido por los diferentes estados.

F= {

} este elemento de la tupla es donde termina el estado final del autmata.

= Funcin de transicin de la forma : (K x ) = K, la funcin de transicin nos indica a qu estado

se va a pasar sabiendo cual es el estado actual y el smbolo que se est leyendo, esta condicin
solo se cumple por el determinismo ya que siempre permite saber y despus de una transaccin,
cul ser el siguiente estado.

3. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas en pi de
pgina o de lo contrario no tienen validez)
4. Muestre el diagrama de Moore generado en JFLAP y en VAS
5. Identifique la ER asociada al nuevo diseo y comprela con la expresin regular
simplificada (es decir analcelas con dos cadenas vlidas y con dos no vlidas). Para ello
debe identificar en una tabla la jerarqua de operadores regulares, identificando con colores
las sentencias matemticas.