Моделирование неветвящихся программ с условной остановкой на универсальной машине Тьюрингастатья