Эквивалентность детерминированных и недетерминированных конечных автоматов