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

Добавить в автотесты проверку, что можно
- Передавать пустые множества и `None` в функцию `graph_to_nfa`.
- Передавать одно пустое, другое -- нет, с ожидаемым результатом.
Чтобы такой код не проходил
```python
if not start_states or not final_states:
for st in all_states:
nfa.add_start_state(st)
nfa.add_final_state(st)
```

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