должна выдавать ПДЦ цели с вероятностью её наличия. Если она выдаёт 100% там, где цели нет - систему
выкидывают, ибо для интерпретации её результатон надо строить новый интерпретатор.
Бюрократические формальности, увы, нужны хотя бы для поиска истины.
--
С уважением, Михаил
