[identity profile] bgmt.livejournal.com 2015-05-02 09:52 pm (UTC)(link)
надо сказать, что после детерминизации ты смотришь на состояния, и те, в которых хотя бы один элемент был конечным в недетерминистском автомате, являются конечными в детерминизированном, и т.д. Стрелки ставим мы сами, когда уже всё это определили.

[identity profile] just-tom.livejournal.com 2015-05-02 10:02 pm (UTC)(link)
А, то есть я правильно понял. Просто вы все математики с физиками привыкли, что вам всё понятно в общественных науках, и не учитываете, что мы не всегда можем ответить взаимностью.