и вручную вычислил ранги и сгруппировал их в указанных подграфах.
ополнительный вопрос кКак мне добиться строгого обратного ранжирования graphviz dot?, но немного проще. Этот график придуман, но демонстрирует проблему:
digraph nfa {
A -> B
B -> C
C -> D
D -> E
A -> F
F -> E
}
Узлы B и F имеют одинаковый ранг, но они не отображаются с одинаковым рангом. Как этого добиться?