Проблема кодирования

Математический аппарат, применяемый при кодировании, по существу, тот же, что при решении проблемы кодирования математических выражений данной группы или алгебраической структуры в двоичную форму. Шеннон, Винер и др. разработали приложение этой проблемы к некоторым задачам теории связи, но их результаты не могут быть прямо использованы в проблеме решения задач на вычислительных машинах.
Две проблемы связаны с кодированием: проблема минимизации и самокодирования. Может ли функция при заданных условиях преобразования быть минимизирована (единственным или не единственным образом), т. е. существует ли min, где объем двоичной памяти; время, необходимое для выполнения кодирования; время, необходимое для выполнения программы; переменная, включающая стоимость технической реализации.

Весьма вероятно, что существуют некоторые критерии, которые могут быть разработаны для улучшения существующих методов кодирования. Можно ли разработать алгоритм или регулярный процесс, с помощью которого возможно получить «почти минимальную» систему кодирования? Если это может быть выполнено, то может быть сделан решающий шаг в достижении автоматизации решения задач. Если будет разработан удачный алгоритм, машина сама примет решение о том, как кодировать задачу, иными словами, решит, сколько и каких комбинаций двоичных цифр потребуется для достижения наиболее эффективного машинного представления элементарного канонического оператора.
То есть машина получит возможность перестраиваться, когда станет известно, на какие элементарные должно быть осуществлено разложение оператора. Существующие машины не обладают этим свойством самокодирования и могут быть названы машинами с фиксированными кодами. Создание более совершенных машин с фиксированным кодом или самокодирующихся машин — это сложная инженерная и логическая задача, касающаяся вопроса о том, каково наилучшее представление в машине операторов, т. е. какова должна быть форма оператора.

Источник: delete-it