何谓“可执行时序逻辑语言系统” [复制链接]

第3版(教育·科技·文化)
专栏：资料

　　何谓“可执行时序逻辑语言系统”
计算机软件生产率低的主要原因，是程序难读易错。其原因是由于描述算法的程序所包含的细节太多。因此，专家们认为，程序应该直接描述它的功能或涵义，而不是在计算机上执行的算法步骤，这就是所谓抽象描述，又称为规范。它们都用数理逻辑、代数和可计算函数等数学理论表示。这些理论虽精密严谨，但难以表示某些重要程序，而时序逻辑则在通常的数理逻辑之上扩充了表示时间顺序的关系（如“下一时刻”、“终于”、“知道”、“每一时刻”）而构成的逻辑系统。它能表示其它方法所难以表示的许多程序性质。
一般说来，表示功能的抽象描述是不能在计算机上直接运行的，而可执行时序逻辑却是在计算机上可以运行的那种逻辑公式。唐稚松研究的时序逻辑语言，就是可按算法方式运行的，所以效率高。