Методы Abstract Machine

[TonitaN]

Вопрос легаси: что, кроме вышеуказанных методов, имеет смысл поднять в класс Abstract Machine? Вопрос к @xendalm и @dak151449 , как к тем, кто дольше всех сидел на бэке.

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

[xendalm]

Кажется, Complement делает одно и тоже. Deterministic и AddTrap с добавлением небольших виртуальных методов тоже получится обобщить.

Что касается других функций интерпретатора, даже не знаю, что можно поднять. Только если служебные методы, которые не делают ничего с памятью.

Аня вот в своей ветке добавила сокращение меток для логов. Больше пока не вижу.

(ну и все это, вероятно, потребует вынесения transitions в класс)

[TonitaN]

C Complement всё сложнее (переход не по памяти или не по символу стека потребует дополнительных обвязок). Deterministic - видимо, да. Transitions всё равно переносить в класс рано или поздно придётся...