本文探讨了AF（抽象函数）在与RepInvariance配合下，如何从具体表示(Rep)转化为抽象领域(AbstractField)，强调了AF作为满射但可能非单射的性质。理解AF有助于在数据表示中确保完整性，同时揭示了映射的灵活性与不确定性。
AF（abstract function）
其和rep invariant一起出现，共同完成R（rep）到A（abstract field）的对应关系。其中，RI负责从R中筛选出来有意义的我们要选择的部分，AF完成从R到A的映射，即对于RI的解释。
AF性质
准确地讲，AF是RI到A的映射（由于RI已经将我们要表示的部分选择出来了）。其具有以下几种性质
1，一定是一个满射（即我们一定能实现RI和AF结合之后表示了所有的A中的元素，即我们选取的数据表达是完善的）
2，不一定是一个单射（可能有很多表示，他们的抽象状态是一样的）
3，由1，2，所以不一定是一个双射（一一对应）
扫一扫
3万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
