Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
Звучит провокационно, потому что проблема останова неразрешима для традиционных программ, однако здесь ставилась попытка понять, для каких вообще программ ее можно все-таки решить.
Источник: 016344 Как я провел прошлое лето. Марктобердорф (часть 3, заключительная).