В разделе «Минимальная инверсная машина» (см. стр.17) показан процесс определения ?-порядка таблицы переходов.
Определим сложность построения тестирующей таблицы и тестирующего графа.