用户1340774522 :软件工程就是弥补与邱奇–图灵论题中的“图灵机”等价的程序语言和强表达力语言如高上下文相关的自然语言之间的语义鸿沟的过程，而乔姆斯基的文法体系已经指出这一翻译是没有形式化（因此也没有自动化）的方法的。所以写代码真是件难事啊   2019-04-16 00:34:31  举报 收藏 操作