Процессоры под языки - несколько исторических примеров, вроде lisp-машины.
Обычно языки создают под решение конкретных задач, более того, их стараются сделать переносимыми между процессорами.
В этом как раз очень помогают C и C++, потому как они являются кросcплатформенными языками, для которых действует принцип вы платите (тратите ресурсы на) только те фичи языка, которыми пользуетесь.
Именно поэтому большинство интерпретаторов и Runtime-окружений для некомпилируемых (Python) и JIT-компилируемых (Java) языков делаются на C или C++, либо являются трансляторами в C++ (KPHP)
