【 以下文字转载自 CProgramming 讨论区 】
发信人: Analog (模拟人生), 信区: CProgramming
标 题: [转载]C++ 的语法是 Undecidable 的完整证明
发信站: 水木社区 (Thu May 7 12:46:20 2020), 站内
发信人: hgoldfish (老鱼), 信区: CPlusPlus
标 题: [转载]C++ 的语法是 Undecidable 的完整证明
发信站: 水木社区 (Wed Apr 29 21:33:10 2020), 站内
摘要:完美解析 C++ 源代码,等同于解决了停机问题。
https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
--
FROM 183.253.130.*