语句序型相关硕士博士期刊学术论文

程序集合论首先是为了解决停机问题,所以定义了while语句的序型w。为清晰区分有if语句的while语句序型的不同,又定义了w[if]和w[if......