надо сказать, что после детерминизации ты смотришь на состояния, и те, в которых хотя бы один элемент был конечным в недетерминистском автомате, являются конечными в детерминизированном, и т.д. Стрелки ставим мы сами, когда уже всё это определили.