Изменения

Построим полуразрешитель <tex>A_{\Gamma}</tex>. Он будет брать <tex>k</tex> первых образцов из <tex>\Gamma</tex> и для каждого их них проверять принадлежность программы <tex>p</tex> свойству этого образца с ограничением по времени <tex>k</tex> для всех <tex>k</tex> от 1 до бесконечности. При обнаружении образца со свойством, которому принадлежит <tex>p</tex> , полуразрешитель завершится и вернёт 1. В противном случае он останется зависшим.