|
|
|
| Ianov模式等价变换的一种算法 |
| 刘清 |
| 江西大学数学系； |
|
|
|
|
摘要 <正> 框图模式（Schama）被认为是一个普通的框图程序,其变量域用Э表示;函数和谓词分别用f1,f2,…和p1,P2,…表示。只要对域Э,函数fi和谓词pi一个介释,便得到一个程序。因此研究框图模式的理论是证明程序性质的重要一环。本文提出一种类似于正则表达式的模式表达式,对这种表
|
|
| 关键词 ：
等价定义,
自然科学版,
程序变量,
化简运算,
正则表达式,
算法,
字母表,
图模式,
函数符号,
等价变换
|
|
出版日期: 1981-01-28
|
| [1] |
罗丽娟段隆振段文影刘萍. C5.0算法的改进及应用[J]. 南昌大学学报（工科版）, 2017, 39(01): 92-. |
| [2] |
罗兰花； 梁海英； 余长庚. 一种基于GAF拓扑控制的加权质心定位算法[J]. 南昌大学学报（理科版）, 2016, 40(05): 436-. |
| [3] |
谭文群； 包学才； 邓承志；. 基于信号飞行时间与误差分析的改进无线传感网络Bounding-box定位算法[J]. 南昌大学学报（理科版）, 2016, 40(04): 389-. |
| [4] |
樊晓梅； 胡小荣. 正克里格法的线性规划算法[J]. 南昌大学学报（工科版）, 2016, 38(03): 261-. |
| [5] |
刘俊； 江修波； 刘丽军. 考虑低碳效益的配电网广义电源优化配置[J]. 南昌大学学报（工科版）, 2016, 38(03): 290-. |
| [6] |
王庆华； 秦超. 混凝土敞口矩形水池池壁水平力有限元计算分析[J]. 南昌大学学报（工科版）, 2016, 38(01): 44-. |
| [7] |
张笑华； 周海洋. 基于有限测点信息的结构多种响应重构[J]. 南昌大学学报（工科版）, 2016, 38(01): 147-. |
| [8] |
刘静华； 李丹； 王展宏. 关联字母矩阵基模算法在水污染中的应用[J]. 南昌大学学报（理科版）, 2016, 40(01): 20-. |
| [9] |
黄晓川； 杨晓鹏； 黄琛. 基于类型Ⅱ区间模糊集NIE约简算法的优化[J]. 南昌大学学报（理科版）, 2015, 39(05): 432-. |
| [10] |
江婕； 贾仁安； 卢晓勇. 基于枝向量行列式算法的高校教学信息化系统反馈分析[J]. 南昌大学学报（理科版）, 2015, 39(05): 442-. |
| [11] |
徐刚； 江美珍； 吴志华； 饶兰香. 粒子群优化算法的收敛性分析[J]. 南昌大学学报（理科版）, 2015, 39(04): 315-. |
| [12] |
沈渊彬； 刘庆珍； 李友军； 苏申. 基于模糊组合权重的BA-SVM短期负荷预测[J]. 南昌大学学报（工科版）, 2015, 37(03): 300-. |
| [13] |
於流芳； 贾仁安； 尹继东. 运用SD枝向量行列式反馈环计算分析新兴产业协同创新障碍——以江西省绿色光源产业为例[J]. 南昌大学学报（理科版）, 2015, 39(02): 124-. |
| [14] |
万昶； 曾瑶； 张纯； 常力戈. 基于正则化遗传算法的结构损伤识别[J]. 南昌大学学报（工科版）, 2015, 37(02): 114-. |
| [15] |
白似雪； 段仕林； 梅舒. 基于关系数据库的关联规则挖掘算法DB-growth[J]. 南昌大学学报（理科版）, 2015, 39(01): 25-. |
|
|
|
|
1981, Vol. 5 