¿Cuál es el nombre formal de este diagrama?

También me gustaría saber cómo puedo dibujarlos.

Eso se parece a los diagramas de sintaxis de SQLite .

Sus preguntas frecuentes dicen:

¿Cómo se generan los diagramas de sintaxis (también conocidos como diagramas de "ferrocarril") para SQLite?

La respuesta es un enlace a esta página wiki sobre "Generación de diagramas de sintaxis usando Tk" .

La wiki enlaza con este código fuente Tcl para generar los diagramas.

Ese es un diagrama de sintaxis . Creo que los vi por primera vez en "Programación en Pascal" de Grogono , de 1980, pero se usaron en el informe de Wirth de 1973 sobre PASCAL .

Solo una pista para los usuarios de LaTeX:

El paquete de rieles permite la generación de tales diagramas de rieles con (La) TeX.

Puede consultar TeX.SX para ver un ejemplo.