next up previous contents
Next: El formalismo METAL Up: ICEeditor según CENTAUR Previous: La ventana principal de

8.2 Los formalismos de especificación

A continuación se va realizar una breve descripción de algunos de los formalismos disponibles en el entorno CENTAUR, que permiten la definición de la sintaxis abstracta y concreta de un lenguaje así como la forma en que será mostrado en los editores de CENTAUR.

Para mostrar cada uno de los componentes se utilizará como ejemplo la definición del lenguaje Pascal, ya que aún no está disponible una definición completa de un lenguaje natural en tales herramientas. La elección de un determinado lenguaje para ilustrar las funcionalidades de CENTAUR no supone ninguna limitación, ya que su forma de actuar es independiente del lenguaje.





Miguel A. Alonso Pardo
Thu Nov 20 16:47:01 CET 1997