【问题标题】:Is there a complete metalanguage?有完整的元语言吗?
【发布时间】:2017-09-23 16:25:26
【问题描述】:

只是问了一个相当简单的问题,但我在谷歌的搜索是......不成功。我现在正在寻找一种完整的编程元语言。简而言之,是否存在可以表达所有其他编程语言(java、c、其他任何东西)的这种语言?包括可以在任何其他语言中找到的所有词汇和所有概念。比如类、函数、方法、线程等。

提前致谢!

【问题讨论】:

  • 任何足够强大的元语言都符合条件 - Forth、Common Lisp 等。

标签: compiler-construction grammar metalanguage


【解决方案1】:

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

看看这个:https://en.wikipedia.org/wiki/Chomsky_hierarchy

【讨论】:

    猜你喜欢
    • 2012-03-25
    • 1970-01-01
    • 1970-01-01
    • 2017-01-11
    • 2017-01-24
    • 1970-01-01
    • 2011-03-11
    • 2020-06-01
    • 1970-01-01
    相关资源
    最近更新 更多