会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
birdy-
博客园
首页
新随笔
联系
订阅
管理
2022年6月5日
ADT设计中的规约、RI、AF
摘要: 何为AFRI? AF: 抽象函数 A:抽象空间,用户看到和使用的值 R:表示空间,就是代码中实际的值 因此,建立AF:R到A的映射 一定满射(凡是用户使用的,R中都有表示) 不一定是单射(R中用到的,用户不一定能使用) RI: 表示不变性 AF产生表示不变性RI。 含义:一句话,描述什么是合法的表示
阅读全文
posted @ 2022-06-05 22:10 是鸟哥没错
阅读(323)
评论(0)
推荐(0)
公告