Мне нужно понять этот DFA? Я не понял этого, особенно три точки на диаграмме. Я получаю смутное представление о том, почему переход указывает туда, куда он указывает. Но я все еще очень смущен. Так что будет здорово, если кто-нибудь сможет объяснить, что означают эти точки:
<сильный>1. Когда они появляются на имени перехода, например 1? 2. Когда они появляются между двумя не связанными состояниями?