Unidad II

Lenguajes Naturales
El Lenguaje Natural, es una parte esencial de la
Inteligencia Artificial que investiga y formula
mecanismos computacionalmente efectivos que
faciliten la interrelacin hombre/mquina y permitan
una comunicacin mucho ms fluida y menos rgida
que los lenguajes formales.
Lenguajes Formales
Un lenguaje formal es un lenguaje cuyos smbolos
primitivos y reglas para unir esos smbolos estn
formalmente especificados.

Est formado por un conjunto de smbolos y reglas

sintcticas y semnticas que definen su estructura y el
significado de sus elementos y expresiones. Entonces
Un lenguaje de programacin es un lenguaje formal
SINTAXIS
Un programa en cualquier lenguaje se puede concebir
como un string de caracteres escogidos de algn
conjunto o alfabeto de caracteres
SEMANTICA
la semntica es el campo que tiene que ver con el
estudio riguroso desde un punto de vista matemtico
del significado de los lenguajes de programacin.
La traduccin de un lenguaje ensamblador, a lenguaje
de mquina (que es directa y comprensible), forma
una especificacin semntica muy usada para un
lenguaje assembly. El compilador para un lenguaje de
alto nivel sobre una mquina especfica llega a ser la
definicin semntica del lenguaje.
Hilera o Cadena
En programacin, una cadena de caracteres, palabras o
frase (string, en ingls) es una secuencia ordenada de
elementos que pertenecen a un cierto lenguaje formal
o alfabeto anlogas a una frmula o a una oracin. En
general, una cadena de caracteres es una sucesin de
caracteres (letras, nmeros u otros signos o smbolos).
Alfabeto
Un alfabeto es un conjunto de smbolos finito y no
vaco.

Conjunto de los smbolos empleados en un sistema de

comunicacin.