Un lenguaje

es un conjunto de cadenas sobre un alfabeto

definido, éstas pueden ser cualquier cadena

, que cumpla con lo siguIente,

esta formada por los símbolos

donde

.
El lenguaje vacío es aquel que no contiene cadenas y no es lo mismo que el lenguaje formado por la cadena vacía

, éste lenguaje se denota de la misma manera que el conjunto vacío,

.
Sí se tiene una cadena

sobre un alfabeto

y

es el lenguaje compuesto por algunas de las cadenas sobre el alfabeto

y

, entonces diremos que

es un miembro de

.
Un lenguaje universal sobre algún alfabeto

, o cerradura de

, es el lenguaje que contiene todas las cadenas que es posible formar con los símbolos de

y se denota como

.
Ejemplo: Sea

, entonces

Podemos observar que para cualquier alfabeto

,

es infinito, ya que los alfabetos son conjuntos no vacíos.
No hay comentarios:
Publicar un comentario