Concurrency 是米尔纳'；c图灵完备

因此，如果一种语言符合某些标准，就可以说它是图灵完备的。米尔纳的通信系统演算（CCS）是图灵完备的。然而，我找不到这方面的证据。有什么证据可以证明这一点吗？

是的，通过将任何已知的图灵完备语言编码到CCS中，您可以建立其图灵完备性。这种编码的构造就是一个证明。（据我所知）这是在几种情况下完成的，但最直接的可能是。

这个问题似乎离题了，因为它是关于计算理论的。我还有另一个疑问，图灵完备和图灵强大是相同的还是图灵强大<图灵完备这两个术语意味着相同的东西。