¿La semántica y la gramática de TeX están definidas en algún lugar de algunos documentos oficiales?

¿La semántica y la gramática de TeX están definidas en algún lugar de algunos documentos oficiales?

Soy programador, me gustaría echar un vistazo a una definición más técnica y específica de lo que se conoce como LaTeX o TeX.

Mi interés en la sintaxis, la semántica y la gramática de este lenguaje en general. También me gustaría saber algo sobre los paquetes que supongo que son parte de algún tipo de sistema extensible tipo complemento y también me gustaría saber cómo funciona esto. La interacción está definida.

Gracias.

Respuesta1

La gramática de cada comando TeX se proporciona más o menos completamente enEl libro de texto. Sin embargo, tenga en cuenta que, a diferencia de la mayoría de los lenguajes de programación, el análisis léxico y la tokenización de la entrada no se pueden separar de la ejecución, ya que la tabla catcode que controla la tokenización se puede cambiar dinámicamente. Por lo tanto, el análisis de TeX tiende a derrotar a la mayoría de las herramientas de generación de analizadores.

LaTeX es un conjunto de macros escritas en TeX por lo que se define por su implementación, aunque existe documentación bastante extensa enElCompañero de látex, el libro LaTeX (LaTeX: un sistema de preparación de documentos), y en otros lugares.

Los paquetes no son realmente parecidos a complementos, lo que generalmente implica algún tipo de API binaria. Son (en su mayoría) inclusión a nivel de fuente de definiciones de macro, por lo que se parecen más #include(si conoce el sistema de macros del preprocesador C) que cualquier otra cosa.

información relacionada