E_TM, EQ_TM, Rice's Theorem Intro - COSC304 Theory of Computing 4/14

Описание к видео E_TM, EQ_TM, Rice's Theorem Intro - COSC304 Theory of Computing 4/14

In which we prove that E_TM, EQ_TM are undecidable, and introduce (and use) Rice's Theorem.

Комментарии

Информация по комментариям в разработке