Хотя это довольно сложно и порой невозможно. Например, невозможно создать МТ, которая покажет, зациклится ли какая-либо другая МТ. Но у нас же, как у человека есть некоторые инженерно-заданные лимиты, когда мы понимаем, что "чёт enough", "чёт мы по кругу ходим". Надо стараться.