dir="；“后退”；不'；t与rankdir=LR一起工作？（graphviz点）

给定以下代码：

digraph q2a {
    rankdir=LR;
    s       [label="s"];
    0       [label="0"];
    00      [label="00"];
    001     [label="001"];
    0010    [label="0010"];
    00100   [label="00100"];
    001000  [label="001000"];
    0010001 [label="0010001",shape=doublecircle];
    s -> s              [label="1"];
    s -> 0              [label="0"]
    0 -> 00             [label="0"];
    0 -> s              [label="1"];
    { rank=same; 001 -> 00 [label="1",dir="back"] }
    00:s -> 00:s      [label="0"];
    { rank=same; 0010 -> 001 [label="0"] }
    001 -> s            [label="1"];
    0010 -> 00100       [label="0"];
    0010 -> s           [label="1"];
    { rank=same; 00100 -> 001000 [label="0"] }
    00100 -> 001        [label="1"];
    001000 -> 0010001   [label="1"];
    001000 -> 00        [label="0"];
    0010001 -> 0010001  [label="0,1"];
}

我得到以下图表：

尽管我设置了“001->00[label=“1”，dir=“back”]，但从001到00的边仍然指向前方

如果删除第一行（“rankdir=LR”），则得到以下图形：

现在，001->00的边正确地指向后面

---

对此行为有什么解释吗？

相同的图形，不同的输出-此特定问题可能与您的版本的graphviz有关

---

使用graphviz

2.31.20130312.0445

，链接的方向被正确显示，带有

rankdir=LR的事件

我知道DFA中还有其他逻辑错误，所以不用担心指出它们。听起来像是一个可行的解决方案。我会尝试一下。