Тесты, проверяющие ерайние случаи со стартовыми и финальными вершинами. Задание 2.

[KubEF]

Добавить в автотесты проверку, что можно

• Передавать пустые множества и None в функцию graph_to_nfa.
• Передавать одно пустое, другое -- нет, с ожидаемым результатом.
  Чтобы такой код не проходил

if not start_states or not final_states:
    for st in all_states:
        nfa.add_start_state(st)
        nfa.add_final_state(st)

Возможно стоит проверять это и в других функциях тоже.