UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

TRABAJO COLABORATIVO 1

AUTOMATAS Y LENGUAJES FORMALES

TUTOR
CARLOS ALBERTO AMAYA
GRUPO: 21
ELABORADO POR:

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

Bogot, D.C., Abril 2013

EJERCICIOS A DESARROLLAR:
1. Para el siguiente ejercicio, recordaremos ciertas apreciaciones, conceptos o
afirmaciones acerca de las Expresiones Regulares, comnmente denotadas como
ER:
Una expresin regular es una forma de representar cierto tipo de lenguajes sobre
un determinado alfabeto. Son exactamente los aceptados por los autmatas de
estado finito.
Si tomamos como A un alfabeto, unas posibles expresiones regulares sobre ese
alfabeto podran ser: (identifique que lenguaje reconoce esa ER).
a) es una ER que denota el Lenguaje va ser vaci.
b) es una ER que denota el lenguaje va a ser igual que la cadena vaca lambda.
En general los lenguajes que pueden representarse mediante una expresin
regular se llaman lenguajes regulares. Estos coinciden con los aceptados por los
autmatas finitos.
Es importante que tengamos definido o claro que Si r y s son ER denotando los
lenguajes R y S, entonces se definen tres operaciones muy bsicas:
- Unin: (r + s) es una expresin regular ER que denota el lenguaje R U S
- Concatenacin: (rs) algunos autores lo toman como (rs) es una expresin
regular ER que denota le lenguaje RS.
- Clausura: r* es una expresin regular ER que denota el lenguaje R*.
Para efectos de plasmar las ER, los parntesis se pueden eliminar siempre y
cuando los smbolos y caracteres no alteren la interpretacin de otros caracteres
o cadenas. La precedencia de las operaciones es: clausura / Concatenacin /
Unin.
Para los siguientes ejercicios identifique el lenguaje que reconoce y plasme cinco
posibles cadenas vlidas que representan esa ER:
EJEMPLO COMO DEBE REALIZAR EL EJERCICIO:
Si le dan esta ER (0+1)*011 Quiere decir que representa el lenguaje de las
cadenas que terminan en 011
(Debe evaluar bien lo que va a plasmar de tal forma que no se quede ninguna
posibilidad de cadena sin tener en cuenta)
si A={a , b , c }

c) ( a+b ) (a+ b) , las cadenas validas serian: {todas las combinaciones de a,b }

d)(a*+b)*, acepta todas la cadenas que contengan a y b, aob y

e)(a+)ba*, acepta las siguientes cadenas {a,ab,ba,aba,abaa,abaaa nveces}

f)b(aba)* acepta las siguientes cadenas {b, baba, babaaba, y todas las cadenas
que tengan aba}

g)*= la nica cadena que acepta es { }

Si A={0,1}
h)0*+1*(01) acepta las siguientes cadenas:{ ,0,01,101,1101,n101}

i)10*+10 acepta las siguientes cadenas{1,10,1000nveces0}

j)01*+0 acepta las siguientes cadenas:{0,01,011n veces 1,}

k)(1-11*0)* la nica cadena valida es:

l)(1+10)+0, solo acepta las siguientes cadenas:{1,0,10}

m)1*0*10, acepta las siguientes cadenas:{10,1010,110,11nveces10}

n)00*11*, acepta todas la cadenas que contengan 01

o)(0+1)*11(1+0)*, acepta cualquier cadena que tenga 11 en cualquier posicin

2.- Partiendo de la definicin de que un Autmata Finito Determinstico (AFD) est

dado por la quntupla: A = (Q, , f, q 0 , F) donde:
Q= es el conjunto de estados
= es el alfabeto de entrada
f = QX-> Q es la funcin (total) de transicin.
q 0Q = Estado inicial
F c Q es el conjunto de estados finales
Y que para el ejercicio, el autmata se define como:
A = ({q 0 , q 1 , q 2 , q 3 } , {0,1} , f , q 0 , { q 2 })

Representado mediante el grafo:

.- Plsmelo en el simulador:

.- Realice la tabla de transicin correspondiente.

.- Compruebe el lenguaje aceptado

5. Construya un autmata que reconozca cadenas enmarcadas dentro de la expresin regular:

(1 + 0)* Tenga en cuenta que debe incluir cadenas vacas del tipo
Identifique los elementos de la tupla a que corresponda ese autmata y descrbalos.
Los elementos de este Lenguaje son:
Q= { ,0,1,no}
= {0,1}
q 0= 1
A={01,01,0011,01,1}
Funcin de transicin: : Q x Q

Realice el diagrama de Moore en el simulador y plsmelo en el trabajo.

Construya Tabla de Transicin.
En el simulador demuestre una cadena vlida haciendo el recorrido por cada paso de estado.
Identifique el lenguaje que reconoce.

6. Construya un Autmata que acepte el siguiente Lenguaje: L = 00*11*

Identifique sus componentes (la tupla que es): para este caso la quntupla seria:
Q= {0,1,no}
= {0,1}
q 0= 01
A={01,01,0011,01,1}
Funcin de transicin: : Q x Q
Constryalo en los simuladores.
Demustrelo con al menos cinco cadenas vlidas. Demuestre tres cadenas no
vlidas y justifquelas por qu no son vlidas comparadas con la expresin
regular.

Las cadenas no vlidas como {0,1,00,11,} ya que el lenguaje tiene una doble
estrella de Kleene en 0 y en 1 lo que me indica que puede o no llevar 0 o 1, pero
el 0 y 1 que no tiene estrella de Kleene es obligacin colocarlo para que el

autmata lo reconozca, por tal razn me acepta la cadena 01 y sus equivalentes

con la combinacin de la estrella de Kleene.
Identifique y justifique si su diseo de Autmata es AFD AFND
El autmata representado es un autmata finito no deterministico ya que a partir
del estado inicial de entrada no se puede determinar de forma exacta el estado
siguiente.
Cree las tablas de transicin

Plasme el diagrama de Moore