Большое спасибо за ответ. Возьму за основу Ваш план, буду работать.

С одной стороны, создание языка идеально ложится в 05.13.11, да и новизну искать не нужно - язык-то новый. С другой стороны, для защиты наверняка потребуется, чтобы этот язык реально использовался в какой-то серьёзной организации, и это было документально подтверждено. Формально такого требования нет, но таково моё впечатление от работ и защит по этой специальности. А новичку сделать действительно новый язык, чтобы его захотели использовать серьёзных разработках, практически нереально.

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

papageno, если попытаться пойти по 05.13.11 по физ-мату, то внедрение в серьезную организацию не обязательно. Но здесь работа должна быть намного более теоретизированной, с теоремами, леммами, строгими доказательствами...