搜索筛选:
搜索耗时3.6800秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：AAKaposi,LMPopovic,GRzevskl,付有光,
来源：计算机应用通讯 年份：1982
这篇论文提出一种可以将不正规算法转换为正规算法的方法,其中包括一种新的代数和列出公式的步骤。经过转换得到的正规结构只包含三种类型的子结构:‘顺序’(Sequence), ‘如果,(if)和‘当’(While),并保留原式中所有成分的转换式。 这个方法主要用于大型软件的......
相关搜索：
