Ejercicios a los Lenguajes Formales

Ejercicio 1

Determinar si la gramática es regular, libre contexto y/o sensible al contexto.

Sea:
T={x, y, z}   N={s, A, B}

Composiciones
s → yA            A → xBA       B → Bx
BxA → AzB     xAz → cB      B → Ayy
A → yz            Cy → zz        B → xx

En base a como se puede Clasificar la Gramática en donde anexo (Nota 1), una
explicación concluyo que la respuesta es:

No es Regular. Ya que tiene más de un símbolo no terminal del lado izquierdo de

algunas composiciones.

Nota 1:

La Gramática se puede clasificar como:

Tipo 0: Si no se pone ninguna restricción a las composiciones de G.

Tipo 1: Si para cualquier composición d1 —> d2 de la gramática G, la longitud de

símbolos de la izquierda de la composición (d1) es menor o igual a la longitud de símbolos
de la derecha (d2).

Tipo 2: Si el lado izquierdo de cada composición es un símbolo no terminal y el lado

derecho consta de uno o más símbolos terminales y/o no terminales.
Tipo 3: Si el lado izquierdo de la composición es un símbolo no terminal y el lado derecho
tiene uno o más símbolos, incluyendo a lo más un símbolo no terminal.

A las gramáticas 0 y 1 también se les conoce como Sensibles al contexto. Este tipo de
gramáticas son muy complicadas y, por lo tanto, difíciles de analizar y estudiar. En
general, son muy pocos los conocimientos que se tienen de ellas debido principalmente a
la libertad que se tiene para formar palabras de un lenguaje.

La gramática tipo 2 recibe el nombre de gramática Libre de contexto. Este tipo de

gramáticas es el que se usa actualmente para la creación de lenguajes formales, además
de que tiene relación con los autómatas finitos, autómatas de pila y máquinas de Turing.

La gramática tipo 3 o también llamada Regular, tiene reglas muy simples de sustitución y
generación de palabras de un lenguaje. En esta gramática se sustituye un símbolo no
terminal por uno terminal o bien por uno terminal seguido de uno no terminal. La
gramática regular tiene una gran relación con los autómatas finitos.

Hay que observar que una gramática regular es, a su vez, una gramática libre de contexto
y también una gramática sensible al contexto, de la misma forma que una gramática libre
de contexto es una gramática sensible al contexto.

Ejercicio 2

Sean ∑ = {0,1};      L = {e, 0, 1, 00, 10, 111}    y      M = {1, 00, 01, 100, 111, 000}
Encontrar

a)  L ∩ M

En base a los conceptos de la actividad 1 donde: Intersección (A ⋂ B): La intersección

del conjunto A y el conjunto B es el conjunto que contiene a todos los elementos que
son comunes a los conjuntos A y B:

Debido a que la intersección es el conjunto que contiene a todos los elementos que
son comunes a los conjuntos A y B, concluyo que:

La respuesta para este inciso es:

 a) L ∩ M = {00,111};     

Ejercicio 3

Inversa de un lenguaje (LI). Es el lenguaje que se obtiene al escribir los elementos de un

lenguaje en forma invertida.

Para el caso de nuestro ejercicio L = {e, 0, 1, 00, 10, 111}   

La respuesta es:

b) LI = {0,1,00,01,111}; 

Ejercicio 4

Sean ∑ = { a, b, …, z}; L = {días}.

Encontrar: L+

Cerradura positiva de un lenguaje (L+). Es la unión de todos los lenguajes potencia de

L, desde n = 1 hasta infinito, que se pueden formar con el alfabeto (∑).

Para el caso de nuestro ejercicio la respuesta es:

a) L+ = L1 ʋ L2 ʋ L3 ʋ …… ʋ L∞ = {días}ʋ{díasdías}ʋ{ díasdíasdías}ʋ…..=
{días, díasdías, díasdíasdías,…..}

Ejercicio 5

Inversa de una cadena (w1). Es la cadena que se obtiene al escribir los caracteres en
forma invertida.

Para el caso de nuestro ejercicio tenemos:

Sean ∑ = { a, b, …, z}; L = {días}.

Encontrar: LI
La respuesta es:

b) LI(días) I=(ias) Id=(as) Iid=(s) Iaid=(€)I saíd=saíd

Referencia Bibliográfica y de Información.

- Matemáticas para la Computación

José A. Jiménez Murillo
Editorial Alfaomega
Edición 2008