非上下文免费语言，它们是什么？

Question

我在理解非上下文免费语言方面遇到了很多麻烦。简单地说，它们是递归可枚举的吗？如同，可以使用图灵机来表示非上下文自由语言吗？图灵机是否可识别或可识别？

Answer 1

大量非上下文语言是递归的。考虑(a^n)(b^n)(c^n);这种语言的简单图灵机可以在磁带上来回运行，删除一个传递中的每个符号中的一个，直到所有符号被移除或者在一个符号之前用完。递归语言也是递归可枚举的。

Chomsky层次结构是常规的，无上下文的，上下文敏感的，递归的（粗略地）。除了这个级别之外，甚至是级别之间的级别和跨越这些规范的级别。