A_CFG, E_CFG, A_TM Undecidable - COSC304 Theory of Computing 4/13

Описание к видео A_CFG, E_CFG, A_TM Undecidable - COSC304 Theory of Computing 4/13

In which we show that A_CFG and E_CFG are decidable, and then the proof that A_TM is undecidable.

Комментарии

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