Los diagramas sintácticos representan una gramática libre de contexto de forma gráfica, como una alternativa a la Forma de Backus-Naur. Cada diagrama define un no terminal, con un diagrama principal que define el lenguaje al requerir que una palabra siga una trayectoria en él. Los diagramas tienen un punto de entrada y salida, describiendo caminos entre terminales y no terminales.