4. Сведение недетерминированного автомата к детерминированному.