Нет, неправильно.
Во первых - язык это не текстовый файл. Это набор правил (синтаксических, семантических), лексем и прочего.
Во вторых процесс компиляции не так выглядит совершенно. Компилятор никаких переменных не создает. Более того - там еще есть трансляторы, линковщики, валидаторы и прочее.
Ну и да, на ассемблере компиляторы давно не пишут.
И получается если это так то программа написанная на высокоуровневом языке без компилятора просто текстовый файл, а также что готовая скомпилированная программа будет написана на языке ассемблера исходя из того что написано в исходном файле на высокоуровневом языке.
Ну вот это в каком то приближении правильно, правда необязательно на языке ассемблера.