Как работают оптимизаторы/минификаторы и в чём разница?

Как из вот этого (абстрактный ЯП):

Hex C = "#000";  // "мысли" минификатора: значение не используется и обязательно изменится => пропускаем
int R = random(1, 3);  // R - число от 1 до 3
if (R == 1) C = "#111"
if (R == 2) C = "#222"
if (R == 3) C = "#333" // замечена какая-то закономерность => превращаем в массив

сделать вот это

Hex C = "#" + Array('111', '222', '333') [random(0, 2)]

?

Существуют ли сокращатели кода без потери читабельности, например, превращающие нубские скрипты в хоть частично нормальный код? Вопрос возник во время переписывания своего старого кода.
И как изнутри работают такие инструменты?