针对解题过程来设计程序的各种语言。不受具体计算机影响，但必须翻译成相应的机器语言后才能在计算机中执行。其典型的代表有algol60、algol6…
解题方案的准确和完整的描述。是一个有穷的动作步骤序列，只有一个初始态，每个动作只有一个后继动作，一步一步地直到序列结束。是解题从开始到结束的动作…