ACTIVIDAD I : LENGUAJES FORMALES

        [pic 1]

[pic 2]

UNIVERSIDAD DE GUADALAJARA

CENTRO UNIVERSITARIO DE CIENCIAS EXACTAS E INGENIERIAS

ALUMNO: GUSTAVO RAMOS DE LA CRUZ

CARRERA: INGENIERIA INFORMATICA

CODIGO: 217294113

MATERIA: TEORIA DE LA COMPUTACION

PROFESOR: MARIA MAGDALENA LEAÑO

ACTIVIDAD:  Nº1 LENGUAS FORMALES

ACTIVIDAD I : LENGUAJES FORMALES

Fecha de entrega: I semana Entregables: Mínimo 3 ejercicios

1.- Indica cuál de las siguIentes sentencias se mantienen, y cuales no, para todos los lenguajes L1 y L2. Para mostrar que la sentencias no se mantienen, se deben dar dos ejemplos de L1 y L2 donde la sentencia es falsa. Cuando la sentencia sea verdadera, se debe dar una pequeña explicación del caso.

a)L ∗ 1 ∪ L ∗ 2=(L1 ∪ L2) ∗

b)L ∗ 1 ∩ L ∗ 2=(L1 ∩ L2) ∗

c)( L ∗ 1 ∩ L ∗ 2 ) ∗  = ( L 1 ∩ L 2 ) ∗

d)( L ∗ 1 · L ∗ 2 ) ∗ = ( L 1 ∪ L 2 ) ∗

e)(L1 ·L2) ∗ =(L1 ∪ L2)

2.- Sea L el lenguaje definido por L = { ꜫ  , 0, 10} Indica los siguientes conjuntos.

 a) L ∪  L  =   {  ꜫ010 }

b) L ∩ L    =   { ꜫ  , 0, 10}

c) L·L        =   { ε ε  , ε0 , ε10 ,0 ε ,00 ,010 , 10 ε , 100 ,1010 }

d) L·L       =    { ε ε  , ε0 , ε10 ,0 ε ,00 ,010 , 10 ε , 100 ,1010 }

e) L 2       =  { ε2, 02, 102 }

3.- Indique cual de las siguientes sentencia es VERDADERA y cual es FAL SA. Es necesario que se de una breve explicación de tu respuesta para ser tomada en cuenta. .

...