You are on page 1of 7

TRABAJO COLABORATIVO No.

1
AUTOMATAS Y LENGUAJES FORMALES

Presentado por:
Lizeth Ximena Ochoa Bolvar - Cdigo: 23.324.807
Adriana Romero Ramrez - Cdigo: 40776458

Universidad Nacional Abierta y a Distancia UNAD


Programa: Ingeniera de sistemas

INTRODUCCION

La definicin del lenguaje formal para nuestro caso en programacin, est diseado para la expresin de
procesos que pueden ser llevados a cabo por mquinas como las computadoras, su diseo est formado por
un conjunto de smbolos y reglas sintcticas y semnticas que definen su estructura y el significado de sus
elementos y expresiones. Entre estos elementos podemos encontrar las expresiones regulares DFA y
NDFA. Es importante para el desarrollo de las actividades propuestas a continuacin el conocimiento del
Software que nos permite realizar la simulacin del autmata. Es importante recalcar que El autmata es
la primera mquina con lenguaje, es decir, un calculador lgico cuyo juego de instrucciones se orienta
hacia los sistemas de evolucin secuencial.

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 el siguiente tem, Autmatas Finitos Deterministas, Autmatas Finitos no Deterministas,
lenguajes y expresiones regulares (ER), encuentre segn corresponda:

AFN / AFD

LENGUAJE

EJ1

L= { cadenas que empiezan con dos 0


y tienen dos unos (0) consecutivos}

EJ2

EXPRESIN
REGULAR

00( ) 11

L= { cadenas que empiezan por 1 y no


tienen dos ceros (0)
consecutivos}

EJ3

L= { cadenas que contienen dos 0


consecutivos}

2. PARA LA EXPRESION REGULAR: (0+2+11*2)*1*0+1*0


al simplificar quedara:
(2+(0+11*+))*1*0+1*0

2(011*)*1*0+1*0

propiedad 4

propiedad 14

0(0*01*)* U
0(0+1)*

SIMPLIFIQUE LA EXPRESIN REGULAR Y


RESUELVA:

1.

Describa la forma matemtica del autmata:

A = ({q0, q1, q2, q3}), {0, 1, 2}, q1, {q2, q3}) por consiguiente en su forma matemtica es:

L={(0,2,11^n2)^m1^0,1^t0} | (n,m.,t)>=0}

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

q0

q1

q1

q3

q0

q2

q2

q1

q3

q2

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.
A=(Q , , q 0, , F)
Q= Conjunto de estados
= Alfabeto

q 0=Estado Inicial
=F uncin de Transicin

F=estados de aceptacin
Y donde:
Q={q 0, q 1, q 2, q 3 }
={a , b , c }
q 0=q 2

F=q 3
={( q 2,a ) q 3, ( q 2, b ) q 3, ( q 2, c ) q 1, ( q 3, b ) q 3, ( q 1,b ) q 0, ( q 1, a ) }
4. Identifique el lenguaje que genera.
L={a {a , b , c }a }
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 ofrezcan
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.

1. Describa la forma matemtica del autmata


2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata
del ejercicio propuesto).
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.