APORTE TRABAJO COLABORATIVO 1

AUTOMATAS Y LENGUAJES FORMALES

TUTOR:
VICTOR FERNANDO CANON RODRIGUEZ

PRESENTADO POR:
YEINER ANDRES MARTINEZ GUTIERREZ
COD: 1081813370
GRUPO: 301405_69

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
CEAD VALLEDUPAR
MARZO 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 tems, Autmatas Finitos Deterministas, Autmatas Finitos no Deterministas, lenguajes y expresiones regulares (ER), encuentre
segn corresponda:

AFN/AFD
EJ1

LENGUAJE
L= {w | w tiene al
menos una a y a
tiene al menos
una b} sobre
{a, b}.

ER
a b b

EJ2

L={w | w
empieza por b y
termina en a}

bb a(a+b b a)

EJ3

El lenguaje de las
palabras que tiene
a abb o bba por
subcadena

(aa b(aa b) b+aaa b (aa b) b+abb a)(a+b)

EJ4

L= {w |w , todo
que empieza con
b o d y termina en
a o c} seguidas de
una serie de f de
g.

(bf a+ dg c )

EJ5

(ab U c)* d

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.

La ER4 es un AFND se convierte en un AFD

1. Describa la forma matemtica del autmata.

M =( { q 0, q 1, q 2 } , {a ,b , c , d , f , g } , , q 0, {q 0 }) .
2.

Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata
del ejercicio propuesto).

K= { q 0, q 1,q 2 }
A= { a , b , c , d , f , g }
I =q 0

F=q 0
Donde la funcin

: { q 0, q 1, q 2 } x { a , b , c , d , f , g } {q 0, q 1,q 2 } viene dada por :

 ( q 0, b ) =q 1
( q 1 , f )=q 1
( q 1 , a )=q 0
( q 0 , d )=q 2
( q 2 , g )=q 2
( q 2 , c )=q 0

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 pie de pgina o de lo contrario no tienen validez).
Secuencia afb

Desde q0 se pasa a q1 con valor a aceptando el parmetro y continuando con la

transicin.

La secuencia sigue su camino cambiando su valor en q1 a f y volviendo al

mismo estado.

La secuencia retorna al estado inicial con valor de b y colocando el fin de la

secuencia en verde para notificar que la cadena ingresada ha sido aceptada.