Lenguaje objeto

Se llama de esta forma porque el lenguaje es el objeto en discusión usando el metalenguaje.Por ejemplo, alguien que dice "En francés, se dice Bonjour para saludar a alguien" usa el español como un metalenguaje para describir el francés Hay dos formas en las que el término lenguaje objeto puede ser empleado en computación: un lenguaje que es objeto de la especificación formal y un lenguaje que es el objeto, u objetivo, de un compilador o interpretador.Cuando los compiladores están escritos empleando sistemas como lex y Yacc, las reglas que el programador escribe parecen una especificación formal, pero se consideran una implementación en vez.En su nivel más básico, los computadores actúan sobre lo que se les da a través de un conjunto limitado de instrucciones que sus CPUs entienden.En este contexto, el lenguaje de programación de alto nivel es el lenguaje fuente, que es traducido mediante un compilador a código objeto que la CPU puede leer directamente.El lenguaje objeto en este contexto significa algo como "lo que el programador trata de conseguir".El lenguaje objeto no debe confundirse con lenguaje orientado a objetos, que es un tipo de lenguaje de programación que organiza el entorno del programador en objetos que pueden ser usados de modo similar a la forma drag-and-drop.En los lenguajes formales usados en lógica matemática e informática, una fórmula bien formada o fórmula es una idea, abstracción o concepto expresado usando los símbolos y reglas de formulación (también llamadas gramática formal) de un lenguaje formal particular.La última afirmación de la secuencia es un teorema o sistema formal.