Изучаем недетерминированные конечные автоматы: основы