Курс конечных автоматов. Что ты их не знаешь (вероятно) - не важно. Там есть процесс детерминизации: из недетерминистского получается детерминистский. Вопрос: как в детерминизированном автомате определить, какое состояние начальное и какие конечные? Ответ (у многих): на начальном стоит стрелочка в него, на конечных стрелочка из них.