Lenguajes

Un lenguaje es conjunto de cadenas sobre un alfabeto. Un alfabeto consiste en un conjunto de objetos indivisibles denotado por .

Lenguajes

Una cadena sobre un conjunto X es una secuencia finita de elementos de X. Para establecer las propiedades de las cadenas, el conjunto sobre un alfabeto se define recursivamente.

Lenguajes Definicin de cadenas

Sea un alfabeto. *, el conjunto de cadenas sobre se define recursivamente como:

i. Base: *. ii. Paso Recursivo: Si w * y a , entonces wa *. iii. Cerradura: w * slo si puede ser obtenido a partir de o de un nmero finito de aplicaciones del paso recursivo.

Lenguajes Definicin

Un lenguaje sobre un alfabeto es un subconjunto de *

Especificacin Finita de Lenguajes

Los lenguajes de inters no son hechos de cadenas aleatorias, sino de cadenas que satisfacen ciertas propiedades que definen la sintaxis del lenguaje.

Especificacin Finita de Lenguajes

La especificacin de un lenguaje requiere de una descripcin no ambigua de de las cadenas del lenguaje.

Especificacin Finita de Lenguajes Ejemplo 1

El lenguaje L de cadenas sobre {a,b} en donde cada cadena comienza con una a y tiene una longitud par est definido por:
i. Base: aa,ab L. ii. Paso Recursivo: Si u L, entonces uaa, uab, uba, ubb L. iii. Cerradura: una cadena u L slo si puede ser obtenido a partir de los elementos base a travs de un nmero finito de aplicaciones del paso recursivo.

Especificacin Finita de Lenguajes Ejemplo 2

El lenguaje L de cadenas sobre {a,b} en donde cada ocurrencia de b es precedida por una a est definido por:
i. Base: L. ii. Paso Recursivo: Si u L, entonces ua, uab L. iii. Cerradura: una cadena u L slo si puede ser obtenido a partir de los elementos base a travs de un nmero finito de aplicaciones del paso recursivo.

Especificacin Finita de Lenguajes Ejemplo 3

El lenguaje L = {a,b}*{bb}{a,b}* consiste en las cadenas sobre {a,b} que contienen la subcadena bb en cada cadena de L:
i. Base: , a, b L. ii. Paso Recursivo: Si u L, entonces ubbu L. iii. Cerradura: una cadena u L slo si puede ser obtenido a partir de los elementos base a travs de un nmero finito de aplicaciones del paso recursivo.