Отсутствие сообщений компьютера о синтаксических ошибках
гарантирует правильность программы
есть необходимое и достаточное условие правильности программы
есть достаточное условие правильности программы
есть необходимое, но не достаточное условие правильности программы