Почему языки программирования высокого уровня называют машинно-независимыми языками?

Потому что возможность программирования на одном из ЯПВУ зависит от наличия на компьютере транслятора с этого языка. Трансляторы для каждого типа компьютера создают системные программисты.