Без заголовка

а) ну я для иллюстрации идеи :). если суперкомпиляторщики не считают это суперкомпиляцией, это ничего не меняет. Собственно, я суперкомпилятор помянул, ибо решил что Вам так понятнее будет :) б) а это не так важно, внутренний или внешний ДСЛ. Т.е. внутренний все равно на базе какого-то языка. А вот эти базовые языки надо транслировать в формализм, т.е. тут в принципе можно сделать отдельный трансляционный ДСЛ. Хотя может смысла и нет, действительно.