标签：‏A算法和程序都独立于具体的计算机和具体的编程语言