Lenguaje

Lenguaje Natural

Se utiliza el término lenguaje natural para referirse principalmetne al lenguaje humano. El término se utiliza en contraposición a los lenguajes formales, lenguajes artificiales como el Esperanto que han sido creados por el hombre con un fin explícito, como por ejemplo los lenguajes de programación, el lenguaje matemático o lógico.

La lengua natural evoluciona enmarcada por una cultura de hablantes nativos que utilizan dicha lengua con una finalidad comunicativa. De esta forma, se distingue entre lenguas tales como el chino mandarín, el español y el inglés, las cuales son lenguas naturales; y el esperanto o interlingua, a las cuales se les denomina lenguas planificadas.

Al contrario que el lenguaje formal que indica que el significado de una cadena o frase solo esta influido por el aspecto o "forma", en los lenguajes naturales la semántica o significado específico y contextual de sus componentes intervienen en la valided o no de la frase añadiendo complejidad a su estudio.

La lingüística es la rama del saber que se encarga de al estudio del lenguaje entendido como el conjunto de reglas que gobierna cualquier proceso de comunicación.

Admitiendo la existencia de reglas de comunicación, podremos definir extensivamente un determinado lenguaje natural como el conjunto de frases que se pueden emitir y utilizar.

Lenguaje Formal

Un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito.

Informalmente, el término lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a un modo de expresión más cuidadoso y preciso que el habla cotidiana. Hasta finales de la década de 1990, el consenso general era que un lenguaje formal, en el sentido que trata este artículo, era en cierto modo la versión «límite» de este uso antes mencionado: un lenguaje tan formalizado que podía ser usado en forma escrita para describir métodos computacionales. Sin embargo, hoy en día, el punto de vista de que la naturaleza esencial de los lenguajes naturales (sin importar su grado de «formalidad» en el sentido informal antes descrito) difiere de manera importante de aquella de los verdaderos lenguajes formales (en el sentido estricto de este artículo) gana cada vez más adeptos.

Un posible alfabeto sería, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sería, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sería: el conjunto de todas las cadenas que contienen el mismo número de símbolos a que b.