铁路图的自动布局

铁路图（也称“语法图”）是文法的一种常见且直观的可视化方式，但工具有限且缺乏对其布局的形式化研究，使其大多局限于手绘文档。我们提出了对铁路图布局的首次形式化处理，以及一套有原则且实用的实现。我们将该问题描述为将*图表语言*（指定概念组件及其连接与组合方式）编译为*布局语言*（指定基本图形形状及其大小与位置）。随后，我们实现了一个编译器，该编译器执行*换行*以适应目标宽度，并根据用户指定的策略执行垂直*对齐*和水平*调整*。我们将换行构建为一个优化问题，描述了最优性的原则性维度并实现了相应的启发式算法。在前端评估中，我们通过描述正则表达式和 Backus-Naur 范式如何被编译为该图表语言，证明了我们的图表语言非常适合常见应用。在后端评估中，我们通过将其输出与手绘及其他工具布局的图表进行比较，论证了我们的编译器是实用的。