В следующем примере показан простой DFA с одним принимающим состоянием q2:
Основываясь на алгоритме R (i, j, k), показанном выше, я хочу преобразовать этот DFA в регулярное выражение, к сожалению, я не могу найти хорошее определение K. Мой вопрос: что означает K?
это количество состояний (в данном случае 3) или что-то еще?