Как делают языки программирования?

Получается в любом случае, любой скриптовый язык или же просто язык, это некая "условность", которая разрабатывается на C/C++ для узко-направленных целей?

Алексей Игошев: Любой ЯП - это не условность, а вполне себе даже конкретная, контекстно-свободная грамматика. На чем реализовать ее разбор и генерацию исполняемого кода (С/С++, ассемблер или даже Brainfuck) - абсолютно фиолетово. Просто делать это на С/С++ наиболее удобно и эффективно, вот и делают.
А так, чисто по приколу, полно всяких интерпретаторов/трансляторов одного эзотерического языка, реализованого на другом, например, того же Brainfuck на JS :)

pi314: говоря про условность я говорил об условности восприятия человеком, того или иного языка. Не могу понять все таки, откуда идет начало языкам, знаю что есть машинный код в виде 0 и 1 , не думаю что на 0 и 1 пишут траснляторы того или иного языка, который в последствии может быть написан другим языком, будучи написанным на 0 и 1. (на 0 и 1 написали C++, на C++ написали Java и на этом же Java опять написали C++ или сам себя). Надеюсь все понятно.

Алексей Игошев: Все именно так и есть. Первые сформулированные ЯП (типа языка машины Тюринга) были вообще чистой абстракцией. Первые же практически применимые ЯП были ЯП низкого уровня, т.е. состояли, фактически, из множества команд процессора (грубо говоря, 1 и 0). И, да - на них программировали люди! Брали набор команд, переводили коды в 1 и 0 и, например, набивали дырочки на перфокартах или вводили коды комбинациями тумблеров прямо в процессор/память. Это и сегодня возможно (и в исключительных случаях даже необходимо), просто сегодня в этой кропотливой работе, в основном, нет необходимости, ибо существуют ЯП высокого уровня... Для специальных случаев есть ассемблер - те же самые инструкции процессора, на котором тоже можно программировать удобнее, чем на 1 и 0. Тем не менее, 1 и 0 все еще активно используются, например, для хакинга, т.е. модификации непосредственно бинарного кода программ, для которых нет исходников :)