Graphviz --- 边标签距离另一条边太近

我有以下代码，其结果如下图所示。正如您所看到的，边缘和边缘标签周围有点拥挤，尤其是“^a”周围。创造更多空间的最佳方法是什么，以便人们可以清楚地看到哪个标签属于哪个边缘？

digraph finite_state_machine {                                                                                                                                                                                  
    pad=0.2;
    {
        rank=same;
        node [shape = point, style = invis]; q_0;
        node [shape = doublecircle, style = solid]; q_5;
        node [shape = circle];
        q_1 [ label = <<i>q<sub>1</sub></i>> ];
        q_2 [ label = <<i>q<sub>2</sub></i>> ];
        q_3 [ label = <<i>q<sub>3</sub></i>> ];
        q_4 [ label = <<i>q<sub>4</sub></i>> ];
        q_5 [ label = <<i>q<sub>5</sub></i>> ];
        q_0 -> q_1;
        q_1 -> q_2 [ label = "." ];
        q_1 -> q_2 [ label = <&epsilon;>, constraint=false ];
        q_2 -> q_1 [ label = <&epsilon;>, constraint=false ];
        q_2 -> q_3 [ label = <<i>a</i>> ];
        q_3 -> q_4 [ label = <<i>^a</i>> ];
        q_3 -> q_4 [ label = <&epsilon;>, constraint=false ];
        q_4 -> q_3 [ label = <&epsilon;>, constraint=false ];
        q_4 -> q_5 [ label = <<i>b</i>> ];
    }
}

没有属性 http://www.graphviz.org/doc/info/attrs.html#d:margin在 Graphviz 中调整边缘标签周围的边距/填充。您最接近的效果可能是使用\n在标签上方/下方引入空白行以强制留出空间。

显然，这不会扩展到任何自动的东西。

或者，您可以尝试使用ranksep属性在一些额外的空间中强制。