Вопрос легаси: что, кроме вышеуказанных методов, имеет смысл поднять в класс Abstract Machine? Вопрос к @xendalm и @dak151449 , как к тем, кто дольше всех сидел на бэке.
- Поиск сильно связных компонент.
- Поиск состояний, не достижимых из начального, и достижимых из начального. Аналогично: ко-достижимых из финальных.
- Удаление ребра (вершины) вместе со всей компонентой, достижимой только по этому ребру (из этой вершины).
- Каноническая нумерация (переименование) вершин (относительно упорядочения меток, заданного функцией-аргументом, насколько возможно). В принципе, в этом методе логично также переупорядочивать их индексы канонически.
Вопрос легаси: что, кроме вышеуказанных методов, имеет смысл поднять в класс Abstract Machine? Вопрос к @xendalm и @dak151449 , как к тем, кто дольше всех сидел на бэке.