A physical symbol system has the necessary and sufficient means for general intelligent action.
结构化程序设计支持被排除中间语言的法律。