@mathhyyn , совсем выбрасывать метаданные при построении автоматов не в latex-формате не стоит. Как минимум:
[ ] - одинарную раскраску узлов и ребер можно перенести точно
[ ] - двойную раскраску можно сделать, породив градиентные или разрезанные на два сектора, окрашенные по-разному, круги (можно их сохранить заранее в assets, а можно генерировать на ходу - тогда решение можно обобщить и на трёх- или четырёхцветные круги, и в принципе именно это наш план А), в таком стиле: https://stackoverflow.com/questions/9025215/two-colours-in-one-node-with-graphvizs-dot
[ ] - больше чем два (четыре - если пойдёте по пути динамического порождения изображений) цвета в одном и то же узле будет проблемой, поэтому стоит зарезервировать специальное оформление для таких узлов, и помечать их соответствующим стилем (например, особой штриховкой).
[ ] - если совсем много цветов на диаграмме (например, есть больше чем трёхцветные (или пятицветные, если применен план А) узлы, либо всего цветов больше девяти), тогда раскраску не переносим, а сообщаем, что из соображений читаемости она есть только в latex-формате
[ ] - при этом для непосвящённых (вспомним вопросы Артёма) имеет смысл пояснить на страничке, что означают цвета. Это относится и к latex тоже.
Граф скачивать нужно дать возможность в двух видах: раскрашенный или нет. Не всем нужна раскраска именно на скаченных диаграммах, но визуализировать замыкания она поможет.
@mathhyyn , совсем выбрасывать метаданные при построении автоматов не в latex-формате не стоит. Как минимум:
Граф скачивать нужно дать возможность в двух видах: раскрашенный или нет. Не всем нужна раскраска именно на скаченных диаграммах, но визуализировать замыкания она поможет.