YuRockПо моему, вопрос изначально стоял, какие языки можно называть языками низкого уровня, а какие - высокого.
А ответ на него таков: чем ближе конструкции, средства языка приближены к железу, тем он более низкого уровня. Всё.

Такое определение вообще не позволяет назвать любой язык "языком низкого уровня". Оно позволяет только сравнивать языки.
Поэтому я уже не раз указывал, что языком низкого уровня следует считать тот язык, который позволяет получить любой код поддерживаемый целевой архитектурой. То есть может обеспечить доступ ко всем командам и регистрам CPU, видам памяти, регистрам контроллеров (ввода-вывода, внешних и внутренних прерываний, таймеров) и т.п.

Поясняю, на примере:
1. Размещаем переменную counter в регистре r3 CPU


2. Размещаем массив переменных в программной памяти, которая имеет совсем другое адресное пространство, чем оперативная память (Гарвардская архитектура):


3. Указываем, что переменная porta расположена по конкретному адресу в пространстве ввода-вывода (i8080, Z80 и т.п.)


Для каких языков, кроме C и PL/M вы можете привести аналогичные примеры?

YuRockВ Си, например, нет безусловных циклов.

В ассемблере их тоже нет. Безусловные циклы в машинных командах реализуются через команду безусловного перехода. Аналог goto в C. Другое дело, что в C проще и понятней написать for(;;) {}, чем использовать goto. Вы, наверное, очень увидитесь, если посмотрите ассемблерный код, получающийся в этих двух случаях: он окажется идентичным )

YuRockИ какой из этих for ближе к ассемблеру?
Получается C, раз имеет оператор прямо соответствующий команде безусловного перехода )

SiemarglПогугли про оберон системс.
"ОС Оберон написана на разработанном в рамках этого проекта одноимённом языке." К чему это и что это доказывает, кроме того, что я уже написал выше?
ptr128к любому, компилируемому в машинные коды/ассемблер, языку в конкретной реализации можно добавить такие расширения, что это позволит использовать его в качестве языка низкого уровня.

Siemarglcrt0 тоже написан не на С.
А это что? Да, сказано, что "This sequence might also be done in the UTILS/STARTUP/GCC/crt0.S". Но реализация на C вполне себе присутствует.

YuRockptr128Получается C, раз имеет оператор прямо соответствующий команде безусловного переходаСмешно называть безусловным циклом цикл, в котором перед (после) каждой итерацией проверяется изначальное условие цикла.
Вам не кажется, что в безусловном цикле по определению не может быть условия цикла? А если в цикле есть условие, то он все же условный?

YuRock в итерациях которых не проверяется условие для выхода из цикла, а просто работают по счетчику, заданному перед началом цикла.
Приведите код такого цикла на ассемблере для любой архитектуры. Просто, чтобы до Вас дошло, что в таком цикле значение счетчика прийдется:
1. Инициализироать
2. Декрементировать
3. Проверять на равенство нулю (или еще чему-то)
4. В зависимости от результата проверки в п.3 выполнять команду условного перехода.

YuRockptr128языком низкого уровня следует считать тот язык, который позволяет получить любой код поддерживаемый целевой архитектурой
Низкоуровневый язык программирования (язык программирования низкого уровня) — язык программирования, близкий к программированию непосредственно в машинных кодах.

И что? Вот и конкретизируйте, что Вы понимаете под "близкий". Я это сделал.

maytonязыков низкого уровня.
1) Эта шкала абсолютная? Можем ли мы сравнивая (Assembler/C или С/C#) придти к неоднозначности позиции С в этом сравнении?

Стандартизированного определения "языка низкого уровня" я не знаю. Общепринятое - я уже озвучил:
ptr128языком низкого уровня следует считать тот язык, который позволяет получить любой код поддерживаемый целевой архитектурой


maytonВсегда-ли имеет смысл выбирать метрику близости к машинным командам?
Ну раз на самом нижнем уровне у нас всегда машинные команды, так как процессор способен выполнять только их, то какие еще можно предложить варианты?

YuRockptr128Приведите код такого цикла на ассемблере для любой архитектурыНе знаю, на счет любой, и знать не хочу - мне не интересно, но в x86 есть loop.

И где он? Мы все с нетерпение ждем!

YuRockptr128языком низкого уровня следует считать тот язык, который позволяет получить любой код поддерживаемый целевой архитектурой
Как с помощью средств языка Си можно получить цикл loop?

Я вообще не знаю ничего об целевой архитектуре, про которую Вы ведете речь, и какими машинными командами там реализован совершенно неизвестный мне "loop".
Приведите код на ассемблере и я покажу Вам, как его получить на С.
И Вы так до сих пор и не привели примеры кода, хотя ранее утверждали, что все эти возможности в Pascal есть:
1. Размещаем переменную counter в регистре r3 CPU


2. Размещаем массив переменных в программной памяти, которая имеет совсем другое адресное пространство, чем оперативная память (Гарвардская архитектура):


3. Указываем, что переменная porta расположена по конкретному адресу в пространстве ввода-вывода (i8080, Z80 и т.п.)



Демагогические пассажи про микрокоды и эмуляторы я пропускаю, как совершенно не имеющие отношение к тем двум вопросам, которые мы обсуждаем:
1. Что такое язык низкого уровня?
2. Почему, по утверждению dbpatch, C++ не является языком низкого уровня?
3. Почему, по утверждению YuRock, Pascal является языком низкого уровня?

ИзопропилИли для вас единственный критерий возижность писать без ОС?
У меня сугубо практический подход. Когда я пишу программу для микроконтроллера - это ключевой критерий при выборе языка программирования. Когда я пишу программу, которая должна работать под управлением ОС - данный критерий мне безразличен.

Anatoly MoskovskyЯзык низкого уровня - тот который позволяет реализовать все функции ОС на заданной платформе.
Как вы вообще представляете реализацию ОС или каких-то ее функции на том же ATtiny13 с 64 байтами RAM?

Anatoly Moskovskyпаскаль - это [...] языки низкого уровня.

К сожалению, мне никто хочет это показать. То заводят речь о языках для которых нет ISO стандартов. То просто отказываются продемострировать, как размещать в Pascal переменные в регистре, адресном пространстве программ или в адресном пространстве ввода-вывода.