Тут не очень понятно, ну вот возьмем скажем алгорифмы Маркова (они мне близки и понятны более чем скажем Тьюринга машина), там вполне конкретный исполнитель, логика его работы, описывается в тех же терминах, что и программа писаная для него, если программа писана, значит был язык на котором она написана. Так вот, язык тут не разлучен с исполнителем. Внимание вопрос -- где тут промежуточное звено? По моему, тут человек напрямую взаимодействует с исполнителем на его языке.
Когда вы пишете программу для машин Маркова , Тьюринга...- вы пишете ее (непосредственно) в командах исполнителя, точно также вы можете программировать в командах процессора интела (бинарный код). Но это не ЯП. Здесь ЧЕЛОВЕК является НЕПОСРЕДСТВЕННО промежуточным звеном - он ОТОБРАЖАЕТ алгоритм решения задачи на систему комант исполнителя.
Но как вы понимаете для серьезных задач это не выход
Я к тому, что в твоих пунктах явно чего-то не хватает.
Эти пункты я привел просто как базис от которого можно отталкиваться (для того чтобы консолидировать цели в обсуждении).
Возьмем пачку ЯП. Возьмем некую задачу, ну, скажем, задачу поиска подстроки в строке. Внезапно окажется, что на некоторых языках эту задачу решить проще. а на некоторых сложнее. Почему? Потому, что каждый язык, кроме того самого синтаксиса который все видят, на который все ведутся, но который второстепенен, у каждого языка есть своя семантика, которая, вообще говоря, является тем самым виртуальным исполнителем языком которого и является данный ЯП. Исполнитель оперирует некими понятиями, если эти понятия близки решаемой задаче, то задача на данном ЯП решается просто, если же нет, то задача решается сложнее (но все равно решается).
Возвращаясь к поиску подстроки в строке -- на языке алгорифмов Маркова, эта задача решается очень и очень просто. В пару-тройку строчек (каждач строчка символов в 3-5), на языке машины Тьюринга эта задача решается уже сложно.
Не понял что из этого - действительно система команд исполнителя Маркова родственна приведенным вами задачам обработки последовательности символов?
Это были просто ЯП. Теперь про языки высокого уровня. Языки высокого уровня позволяют построить набор абстракций удобных для решения задачи, позволяют это сделать вне зависимости от того, какая модель исполнителя нативна (эмм.. какой тип исполнителя родной) для данного ЯП. То есть даже если под капотом у нас машина Тьюринга, то ЯВУ все равно позволить построить над ним модель исполнителя алгорифмов Маркова и уже в этих терминах решить задачу. Чем язык уровнем выше, тем он проще и точнее позволяет построить модель нужного исполнителя и языка его, тем меньше (в данной задаче) из под Маркова будет выглядывать Тьюринг. В идеале, Тьюринга не будет видно вообще. И так для каждой задачи.
В терминах того что я предложил - это формулируется так, ЯВУ позволяет отображение алгоритма п.5 (в терминах п.4) на программу в терминах ЯП - с относительно небольшими искажениями, минимизирует влияние исполнителя на алгоритм - и вот тут еще тонкие моменты - УЧИТЫВАЕТ ВЛИЯНИЕ ЧЕЛОВЕЧЕСКОГО ФАКТОРА (посредством некоторой модели), так же он может содержать некоторые добавления которые упрощают описание на нем систем определенного вида (специализированность - нап. ЭРЛАНГ, ФОРТ)...