1992年第3卷第3期目录
脉动阵列的自动综合—FP方法夏心杰,孙永强,胡振江1992,3(3):1-8 [摘要(3623)] [PDF(4794)439.05 K][HTML(0)]并行算法的FP描述及其脉动化的判定胡振江,孙永强1992,3(3):9-16 [摘要(3387)] [PDF(4996)458.55 K][HTML(0)]使用显式策略进行程序构造谭庆平,陈火旺1992,3(3):17-23 [摘要(3716)] [PDF(5032)429.43 K][HTML(0)]基于扩展的BNF文法的通用语法分析算法杨明辉,郭肇德1992,3(3):24-32 [摘要(4941)] [PDF(5958)501.15 K][HTML(0)]基于形式源级转换的可执行规格说明技术张幸儿,朱晓军1992,3(3):33-39 [摘要(3656)] [PDF(4996)448.00 K][HTML(0)]模式化简序与重写系统的终止性林凯,孙永强,陆汝占1992,3(3):40-48 [摘要(3758)] [PDF(5256)550.34 K][HTML(0)]计算高级Petri网S-不变量的一种简单算法林闯,张彤1992,3(3):49-55 [摘要(4441)] [PDF(4983)397.80 K][HTML(0)]模型描述语言NUMDL的设计与实现陈世福,樊莉萍,徐殿祥,陆庆文1992,3(3):56-60 [摘要(4372)] [PDF(5334)329.69 K][HTML(0)]一类表达式及其典型形式的推广郭福顺,黄仲伟,罗昕1992,3(3):61-64 [摘要(3201)] [PDF(4484)274.18 K][HTML(0)]
