问递归可枚举语言与图灵完全语言的关系与区别？

EN

来自https://en.wikipedia.org/wiki/Recursively_可计数_语言

形式语言称为递归可枚举语言(也是可识别的、部分可判定的、半可分辨的、图灵可接受的或图灵可识别的)，如果它是语言字母表上所有可能单词集合中的递归枚举子集，即如果存在图灵机，该机器将枚举语言的所有有效字符串。

来自https://en.wikipedia.org/wiki/Turing_完备性

数据操作规则系统(如计算机指令集、编程语言或元胞自动机)被认为是图灵完整的或计算通用的，如果它可以用来模拟任何单一的图灵机。

因此，递归可枚举语言和图灵完全语言都是用图灵机器定义的。

1. 递归可枚举语言和图灵完全语言之间的根本区别是什么？例如，是否正确？
   • 一种递归枚举语言，图灵机的一组输入，以便它识别，同时
   • 图灵完整语言是图灵机提供的语言，还是它的等价语言？

那么，这两个概念是否属于图灵机的两个不相关的方面呢？

1. 他们有什么关系？对于一种语言，
   • 递归枚举是否意味着图灵完成？
   • 是图灵完整是否意味着递归可枚举？

谢谢。