Qual é o nome formal deste diagrama?

Eu também gostaria de saber como posso desenhá-los.

Parece com os diagramas de sintaxe do SQLite .

O FAQ deles diz:

Como são gerados os diagramas de sintaxe (também conhecidos como diagramas "ferroviários") para SQLite?

A resposta é um link para esta página de wiki em "Gerando diagramas de sintaxe usando Tk" .

O wiki vincula esse código fonte Tcl para gerar os diagramas.

Esse é um diagrama de sintaxe . Acho que os vi pela primeira vez em "Programming in Pascal" , de Grogono , de 1980, mas eles foram usados ​​no relatório de 1973 de Wirth sobre o Pascal .

Apenas uma dica para os usuários do LaTeX:

O pacote de trilhos permite a geração de tais diagramas de trilhos com (La) TeX.

Você pode verificar o TeX.SX para um exemplo.