Un lenguaje objeto es un lenguaje que es el "objeto" de estudio en varios campos, incluida la lógica (o metalógica ), la lingüística , las matemáticas (o metamatemáticas ) y la informática teórica . El lenguaje que se usa para hablar sobre un lenguaje objeto se llama metalenguaje . [1] Un lenguaje objeto puede ser un lenguaje formal o natural . [2]
Formas de lenguaje de objetos
Lenguajes formales
La lógica matemática y la lingüística hacen uso de metalenguajes, que son lenguajes para describir la naturaleza de otros lenguajes. En lógica matemática, el lenguaje de objetos suele ser un lenguaje formal . El lenguaje que se usa para describir un metalenguaje es el lenguaje objeto. Se llama así porque ese lenguaje es el objeto en discusión utilizando el metalenguaje.
Por ejemplo, alguien que dice "En francés, dices Bonjour para saludar a alguien" usa el inglés como metalenguaje para describir el idioma del objeto francés .
Lenguajes informáticos
Hay dos formas en que se puede usar el término lenguaje de objetos en informática: un lenguaje que es el objeto de una especificación formal y un lenguaje que es el objeto (meta) de un compilador o intérprete.
Especificación formal
Los lenguajes informáticos son lenguajes objeto del metalenguaje en el que está escrita su especificación . En informática, esto se conoce como lenguaje de especificación . La forma Backus-Naur fue uno de los primeros lenguajes de especificación utilizados.
Cuando los compiladores se escriben utilizando sistemas como lex y yacc , las reglas que escribe el programador se parecen mucho a una especificación formal, pero se considera una implementación . Muchas implementaciones de lenguajes de programación no son estrictamente iguales a sus especificaciones, agregando características o tomando decisiones de diseño dependientes de la implementación.
Código de objeto
En su nivel básico, las computadoras actúan sobre lo que se les da a través de un conjunto limitado de instrucciones que son entendidas por sus CPU . En las primeras computadoras, eso significaba que los programadores a veces componían unos y ceros reales para programar. Dado que esto requiere una considerable capacitación (y paciencia) del programador para crear instrucciones, los lenguajes informáticos posteriores han hecho todo lo posible para simplificar la tarea del programador. Por ejemplo, un lenguaje de programación de alto nivel puede permitir que un programador asigne un valor a una variable sin especificar una ubicación de memoria o una instrucción de CPU.
En este contexto, el lenguaje de programación de alto nivel es el lenguaje fuente , que luego es traducido por un compilador en un código objeto que la CPU puede leer directamente. Este código de objeto es el lenguaje de objeto y varía según la CPU a la que se le den las instrucciones.
El lenguaje de objetos en este contexto significa algo parecido al "objeto de lo que el programador está tratando de lograr". Si el lenguaje de origen y los lenguajes de objeto se consideran lenguajes formales (lógicos), lo que hace el compilador es interpretar el origen en el lenguaje de destino (esto es diferente del uso informático del lenguaje interpretado, es decir, uno que no está compilado).
El lenguaje de objetos en este contexto es sinónimo de lenguaje de destino . El lenguaje objeto de una traducción suele ser un lenguaje de máquina , pero puede ser algún otro tipo de lenguaje, como el lenguaje ensamblador .
Debido a que el lenguaje de objetos de compilación ha sido generalmente el lenguaje de máquina, el término archivo de objeto ha llegado a significar un archivo que contiene instrucciones de máquina y, a veces, el programa traducido en sí se llama simplemente un objeto .
El lenguaje de objetos tampoco debe confundirse con el lenguaje orientado a objetos , que es un tipo de lenguaje de programación de computadoras que cambia el entorno del programador en objetos convenientes que se pueden usar de manera similar a arrastrar y soltar.
Expresiones en un lenguaje de objetos
Simbolos
Un símbolo es una idea , abstracción o concepto , cuyas muestras pueden ser marcas o una configuración de marcas que forman un patrón particular. Aunque el término "símbolo" de uso común se refiere en ocasiones a la idea que se simboliza, y en otras ocasiones a las marcas en un papel o pizarra que se utilizan para expresar esa idea; en los lenguajes formales estudiados en matemáticas y lógica , el término "símbolo" se refiere a la idea, y las marcas se consideran una instancia simbólica del símbolo.
Fórmulas
En los lenguajes formales utilizados en lógica matemática e informática, una fórmula bien formada o simplemente una fórmula es una idea , abstracción o concepto que se expresa utilizando los símbolos y las reglas de formación (también llamadas gramática formal ) de un lenguaje formal en particular. Decir que una cadena de símbolos es una fórmula bien formada con respecto a una gramática formal dada es equivalente a decir que pertenece al lenguaje generado por .
Sistemas formales
Un sistema formal es un lenguaje formal junto con un sistema deductivo que consiste en un conjunto de reglas de inferencia y / o axiomas . Un sistema formal se utiliza para derivar una expresión de una o más expresiones expresadas previamente en el sistema. Estas expresiones se denominan axiomas , en el caso de los supuestos anteriormente verdaderos, o teoremas , en el caso de los derivados. Un sistema formal puede formularse y estudiarse por sus propiedades intrínsecas, o puede entenderse como una descripción (es decir, un modelo ) de fenómenos externos.
Teoremas
Un teorema es un símbolo o una cadena de símbolos que se deriva mediante el uso de un sistema formal . La cadena de símbolos es una consecuencia lógica de los axiomas y reglas del sistema.
Pruebas formales
Una prueba o derivación formal es una secuencia finita de proposiciones (llamadas fórmulas bien formadas en el caso de un lenguaje formal ), cada una de las cuales es un axioma o se sigue de las oraciones precedentes en la secuencia por una regla de inferencia . La última oración de la secuencia es un teorema de un sistema formal . El concepto de deducción natural es una generalización del concepto de prueba. [3]
Teorías
Una teoría es un conjunto de oraciones en un lenguaje formal .
Referencias
- ↑ Hunter, Geoffrey (26 de junio de 1973). Metalogic: Una introducción a la metateoría de la lógica estándar de primer orden . Prensa de la Universidad de California. pag. 11. ISBN 978-0-520-02356-7.
- ^ Trask, RL; Trask, Robert Lawrence (1999). Conceptos clave en Lengua y Lingüística . Prensa de psicología. pag. 122. ISBN 978-0-415-15741-4.
- ^ El Diccionario de Filosofía de Cambridge , deducción .