Programacion de Sistemas

Lenguaje Artificial;

Definicion:
Un lenguaje formal es un lenguaje artificial que esta formado por símbolos y formulas que tiene como objetivo fundamental formalizar la programación de computadoras o representar simbólicamente un conocimiento.

Caracteristicas;

Se han desarrollado como un medio para formalizar matemáticamente una teoría.
Su sintaxis es capaz de definir oraciones rigurosamente definidas.
Constituyen un poderoso instrumento para la investigación y el procesamiento del Lenguaje Natural por computadora.
Un lenguaje de programación es un lenguaje Artificial usado para escribir instrucciones que pueden ser traducidas a lenguaje maquina y ejecutadas en una computadora.