Compiler construction 有完整的元语言吗？

我只是问了一个很简单的问题，但我在谷歌上的搜索结果是。。不成功的我现在正在寻找一种完整的编程元语言。简言之，是否有任何其他编程语言java、c或其他语言都可以用这种语言来表达？包括所有其他语言中的词汇和概念。例如类、函数、方法、线程等

---

提前谢谢

0型语法包括所有形式语法。它们生成了图灵机器可以识别的所有语言

---

看看这个：

任何足够强大的元语言都可以限定-Forth、Common-Lisp等。