AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO NO. 1

ELABORADO POR:

TUTOR DEL CURSO:

MAGDA LORENA ZUIGA
GRUPO:
301405_33

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E EINGENIERIA, ECBTI
PROGRAMA DE INGENIERIA DE SISTEMAS
CEAD PALMIRA
SEPTIEMBRE DE 2016
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
1

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:
Ejercicio 1

Autmata Finito Determinista

Lenguaje:
L= cadenas que pueden empezar con uno y terminar con este o puede empezar con cero y
terminar con uno, o puede iniciar dos ceros o dos unos varias veces y terminar con cero uno o
uno, puede contener o no un cero o varios ceros al final.

ER:

0
0

11
{0,1 } = 0 0

11

Ejercicio 2

Autmata Finito No Determinista

Lenguaje:
L= cadenas que deben empezar con uno puede o no contener uno o ciento uno varias veces.
ER:
01
{0,1 } = 1
11
Ejercicio 3

Autmata Finito No Determinista

Lenguaje:
L= cadenas que debe empezar con uno, puede o no contener ciento uno o cero, cero uno varias
veces.
ER:
01
1

{0,1 } = 01
0

11
2. PARA LA EXPRESION REGULAR: ca*+bb*ab(a+b+cc*b)*
SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:
ca*+bb*ab(abc)*
Autmata grfico:

1. Describa la forma matemtica del autmata.

=( { q0 , q1 , q2, q 3, q4, ) } , { c ,b ,a } , ,q 0 {q 4 } 2. Plasme la tabla de transicin. Identifique que
tipo

de

autmata

es

(AFD

AFND)

justifique su respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo

asociando la respuesta al diseo del autmata)
Transicin

( q 0 , c) = q1

( q1 , a) = q1

( q1 , b) = q 2

( q 2 , b) = q 2

( q 2 ,a)= q 2

( q3 , b) = q 4

( q 4 , a) = q 4
5

( q 4 , a) = q 4

( q 4 , a) = q 4
a

Q0

Q1

Q1

Q1

Q1

Q2

Q2

Q2

Q3

Q3

Q4

Q4

Q4

Q4

Este autmata no es un AFD porque la combinacin no produce un solo estado, es un AFND

porque el estado q 0 con smbolo c puede ir al estado q1 , y el estado q1

con smbolo b

puede ir q 2 o bien puede tomar el smbolo a y luego con el smbolo b ir q 2 , q 2 con

smbolo a puede ir a q3
q3

o bien puede tomar el smbolo b y luego con el smbolo a ir q3 ,

con smbolo b puede ir a q 4 .

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 tupla es una secuencia ordenada de objetos, es una lista de elementos con un nmero
limitado de objetos y se emplean para describir objetos matemticos los cuales pueden ser
descompuestos en un nmero de componentes.
M =( { q0 , q1 , q2, q 3, q 4, ) } , { c ,b ,a } , , q0 {q 4 }

K= { q 0, q1 , q2 ,q 3 , q4 } 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= { q 0, } el estado inicial donde inicia el autmata su recorrido por los diferentes estados.
F= { q 4, } 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.

Es un lenguaje regular L = {cbab,cabab, cabbaba, caaaaaaabbbababc,cabbabacabbabacabbaba...}
Se puede apreciar las palabras de L puede iniciar con "cbab o cabab", luego de estas puede tener
repeticiones indefinidas con abc

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)

Cadena cabbaba: Comienza desde q 0 con smbolo de c y va a q1 .

con el smbolo a continua en q1

8

De q1 con el smbolo b va a q 2 y con el simbolo b continua en q 2

De q 2 con el smbolo a va a q3

y de q3 con el simbolo b va q 4 .

Y finalmente con el smbolo a continua en q 4

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

10

Diferencias
1. La presentacin en Jflap se puede hacer en colores, en VAS no.
2. En jflap no se puede generar la tabla de transiciones en VAS s.
3. En Jflap para correr smbolos se da en input, luego en step by step
apareciendo una ventana en la cual se registran y luego se da run
apareciendo el autmata paso a paso su recorrido o funcionamiento, en
cambio en Vas se da los smbolos en la barra superior derecha el alfabeto y
luego el string para luego mostrar en pantalla que el string es aceptado para
el autmata.

Similitudes:
1. Ambos son aplicaciones para probar automatas.
2. La estructuracion se hace ambos de la misma manera.
3. Ambos corren en Java.

7. Genere tres cadenas vlidas y dos no vlidas.

11

12