6. Есть понятие ЯП , как промежуточного звена между человеком и исполнителем. (модель человека и исполнителя надо уточнять)
Тут не очень понятно, ну вот возьмем скажем алгорифмы Маркова (они мне близки и понятны более чем скажем Тьюринга машина), там вполне конкретный исполнитель, логика его работы, описывается в тех же терминах, что и программа писаная для него, если программа писана, значит был язык на котором она написана. Так вот, язык тут не разлучен с исполнителем. Внимание вопрос -- где тут промежуточное звено? По моему, тут человек напрямую взаимодействует с исполнителем на его языке.
Я к тому, что в твоих пунктах явно чего-то не хватает.
Возьмем пачку ЯП. Возьмем некую задачу, ну, скажем, задачу поиска подстроки в строке. Внезапно окажется, что на некоторых языках эту задачу решить проще. а на некоторых сложнее. Почему? Потому, что каждый язык, кроме того самого синтаксиса который все видят, на который все ведутся, но который второстепенен, у каждого языка есть своя семантика, которая, вообще говоря, является тем самым виртуальным исполнителем языком которого и является данный ЯП. Исполнитель оперирует некими понятиями, если эти понятия близки решаемой задаче, то задача на данном ЯП решается просто, если же нет, то задача решается сложнее (но все равно решается).
Возвращаясь к поиску подстроки в строке -- на языке алгорифмов Маркова, эта задача решается очень и очень просто. В пару-тройку строчек (каждач строчка символов в 3-5), на языке машины Тьюринга эта задача решается уже сложно.
Это были просто ЯП. Теперь про языки высокого уровня. Языки высокого уровня позволяют построить набор абстракций удобных для решения задачи, позволяют это сделать вне зависимости от того, какая модель исполнителя нативна (эмм.. какой тип исполнителя родной) для данного ЯП. То есть даже если под капотом у нас машина Тьюринга, то ЯВУ все равно позволить построить над ним модель исполнителя алгорифмов Маркова и уже в этих терминах решить задачу. Чем язык уровнем выше, тем он проще и точнее позволяет построить модель нужного исполнителя и языка его, тем меньше (в данной задаче) из под Маркова будет выглядывать Тьюринг. В идеале, Тьюринга не будет видно вообще. И так для каждой задачи.