El formalismo SDF

Un formalismo alternativo para la definición de la sintaxis de un lenguaje es SDF. Su principal diferencia con respecto a METAL es que permite analizar gramáticas de contexto libre arbitrarias. Una característica muy peculiar es que incluye las directivas para el análisis léxico.

Un programa SDF consta de varias secciones en las cuales se definen:

• Sorts, que es el nombre que reciben todos los no terminales en este formalismo.
• Sintáxis léxica, esto es, la definición léxica, utilizando expresiones regulares, de los terminales.
• Syntaxis de contexto libre. En cada regla se indica la sintaxis concreta, los phyla descendientes y el phylum obtenido como resultado por el operador. En las reglas también se puede indicar la asociatividad de los operadores.
• Prioridades, utilizadas para la desambiguación.
• Variables, concretamente esquemas de nombres para variables.

En la definición de Pascal no se ha utilizado este formalismo, optándose por METAL, que proporciona una mayor modularidad al separar los analizadores léxico y sintáctico.