非常规语言的补语是否总是递归语言？
我理解 1.context-free语言不在补语下关闭。 2.在补充下不会关闭递归可枚举语言。 3.在补语下，递归语言确实是封闭的。
但是如何使用这些事实回答最初的问题呢？如何判断非常规语言是否递归？
答案 0 :(得分：0)
不，非常规语言的补充并不总是递归的。一个反例是停止问题，其补充（所有不停止的程序）是非常规的。因此，暂停问题本身不是递归的（但是递归地可枚举）是非常规语言的补充。 （我认为上述事实不会帮助你解决这个问题。）
通常，如果要显示问题不是递归的，则必须将非递归语言（例如暂停问题）减少到它。如果你想表明它是递归的，你必须证明有一个图灵机决定它（接受它并在每次输入时停止）。