我正在构建一个 epsilon NFA 来使用规范结构识别正则表达式。我使用子图对正则表达式的各个部分进行分组。 * 运算符给我带来了特别的麻烦,因为 dot 决定移动节点的顺序。我尝试添加边缘权重以强制特定边缘变短以保持边缘的顺序一致,但这似乎不起作用。
我想做的是强制子图中的节点按特定顺序放置,以便输出图可被识别为特定类型的(众所周知的)构造。在下面的示例中,我希望边 3、4、5 和 6 按该顺序放置,但是点将它们按 6、3、4、5 的顺序放置。任何指针都会受到赞赏。
请注意,当前权重参数与根本没有权重参数没有产生任何差异。
我有以下内容
digraph G {
rankdir = LR;
node [shape = none];
0 [label = "start"];
node [shape = circle];
1 [label = "q1"];
2 [label = "q2"];
3 [label = "q3"];
4 [label = "q4"];
5 [label = "q5"];
node [shape = doublecircle];
6 [label = "q6"];
subgraph re1 {
rank = same;
edge[label = "0"];
1 -> 2;
};
subgraph re2 {
rank = same;
edge[label = "ε"];
3 -> 4 [weight = 10];
edge[label = "1"];
4 -> 5 [weight = 10];
edge[label = "ε"];
5 -> 6 [weight = 10];
5 -> 4 [weight = 1];
6 -> 3 [weight = 1];
};
edge[color=black];
0 -> 1
edge[label = "ε"];
2 -> 3;
}
这是我编写该图的方式:
- 首先,对我来说,这是一个从上到下的图表,而不是从左到右,因此我删除了
rankdir=LR
并添加了rank=same
仅适用于节点 0/1 和节点 2/3。
- 我去掉了所有的重量
- 最重要的是我补充说
constraint=false
到与图的方向相反的边 - 从节点 4 到节点 5 的边,以及从节点 6 到节点 3 的边。
这里是来源:
digraph G {
0 [label = "start", shape = none];
node [shape = circle];
1 [label = "q1"];
2 [label = "q2"];
3 [label = "q3"];
4 [label = "q4"];
5 [label = "q5"];
6 [label = "q6", shape = doublecircle];
{rank = same; 0 -> 1; }
1 -> 2 [label = "0"];
{rank = same; 2 -> 3 [label = "ε"]; }
4 -> 5 [label = "1"];
edge [label = "ε"];
3 -> 4;
5 -> 6;
5 -> 4 [constraint = false];
6 -> 3 [constraint = false];
}
结果如下:
现在,如果你愿意,你可以保留rankdir=LR
,只需获取您发布的标记,删除权重并添加constraint=false
与我一样的边缘,它也有效。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)