SISTEMAS DE INFORMACIÓN 9no “B”

UNIVERSIDAD NACIONAL DE LOJA

Área De La Energía Las Industrias Y Los Recursos

Naturales No Renovables

CARRERA DE INGENIERÍA EN SISTEMAS

AUTÓMATAS Y LENGUAJES FORMALES

Docente:

Ing. Mario Palma MSc.

Estudiantes:

 Jimmy Buri

 Daniel Celi

 Andrés Jaramillo

 Gabriel Moncayo

 Alejandro Silva

Módulo: 9no “B”

Fecha: 2015-10-28

LOJA – ECUADOR

2015 – 2016

1|Página
 SISTEMAS DE INFORMACIÓN 9no “B”

OPERACIONES CON CADENAS Y RELACIONES ENTRE

ELLAS

CARDINAL

 Definición.- La carnalidad de un conjunto finito es simplemente la

cantidad de elementos que tiene. Esto es más complejo para conjuntos
infinitos. Deben darse nombres especiales a estas cardinalidades, y no
todas las cardinalidades infinitas son iguales.

 Ejemplos:
1. |perro|=5, si perro es una palabra sobre {a, b, c, … , z}
2. |bcccaa|= 4, si bccca es una palabra sobre {a, bc, c}
3. |bccca|=3, si bccca es una palabra sobre {ca, cc, b}
4. |Є| = 0.
5. |ab| es una expresión ambigua, si ab es una palabra sobre {ab, a,b}

CONCATENACION

 Definición.- La concatenación es similar a la concatenación en

programación de computadores, como a continuación.

 Ejemplos:

ab.bc = abbc

ab.Є=ab

2|Página
 SISTEMAS DE INFORMACIÓN 9no “B”

POTENCIA

 Definición.- Consiste en concatenar una palabra consigo misma el

número de veces indicado por la potencia.

 Ejemplos:

1. Responda verdadero o falso a las siguientes afirmaciones.

a. (ab)4 (ab)2 = (ab)6

(abababab)(abab) = (abababababab)

(abababababab) = (abababababab)

Rta. Verdadero.

b. ab3 a = a2b3

a(bbb)a = (aa)(bbb)

abbba=aabbb

Rta. Falso

c. (ab)4 = a(ba)3b

(abababab)=a(bababa)b

(abababab)= (abababab)

Rta. Verdadero

3|Página
 SISTEMAS DE INFORMACIÓN 9no “B”

2. Demuestre que son falsas las siguientes afirmaciones.

a. Sean w y x palabras y n un numero natural, entonces,

|(wx)n|=|wx|n

|(wx)n|=|wx|n

|(wx)2|=|wx|2

wxwx = wxwx

Sol. Es Verdad

b. Sean w y x palabras y n un numero natural, entonces,

|(wx)n|=|wn||xn|

|(wx)n|=|wn||xn|

|(wx)2|=|w2||x2|

|(wx)(wx)|=|ww||xx|

wxwx = wwxx

Sol. Es Falsa

3. Demuestre las siguientes proposiciones.

a. Sean w y x palabras y n un numero natural, entonces,

wnxn| = n|wx|

|wnxn| = n|wx|

|w2x2| = 2|wx|

|wwxx| = |wxwx|

Sol. Es Falsa

4|Página
 SISTEMAS DE INFORMACIÓN 9no “B”

b. Sean w y x palabras y n un numero natural, entonces,

|(xy)m+n| = m|xy|+n|x|+n|y|

|(xy)m+n| = m|xy|+n|x|+n|y| => m=1, n=2

|(xy)1+2| = 1|xy|+2|x|+2|y|

|(xy)3| = |xy|+|xx|+|yy|

|(xyxyxy)| = |xyxxyy|+|x|+n|y|

Sol. Es Falsa

4. Sea A el lenguaje de todas las palabras conformadas por una secuencia de

aes seguida de una secuencia de bes seguida, a su vez, por una secuencia
de ces. Además, el número de aes es par, el número de bes es el doble que
el de aes y hay tantas ces como aes y bes juntas. Exprese por comprensión
el lenguaje A.

Respuesta: a²îb⁴îc⁶î

Es Falso porque:

aaaaabbbbbb = bbbbbbaaaaa

No son iguales

Es Falso porque:

abbabbb = aabbbbbb

No son iguales

5|Página
SISTEMAS DE INFORMACIÓN 9no “B”

Es Falso porque:

a(ababab)b = aaaabbbb

aabababb = aaaabbbb

No son iguales

Es Verdadero porque:

(ababab)b = a(baba)bb

abababb = abababb

Son iguales

6|Página