24ответов 23 Когда теоретическая информатика полезна? computation halting-problem theory turing-machines