任何程序设计语言编写的程序都可以转换成图灵机实现
出自:计算机科学