ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

AUTOMATAS Y LENGUAJES FORMALES

MOMENTO 1
GRUPO: 301405-58

ESTUDIANTES
FERNANDO OTALORA CDIGO 1075245925
ALBA VIVIANA ORTIZ CDIGO 108018567
RONALD NINCO CDIGO 7716564

TUTORA
ANGELA MARIA GONZALEZ

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
SEPTIEMBRE 26 DE 2015

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

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) Dada las siguientes expresiones regulares
(ER), encuentre la expresin mnima simplificada correspondiente y una posible
expresin equivalente escrita de otra forma. (para ello, siempre tenga en cuenta
la jerarqua de caracteres y el tema de ER descrito en el mdulo).
Expresin Regular 1

)
)

Su expresin regular simplificada seria:

Expresin Regular 2
)

Su Expresin Regular Simplificada seria:

Y su expresin alterna o equivalente seria:

)

)
)

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Expresin Regular 3
Su Expresin Regular Simplificada seria:
a)

Y su expresin alterna o equivalente seria:

)

Expresin Regular 4

Su Expresin Regular Simplificada seria:

)
)

)
)

)
)
)

Y su expresin alterna o equivalente seria:

))

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Expresin Regular 5
(

) )

Su Expresin Regular Simplificada seria:

) )
)

Y su expresin alterna o equivalente seria:

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

2. PARA LA EXPRESION REGULAR 4:

RESUELVA:

a) Describa la forma matemtica del autmata:

Tomamos la simplificacin de la expresin que es:
)
M = (

Definimos el alfabeto:

{ }

)
)

)
)

)
)

La funcin es:
)

)
}

Nos podemos dar cuenta que de cada nodo solo parte un arco por smbolo, no
hay arcos en los que falte un smbolo. Segn la notacin matemtica solo hay un
estado inicial que es q0. Siempre sabremos cual ser el estado siguiente.
La funcin de transicin sera:
{

b) 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).

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

RTA:
Dada la ER siempre existe un AFND- con transiciones nulas. A partir de
l se podra construir un Autmata determinista asociado.
)

ER=
Podemos empezar dibujando el AFND-:

Con el AFND- podemos realizar la tabla de transicin:

f
q0
# q1
q2
q3
q4
q5
q6
q7
q8
q9
q10
q11
q12
q13
q14
q15

q2

q3, q8
q2, q4

q6
q7,q10
q1, q6

q3
q12, q14
q7

q11

q11

q5

q13

q9

q15

Podemos simplificar el diagrama de Moore:

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Con este grfico es ms fcil realizar la tabla de transicin:

f
q0
# q1
q2
# q3
# q4

0
q1
q3
q1
q3
q3

1
q2
q4
q2
q4
q4

Este autmata es AFD porque:

Por cada nodo solo hay un arco etiquetado con cada uno de los
smbolos del alfabeto 1 o 0.
Tiene un estado inicial claro y definido, q0.
Tiene varios estados finales, q1, q3 y q4.

c) 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.

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

RTA:

Las tuplas son un ordenamiento, serie, fase, serie o ciclo que ordena
objetos matemticos y as poder describir sus estructuras demostrando
que los susodichos objetos pueden ser descompuestos en determinado
nmero de componente.
Por ejemplo un Grafo es un par ordenado de Vrtices y Aristas, estas
ltimas relacionan los vrtices. De esta manera es que se forman las
tuplas del Grafo que representan su ciclo o secuencia.
En un autmata:

M= (

Tenemos que tiene 5 Tuplas (agrupacin de elementos), as:

1.

El Alfabeto que contiene estos dos smbolos - puede

ser un Conjunto finito y no vaco de smbolos.

{

2.

Conjunto de los estados del autmata, que

conservan la informacin.

3.

Viene dada por la Funcin de transicin

)

4.

5.

{ }

Estados finales del autmata

Estado inicial del autmata

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

d) Identifique el lenguaje que genera.

RTA: Primero definimos lenguaje L como el conjunto de palabras

son cadenas formadas por simbolo de un alfabeto

que

Por lo tanto:
{

) }

El conjunto de todas las cadenas posibles dentro de todo el conjunto de

combinaciones posibles {0,1}n de tal manera que esas cadenas empiecen
por 0 o 1, debe tener dos estados iguales en cualquier parte de la cadena
00 11y que finalicen en 0 o 1. Bajo ciertas condiciones o propiedades.

e) 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).

RTA: La cadena valida que se evaluara es 101:

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Para el primer simbolo de la cadena (1),vemos que la secuencia se

ejecuta de q0, luego va a q2.

Para el segundo simbolo de la cadena (0),vemos que la secuencia se

ejecuta de q2, luego pasa a q1.

10

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Para el tercer y ultimo simbolo de la cadena (1),vemos que la secuencia

se ejecuta de q1 y luego pasa a q4 y finaliza, lo que quiere decir que la
cadena es valida.

11

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

f)

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).
RTA:

SIMILITUDES
DIFERENCIAS
- La forma de dibujar los diagramas es
muy similar.
- Ambos pueden realizar una simulacin
de una cadena valida o no valida.
- Ambos ilustran el inicio y el final de un
diagrama con smbolos muy similares.

12

- En VAS si se quieren ingresar dos

smbolos en una transicin se ingresan
seguidos sin espacio.
- VAS en la simulacin es ms grfico y
lo muestra con colores sobre el
diagrama de more.
- JFLAP puede transformar una ER en
un diagrama de MORE.
- VAS te muestra la tabla de
transiciones.

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

g) Genere tres cadenas vlidas y dos no vlidas.

13

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

3. Si el autmata inicial (el de la ER4) 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.

a) Describa la forma matemtica del autmata

M = (

{ }

{ }

La funcin de transicin sera:

{
{

14

}
}

}
{ }

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

b) Identifique los elementos (Tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto).
Un AFND es una 5-tupla:

1.

M= (

) donde:

Es el Alfabeto - puede ser un Conjunto finito y no vaco de

smbolos.
{

2.

Conjunto de

los estados del autmata, que conservan la informacin.

{

3.

}
{ }

Funcin de transicin
En un AFND la funcin de transicin se define como:
: K x P(K)
Para el caso de los AFND- , se suele expresar la funcin de transicin de la
forma:
: K x ( U {

15

}) P(K) donde P(K) es el conjunto potencia de K.

4.

{ }

Estados finales del autmata

5.

{ }

Estado inicial del autmata

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

c) 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).

Se inicia desde q0, con la cadena (1001).

16

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

El primer elemento de la cadena es (1) el cual llega hasta el q9, ya que hay transiciones
vacas (q2, q3, q8).

El siguiente elemento de la cadena es (0) el cual llega hasta q5, ya que hay transiciones
vacas (q3, q4).

17

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

El otro elemento de la cadena es (0) el cual llega hasta q13, y pasa por las
transacciones vacas (q6, q10, q12, q14, q7).

El ltimo elemento de la cadena es (1) el cual llega hasta q15, pasando por los estados
vacos (q11, q7, q5, q10, q14).

18

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

Por ltimo la cadena finaliza en q1 aceptndola. Ya que los estados siguientes estn
vacos (q11, q7)
d. Muestre el diagrama de Moore generado en JFLAP y en VAS

19

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

e. 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.

La expresin regular de este autmata es:

ER:
))

))

(
)

20

) )

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

REFERENCIAS BIBLIOFRAFICAS

Altamirano, L., Arias, M., Gonzlez, J., Morales, E., & Rodrguez, G. (2011). Teora de
Autmatas y Lenguajes Formales.

Universidad Tcnica Particular de Loja. (2009) Videoconferencias. Recuperado de

https://www.youtube.com/watch?v=IDZkd2571gU

Juancar Molinero. (2014). Definicin Formal de un Autmata Finito Determinista.

Recuperado
de
https://www.youtube.com/watch?v=P0AxQvJcN2Q&list=PLzv9272qg5D08baz38erCnvuxBJta-wb

David Martnez. (2012).

Lenguajes y Autmatas.
https://www.youtube.com/watch?v=WP4cvNiMmYk

Recuperado

de

Carlos Alberto Amaya T. (2013). Lenguaje aceptado por un autmata. Recuperado de

https://www.youtube.com/watch?v=QdRlbzVsvLQ

21