Все языки транслируются. И не важно, декларативные это языки или императивные.
Весь вопрос в том, во что именно транслируется код языка. Если в некий исполнимый код, то это называется компиляция. Если же в некоторое внутреннее представление какой-то программы - то интерпретация. Но границы бывают размыты. Например JavaScript - классический интерпретируемый язык - в современных движках транслируется в исполнимый код.
Например, Markdown и Wiki транслируются в HTML. JSP - в Java. Си - в ассемблер, объектный код, исполнимый код.
Языки разметки можно назвать частным случаем декларативных языков. Но чаще - это лишь формат представления данных, который транслируется в некоторое внутреннее представление (интерпретация), но не в исполнимый код (компиляция). JSP - одно из исключений.