san-smith, именно так. Нужно не просто создать новый язык, а доказать, чем он будет лучше имеющихся (в рамках решения какой-либо задачи).

Они универсальные. Ваш - специализированный, синтаксис ориентирован на особенности некоего класса задач. При этим

этого недостаточно.

В актуальности необходимо показать, почему существующие языки и специализированные пакеты (для enduser) хуже, чем новый язык.

В принципе в качестве рабочей идеи - расширение некоего существующего языка + препроцессор, этого хватит.

На пальцах я вроде бы понимаю, но мне не хватает примера такой задачи.

А, скажем, разработка языка для аппаратной платформы будет научно-значимой? Например, высокоуровневый язык для Ардуины. Или что-нибудь для Эльбруса.

UPD
Пока думал над ответом, уже ответил kravets.
Когда я приводил этот пример, я держал в голове freefem - вроде и язык, а вроде и инструмент для моделирования.

Наверняка. Только надо убедиться в том, что эта задача не решена до Вас.

Прошу прощения за большое количество вопросов, но я хочу представить себе картинку в целом.

С этим теперь понятно. А как насчет реализации компилятора существующего языка под .NET/Java? Как IronPython реализация интерпретатора Python на .NET - что-нибудь подобное для некоего языка X может быть задачей?

Это - инженерная, а не научная задача.

Добавлено через 30 секунд
Аналогично.

Вы паспорт и авторефераты невнимательно читали.
Что там защищают? Модель, алгоритм, метод, способ...
Хотите защищать ктн, а не phD - это и защищайте.

san-smith, можете еще посмотреть в сторону Метавычислений

Спасибо большое всем за ответы, очень помогли.
Для себя выстроил примерно такую схему:
1. Найти/придумать/создать проблему, для которой актуально разработать новый язык или надмножество существующего.
2. Реализовать компилятор/интерпретатор языка из п.1.
3. ???
4. Profit!

всё-таки "найти" - лучший вариант :)

С Луркоязом на другой форум :)