ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E INGENIERIA

ECBTI

AUTOMATAS Y LENGUAJES FORMALES

301405_11

DESARROLLO MOMENTO 1

NANCY SORAIDA BAYONA GUIO

COD:1.053.609.890
JOSE EDWAR QUINTERO

JAIME JOSE VALDES

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD DUITAMA

DUITAMA
JULIO DE 201

INTRODUCCION

La teora de autmatas est estrechamente relacionada con la teora del lenguaje formal ya
que los autmatas son clasificados a menudo por la clase de lenguajes formales que son
capaces de reconocer.
Un autmata es un modelo matemtico para una mquina de estado finito ya que
dependiendo del estado en el que el autmata finaliza se dice que este ha aceptado o
rechazado la entrada. Si ste termina en el estado "acepta", el autmata acepta la palabra. Si
lo hace en el estado "rechaza", el autmata rechaz la palabra, el conjunto de todas las
palabras aceptadas por el autmata constituyen el lenguaje aceptado por el mismo

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
EJ
1

EJ
2

EJ
3

LENGUAJE
L={cadena
que
no
se
encuentre vaca y no tiene
tres (b) consecutivos }

EXPRESION REGULAR

b (b (a ))

L={cadena
que
no
se
encuentre vaca y no tiene
cuatro (b) consecutivos }

b ( b ( b ( a )) )

L= { cadenas que empiezan por

1 ( 0 ( 1 ) )

a y no tienen dos ceros (0)

consecutivos}

PARA LA EXPRESION REGULAR: c*a+c*a(a+b+cc*b)*

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:
c . a c . a(a b c . c b)
c*ac*a(a+b+cc*b)*

Describir de forma matemticas

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

salida
q0
q0
q1
q2
q2
q2
q2
q2
q3
q3
q4
q4
q4
q5
q5
q6
q6
q7
q7
q7

simbolo
a
c
c
a
c
b
a
c
c
b
c
a
b
c
a
b
c
c
b
a

llegada
q2
q1
q1
q5
q3
q4
q1
q3
q6
q7
q3
q5
q4
q3
q5
q7
q6
q3
q4
q5

Tipo de autmata:
AFND: Porque por cada transicin que tengo llega a
un estado y no a varios
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.
Es una 5-tupla (Q, , q0, , F)
Q: {q0, q1, q2, q3, q4, q5, q6, q7}

Que es el conjunto de estado que hay dentro del autmata

: {a,b,c}
Es el alfabeto de nuestro autmata
q0: {q0}
Es el estado inicial de nuestro autmata
:( q0+a=q2)
: (q0+c=q1)
: (q1+c=q1)
: (q2+a=q5)
: (q2+c=q3)
: (q2+b=q4)
: (q2+a=q1)
: (q2+c=q3)
: (q3+c=q6)
: (q3+b=q7)
: (q4+c=q3)
: (q4+a=q5)
: (q4+b=q4)
: (q5+c=q3)
: (q5+a=q5)
: (q6+b=q7)
: (q6+c=q6)
: (q7+c=q3)
: (q7+b=q4)
: (q7+a=q5)
Son funciones de transicin
F:{q3}
Estado aceptador
L{w/w Se aceptan sucesin de a,b,c terminando en b}
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)

Trabajar con la cadena de caracteres b(ab)*b

Estado inicial q2, donde vamos a ingresar el primer carcter que es a.

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

Similitudes:
a. La manera de graficar es la misma
b. Las relaciones son igual
c. Los estados son iguales
Diferencias:
d. JLAP tiene un simulador para las grficas de moore, Vas no
e. Es mucho ms fcil graficas las salidas en JLAP
f. Vas no exporta el autmata como imagen
7

.Genere tres cadenas vlidas y dos no vlidas.

Cadenas validas:
aa
a
ab
Cadenas no validas:

a+b+c
c+a
b+a+a