Lenguajes naturales y formales, palabra, propiedades de las palabras, cardinalidad de un lenguaje formal, sublenguajes, lenguajes formales infinitos, lenguaje universal sobre un alfabeto.
Se denomina lenguaje natural a todo lenguaje hablado y/o escrito que es utilizado por los seres humanos para comunicarse. Por ejemplo: el español, el inglés y el chino son los tres lenguajes naturales empleados por más personas en el mundo.
Los Lenguajes Naturales tienen tres características fundamentales:
“Ablar” o “havlar” son sintácticamente incorrectas, pero todos sabemos ¡de qué estamos hablando!
Por otro lado, un lenguaje formal (LF) es un conjunto de cadenas formadas con los caracteres de un alfabeto dado, y tiene una característica fundamental: es un lenguaje abstracto, en el que el término FORMAL pone de manifiesto que, en esta disciplina, solo estamos interesados en la forma de una cadena (sintaxis) y no en su significado (semántica).
Contrariamente a lo que ocurre con los Lenguajes Naturales, los lenguajes formales están definidos por reglas gramaticales preestablecidas y se deben ajustar rigurosamente a ellas. En consecuencia, un LF nunca puede evolucionar.
Sea ∑ = {a}, un alfabeto con un solo símbolo. Los que siguen son algunos LFs que se pueden construir sobre este alfabeto: L1 = {a}; L2 = {aa, aaa}; L3 = {ε, a, a18}.
Ninguno de estos lenguajes puede “evolucionar”, es decir: no se puede modificar mediante el agregado de nuevas palabras o quitando palabras ya existentes en el lenguaje. Si así se hiciera, obtendríamos otros lenguajes.
Sea el lenguaje L2 = {aa, aaa} del ejemplo anterior. Si agregamos la palabra aaaa, el lenguaje deja de ser L2.