TRABAJO COLABORATIVO NO.

1
AUTÓMATAS Y LENGUAJES FORMALES
GRUPO 53

HENRY ALBERTO AMÉZQUITA CORREA

CODIGO 16948213

PRESENTADO A:
Ing. JAIRO ARMANDO RIAÑO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

FACULTAD DE INGENIERIA Y CIENCIAS BÁSICAS
AUTÓMATAS Y LENGUAJES FORMALES
2010
 INTRODUCCIÓN

En la actualidad no hay ningún límite para lo que un computador pueda llegar a

hacer, y cada vez se van solucionando mas problemas que nos afectaban en
nuestro diario vivir.

Los lenguajes se pueden considerar como elementos que se generan, como son
las cadenas a partir de cadenas sencillas, con el uso de operaciones de cadenas o
el desarrollo del lenguaje mismo, se puede generar con otros lenguajes más
sencillos mediante operaciones de conjuntos.

Teniendo en cuenta que los lenguajes más sencillos son considerados lenguajes
regulares; así lenguajes que pueden reconocer dispositivos denominados como
autómatas finitos

Por medio del desarrollo del siguiente trabajo, afianzamos nuestros conocimientos
sobre esta área tan importante en nuestro desarrollo profesional. Así mismo
intercambiamos conocimientos y estrechamos lazos de amistad con nuestros
compañeros del grupo colaborativo.
 OBJETIVO GENERAL

Reconocer los lenguajes regulares, autómatas finitos y su aplicación.

OBJETIVOS ESPECIFICOS

 Estudiar la aplicación de los lenguajes regulares y los autómatas finitos.

 Adquirir las habilidades necesarias para desarrollar autómatas y máquinas
que reconozcan lenguajes o computen funciones.
 Distinguir los diferentes tipos de lenguajes formales existentes.
 TEMATICA DEL TRABAJO

LENGUAJES REGULARES

1. CONCEPTOS BASICOS
a. Introducción Histórica
b. Diferentes modelos de computación
c. Autómatas y lenguajes
d. Lenguajes regulares
e. Autómata

2. AUTOMATAS FINITOS
a. Definición
b. Autómatas finitos determinísticos
c. Autómatas finitos no deterministicos
d. Autómatas finitos con Transacciones
e. Lenguajes aceptados
f. Autómata

3. EXPRESIONES REGUALRES
a. Significado de Expresión regular
b. Autómatas finitos y expresiones, teoremas de equivalencia

4. PROPIEDADES DE LENGUAJES REGULARES

a. AFN para la unión y concatenación.
b. Equivalencia de autómatas
 TRABAJO COLABORATIVO No. 1

1. Obtener el lenguaje reconocido por el siguiente AFD:

A = ({a, b, c}, {q0, q1, q2, q3, q4}, f, q0, {q2})

f(q0, a) = q1 f(q0, b) = q4 f(q0, c) = q4
f(q1, a) = q4 f(q1, b) = q1 f(q1, c) = q2
f(q2, a) = q4 f(q2, b) = q4 f(q2, c) = q2
f(q3, a) = q4 f(q3, b) = q3 f(q3, c) = q2
f(q4, a) = q4 f(q4, b) = q4 f(q4, c) = q4

Tabla de Transiciones Buy SmartDraw!- purchased copies print this

document without a watermark .
a b c www.smartdraw.com or call 1-800-768-3729.
Visit
q0 q1 q4 q4
q1 q4 q1 q2
q2 q4 q4 q2
q3 q4 q3 q2
q4 q4 q4 q4

El lenguaje reconocido por el AFD es:

ba*b*c*
ca*b*c*
ab*aa*b*c*
ab*cc*aa*b*c*
ab*cc*ba*b*c*

2. Determinar el lenguaje que reconoce el siguiente AFD:

(1,2) ^ n + (3) + ((1,2,3)+(1,2,3) ^ n )

M = { (1,2,3), (q1,q2,q3) }

q1 es la entrada inicial
TABLA DE TRANSICIÓN
δ 1 2 3
q1 q1 q1
q2 q2
q3 q3 q3 q3
Salida No. q2
δ (q, δ)

M = { (1,2,3), (q1,q2,q3), δ, q1,q3 }

Donde: δ={(q1,q2,q3)x(1,2),(q2,q3)x(3)  q }

El lenguaje que reconoce el autómata AFD es:

1*2*321*2*3*
1*2*311*2*3*
1*2*331*2*3*

3. Dado el autómata finito siguiente:

Definir la gramática lineal izquierda que escribe el mismo lenguaje reconocido por
el autómata.

Q/∑ 0 1
A 0 C
C C D
D E E
E E E

La gramática lineal derecha:

P = {A::=0B | 1C
B::=0B | 1B
C::=0C | 1D
D::=0E | 1E
E::=0E | 1E}

La gramática lineal izquierda:

P = {A::=B0 | C1
B::=B0 | B1
C::=C0 | D1
D::=E0 | E1
E::=E0 | E1}

4. Decir cuales de las siguientes palabras son reconocidas por el siguiente

AFND:
AFND: 110, 01, 100

AFND = ({0,1}, {q0, q1, q2}, q0, {q1})

f(q0, 0) = ∅ f(q0, 1) = {q1, q2} f(q0, λ) = ∅

f(q1, 0) = {q0} f(q1, 1) = {q0, q1} f(q1, λ) = {q0}
f(q2, 0) = {q2} f(q2, 1) = ∅ f(q2, λ) = {q1}

La siguiente palabra es reconocida por el autómata: 100

5. Determinar la pertenencia de las cadenas: aab, aba y ba, al lenguaje

reconocido por el siguiente AFND:

A = ({a,b}, {q1,q2,q3,q4}, f, q1, {q1}, {(q2,q4), (q3,q4),

Buy SmartDraw!- (q4,q3)})
purchased copies print this
document without a watermark .
Visit www.smartdraw.com or call 1-800-768-3729.
f(q1,a) = {q2} f(q1,b) = ∅
f(q2,a) = {q1,q3,q4} f(q2,b) = {q1,q3}
f(q3,a) = ∅ f(q3,b) = {q1,q4}
f(q4,a) = ∅ f(q4,b) = {q3}
A = {(a,b) (q1,q2, q3, q4) f, q1, (q)}, {(q2,q4) (q3,q4) (q4,q3)}

Q = {q1, q2, q3, q4}

∑ = {a,b}
q0 = q1

aab
f (a, a) = q2
f (q2, a) = q3, q4, q1
f (q1, b) = 0 Buy SmartDraw!- purchased copies print this
f (q3, b) = q1 document without a watermark .
Visit www.smartdraw.com or call 1-800-768-3729.
f (q4, b) = q3

q1 q2 q3 q4
aab
q1 q2 q4 q3

aba

f (a, a) = q2
f (q2, b) = q1, q3
f (q1, a) = q2
f (q3, a) = 0

q1 q2 q1 q2
aba
q1 q2 q3 0 ab

ba

f (q1, b) = 0

Las cadenas que pertenecen son aab y aba

6. Obtener para cada uno de los siguientes autómatas finitos su autómata
mínimo Equivalente:

Primero revisamos si posee estados inaccesibles, y para este caso no los posee,
Luego elaboramos tabla para separar los indistinguibles agrupando estados
iniciales en G1 y estados finales en G2 así: G1 = {P1,P2,P3,P5,P6,P7}
G2={P4,P8}

ε 0 1
P1 G1 G2
P2 G1 G1
G1 P3 G1 G2
P5 G1 G1
P6 G1 G1
P7 G1 G1
G2 P4* G1 G1
P8* G1 G1

P8* ----------> Se repite muchas veces un proceso

Luego la tabla resultante de agrupar comunes sería:

ε 0 1
G1 P1 G1 G2
P2 G1 G1
G2 P4 G1 G1

El autómata mínimo equivalente resultante es:

Autómata A2

Inicialmente verificamos si posee estados inaccesibles, y para este caso posee q4

Buy SmartDraw!- purchased copies print this
y q5 ya que son estados a los cuales no llega ninguno.
document without a watermark .
Visit www.smartdraw.com or call 1-800-768-3729.

Posteriormente elaboramos tabla para separar los indistinguibles agrupando

estados iniciales en G1 y estados finales en G2 así:
G1 = {q1,q2,q3,q6,q7}
G2={q8}

ε 0 1
q1 g1 g1
q2 g1 g1
G1 q3 g1 g1
q6 g1 g1
q7 g1 g2
G2 q8* g1 g1

La tabla resultante de agrupar comunes es:

ε 0 1
 G1 q1 g1 g1
q7 g1 g2
G2 q8* g1 g1

El autómata mínimo equivalente resultante es:

7.) Dada la gramática lineal derecha: G = (T, N, S, P)

T = {0, 1} .
N = {S, A} Buy SmartDraw!- purchased copies print this
P = { S::= 1A | 1S, A::= 0A | 1A | 1 } document without a watermark .
Visit www.smartdraw.com or call 1-800-768-3729.

Encontrar el autómata finito determinista (AFD) mínimo asociado.

0 1
p AS Q
AS* A ABS
A A ABS
ABS* AS ABS
q Q Q
8. Dado el autómata finito:

(a) Construir el AFD mínimo equivalente

δ 0 1 λ

p* ∅ q r
Q r q s
r* ∅ s p
S q r ∅

(b) Deducir el lenguaje que reconoce

0 1 λ
p* Φ q r
q r q s
r* Φ s p
s q r Φ

9. Encontrar el autómata mínimo equivalente al siguiente AFD:

1. No posee estados inaccesibles,
2. Hacer tabla para separa los indistinguibles agrupando estados iniciales en G1 y
estados finales en G2 así:
G1 = {q0,q1,q3,q5,q6,q7,q8}
G2 = { q2,q4,q6,q9}

ε a c b
G1 q0 g1 g1 g1
q1 g1 g2 g1
q3 g1 g2 g1
q5 g2 g1 g1
q7 g1 g2 g1
q8 g1 g1 g1
G2 q2* g2 g1 g2
q4* g1 g2 g2
q6* g2 g1 g2
q9* g1 g2 g2

Entonces la tabla resultante de agrupar comunes sería:

ε a b c
G1 q0 g1 g1 g1
q1 g1 g2 g1
q5 g2 g1 g1
 G2 q2* g2 g1 g2
q4* g1 g2 g2

q4* , q2* ------------ Se repite un proceso varias veces

El autómata mínimo equivalente resultante es:

10. Construir el autómata finito determinista mínimo equivalente al siguiente:

Buy SmartDraw !- purchased copies print this

document without a watermark .
Visit www.smartdraw.com or call 1-800-768-3729.

1. No posee estados inaccesibles,

2. Hacer tabla para separa los indistinguibles agrupando estados iniciales en G1 y
estados finales en G2 así: G1 = {q0,q2,q4,q5,q6,q7} G2 = { q1,q3,q8}

ε a b c
G1 q0 g2 g1 g1
q2 g2 g1 g1
q4 g2 g2 g1
q5 g2 g1 g1
q6 g2 g1 g1
q7 g2 g2 g2
G2 q1* g2 g1 g1
q3* g2 g1 g1
q8* g2 g1 g1

Agrupando comunes queda:

ε a b c
G1 q0 g2 g1 g1
q4 g2 g2 g1
q7 g2 g2 g2
G2 q1* g2 g1 g1

El autómata mínimo equivalente es:

b,c a

q0 q4 q7 a,b,c q1

b,c

11. Encontrar el AFD mínimo equivalente al siguiente AFND:

Según la tabla de transición la función de transición sería:

(q0,0) = { } (q0,1) = {q0, q3}

(q1,0) = {q0} (q1,1) = {q0, q1}
(q2,0) = {q2} (q2,1) = { }
(q3,0) = {q1} (q3,1) = { }

Según la tabla de transición el autómata directo estaría así:

1
1 0 1 1 0
λ 0 λ

q0 q3 q2
1 λ

0, 1
 ACTA DE CONSTITUCIÓN DEL GRUPO COLABORATIVO

Reunidos los participantes del Grupo Nº 301405_53, para realizar conjuntamente

actividades de aprendizaje del curso Académico: Autómatas y Lenguajes
Formales, se constituyen con el compromiso de trabajar y desempeñar funciones
básicas para el desarrollo de las mismas en el último semestre educativo de la
Universidad Nacional Abierta y a Distancia UNAD; teniendo en cuenta los
siguientes aspectos:

Funciones: En el Aula virtual, se crearon las funciones de: Coordinador, Relator,

Animador, Técnico y Supervisor, donde cada participante asume de forma
responsable dicha función en el desarrollo de un trabajo colaborativo.

Distribución de funciones: En el aprendizaje de la unidad temática

correspondiente al presente trabajo colaborativo, las funciones entre los
miembros del grupo serán cambiadas.

Cumplimiento: Cada participante del grupo debe ser responsable en el

cumplimiento de la función asignada y asumida.

Encuentros: se realizarán interacciones o encuentros en la plataforma, chat,

correo, telefónico u otro medio que permita compartir opiniones y tomar
decisiones.

Designación de nombre: Al grupo de Trabajo se le designará el nombre de:

AUT82 Son las iniciales de nuestros nombres.

Logo Distintivo: El grupo de Trabajo tendrá un logo

distintivo que lo identificara: Un tigre que significa,
sagacidad, cautela y trabajo en equipo.
Los miembros del grupo: los participantes del grupo colaborativo son:

Miembro NOMBRE: HENRY ALBERTO AMÉZQUITA Coordinador

nº 1 CORREA
Nº DE MATRICULA:
EMAIL: original833@hotmail.com
ZONA: SUR
CEAD: PALMIRA
PUNTOS FUERTES:
PUNTOS DÉBILES:

Miembro NOMBRE: DARWIN STANLEY BARRGÁN Animador

nº 2 Nº DE MATRICULA:
EMAIL: codesaibot@yahoo.es
ZONA:
CEAD:
PUNTOS FUERTES:
PUNTOS DÉBILES:

Miembro NOMBRE: JOHN JAIRO SANDOVAL Supervisor

nº 3 Nº DE MATRICULA:
EMAIL: jjsandoval.estudios@gmail.com
ZONA: CENTRO
CEAD: NEIVA
PUNTOS FUERTES:
PUNTOS DÉBILES:

Miembro NOMBRE: JULIETH TATIANA GALINDO Relator

nº 4 Nº DE MATRICULA:
EMAIL: j.tatiana.g@hotmail.com
ZONA: CENTRO
CEAD: NEIVA
PUNTOS FUERTES:
PUNTOS DÉBILES:

Miembro NOMBRE: DIEGO ARMANDO GUTIERREZ Técnico

nº 5 Nº DE MATRICULA:
EMAIL:
ZONA:
CEAD:
PUNTOS FUERTES:
PUNTOS DÉBILES:
Plan de acción: se estable un plan de acción que permite ver claramente el
organigrama correspondiente al grupo colaborativo, a la organización de los
temas, el diagrama de flujo y el calendario de actividades.

Elaboración del trabajo final: Cada uno de los participantes del grupo cumplir
con la responsabilidad de, investigar y colgar sus aportes (mapas conceptuales o
mapas de ideas), en el Aula Virtual del curso académico Autómatas y Lenguajes
Formales. Para realizar el informe que estará constituido por conceptos claves y
esenciales contemplados en el producto final.

Cierre de grupo: el Grupo Colaborativo Nº 301405_53, quedara desintegrado,

una vez terminado el semestre Educativo del Curso académico Autómatas y
Lenguajes Formales.

La presente Acta se constituye, en el aula virtual de la Universidad Nacional

Abierta y a Distancia UNAD a los 10 días del mes de marzo de 2010.
 AUTOEVALUACIÓN

EVALUACIÓN INDIVIDUAL DE CADA INTEGRANTE DEL GRUPO.

Nombre del Evaluador: HENRY ALBERTO AMÉZQUITA CORREA

Fecha: MARZO 14/ 2010

A continuación se presenta una serie de aspectos relacionados con su

participación en el desarrollo del curso académico y en particular en cada unidad.

Para autoevaluar su participación individual y grupal, asigne para cada aspecto un

puntaje de 1 a 5. Aquellos aspectos o afirmaciones aseverativas que no puedan
calificar, asigne 0 y justifique por escrito.

Puntaje y su descripción:

1 2 3 4 5
Insuficiente Menos que regular Regular Bueno Muy Bueno

Puntaje
AFIRMACIONES – ASPECTOS
Estuve en permanente contacto con mi grupo colaborativo 5
Me comuniqué con mi tutor frente a alguna emergencia, duda etc. 5
Acuse recibido de las comunicaciones realizadas por email 4
Realice la tarea que me comprometí en forma oportuna 5
Colaboré oportunamente en la fase del desarrollo de las guías 5
didácticas.
Tomé en cuenta las observaciones y sugerencias hechas por el tutor en 4
la planificación de las actividades.
Busqué otras fuentes de información (textos, url etc.) para el desarrollo 5
de las actividades del curso académico.
Participé activamente en el desarrollo de los contenidos de la guía 5
didáctica.
Participé activamente en las reuniones grupales para la realización de 4
las actividades.
Los aportes realizados a mi grupo de trabajo fueron oportunos. 5
Mantuve una interacción respetuosa con mis compañeros de grupo y 5
tutor
Asistí puntualmente a todas las reuniones fijadas por el grupo 4

¿Qué aspectos ha mejorado en sus procesos de aprendizajes? Reconocimiento

de lenguajes regulares, autómatas finitos y su aplicación. Adquirir
habilidades para desarrollar autómatas y máquinas que reconozcan
lenguajes o computen funciones.

Justificaciones para afirmaciones o aspectos no calificados con puntaje

de 1 – 5, los puntajes a los cuales les asignó un valor de cero. Faltó
mayor interés del grupo colaborativo.

COEVALUACIÓN

Evaluación del coordinador a su grupo o de cada integrante del grupo a un

compañero.

Nombre del Evaluador: HENRY ALBERTO AMÉZQUITA CORREA

Fecha: MARZO 17/2010

El trabajo grupal colaborativo relaciona con la participación y aporte de cada

integrante en las actividades grupales solicitadas en la guía, en aspectos

El trabajo grupal colaborativo relaciona con la participación y aporte de cada

integrante en las actividades grupales solicitadas en la guía, en aspectos como
son la discusión, análisis y generación conjunta de los contenidos requeridos en
los mismos, al igual que la participación activa y colaborativa en el proceso de
aprendizaje.

Como Integrante de su grupo de trabajo, le solicitamos evaluar el grado de

participación de cada uno de los participantes, asignando un puntaje de 1 a 5 para
cada una de los siguientes aspectos. Aunque esta evaluación implica apreciación
personal, le solicitamos que asigne el puntaje de manera objetiva.
Puntaje y
1 2 3 4 5
Su descripción:
Insuficiente Menos que regular Regular Bueno Muy Bueno

NOMBRE DE CADA PARTICIPANTE

JOHN JAIRO DARWIN JULIETH DIEGO
AFIRMACIONES – ASPECTOS SANDOVAL STANLEY TATIANA ARMANDO
BARRAGAN GALINDO GUTIERREZ
Asistió a las reuniones de trabajo de 1 1 1 1
grupo
Mantuvo permanente comunicación con 1 1 1 1
el resto de los participantes del grupo
Ayudó a aclarar dudas o confusiones en 1 1 1 1
torno a los temas tratados en las
actividades.
Intercambió información, datos, ideas, 1 1 1 1
etc. con sus compañeros de grupo
durante el desarrollo de las actividades
Hizo algún aporte en el desarrollo de las 1 1 1 1
actividades
Participó en la solución de problemas 1 1 1 1
durante el trabajo grupal
Ayudó a organizar el trabajo grupal. 1 1 1 1
Fue responsable con las acciones 1 1 1 1
asumidas dentro del grupo de trabajo
Fue puntual en las reuniones 1 1 1 1
convocadas para el trabajo grupal.
Mantuvo una interacción respetuosa con 1 1 1 1
todos los integrantes del grupo.
Consideró las ideas y aportes del resto 1 1 1 1
del grupo de trabajo.
Colaboró en la búsqueda de información 1 1 1 1
y recursos para la fase del desarrollo de
las unidades didácticas.

En su rol de Coordinador del grupo de trabajo o de integrante le

solicitamos nos señale cómo se sintió respecto al trabajo en equipo,
además de las debilidades y fortalezas percibidas en su grupo de
trabajo. -