В основе экономного кодирования лежит минимизация избыточности сообщения:
Две грамматики, генерирующие один и тот же язык, называют эквивалентными:
Интерпретаторы реализуют принцип, аналогичный компилированию:
Исправляющие коды за счет заложенной избыточности позволяют исправить любое количество ошибок в сообщении:
Каждый компьютер способен непосредственно выполнять ограниченный набор относительно простых команд:
Объектом для математических алгоритмов является неформальное описание задачи:
Организация системы всегда имеет постоянную форму:
Повышение помехоустойчивости практически всегда сопровождается улучшением эффективности:
Помехоустойчивое кодирование предполагает внесение избыточности в исходное сообщение, за счет которой возможно выявление (исправление) ошибки, возникшей при передаче по каналам связи:
После разбиения программы на лексемы следует фаза синтаксического анализа, называемая грамматическим разбором:
Семантика задает значение всем предложениям языка:
Синтаксис определяет смысл высказываний:
Системный анализ даёт общие методы формального, межпредметного анализа предметных областей, выявления и описания, изучения их системных инвариантов:
Статистическая теория оценивает информацию с точки зрения меры неопределенности: