Публикации по теме 'computer-science-theory'


Ускоренный курс по доказательству проблемы остановки
Объяснение неформально строго Во время урока Мастер объяснил «Я » : «Я - глас окружности», - сказал он . Когда студент попросил объяснить, что он имел в виду; Мастер сказал: «Это голос в твоей голове» «У меня в голове нет голоса», - подумал ученик и поднял руку, чтобы сказать мастеру. Учитель остановил ученика и сказал: «Голос, который только что сказал, что у вас нет голоса в голове; это я » И тогда ученики стали просветленными. Предположим, Джефф..

Вопросы по теме 'computer-science-theory'

Определение того, принимает ли недетерминированный конечный автомат все возможные строки
Имея NFA, есть ли способ определить, принимает ли он все строки, составленные из его алфавита, без необходимости перебирать бесконечное множество возможных строк?
144 просмотров