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