1.3 Lenguajes Formales

 

El lenguaje formal es un conjunto de palabras (cadenas de caractéres ) de longitud finita formados a partir de un alfabeto (conjunto de carácter finito).

Es el común que utilizamos para establecer comunicación.

Las características de los lenguajes formales son las siguientes:

 
   1. Se desarrollan de una teoría preestablecida.

   2. Componente semántico minimo.

   3. Posibilidad de incrementar el componente semántico de acuerdo con la teoría a formalizar.

   4. La sintaxis produce oraciones no ambiguas.

   5. La importancia del rol de los números.

   6. Completa formalización y por esto, el potencial de la construcción computacional.