5.2 Kerneli语言 ·四类别代数A Aloc是任意的可数集合，sae是从Aoc到Aml的所 有函数的集合 ini是任意的常函数 lookupA(s,1)s(I) - updater(s,l,y)是函数s',除了sU=v以外，s'等同 于s - 为了记号上的方便，下面用init,lookup和update 代替iniA,lookupAi和updater5.2 Kernel语言 • 四类别代数A – Aloc是任意的可数集合，Astate是从Aloc到Aval的所 有函数的集合 – initA是任意的常函数 – lookupA(s, l) = s(l) – updateA(s, l, v)是函数s ，除了s(l) = v以外，s等同 于s – 为了记号上的方便，下面用init，lookup和update 代替initA ，lookupA和updateA