补充资料：Post典范系统

Post典范系统
Post canonical system

　　，ec~c“eTeMa]，Post演算(Post ealculus) 字的可数集的一种定义方法(见可枚举集(e口山n-erable set)).Post典范系统概念是E .Post于1943年引进的，是适用于定义任意可枚举集和不依附于生成对象的逻辑结构及其语义或推导法则(deriv如onn日e)的演算(cal以如s)的第一个一般概念.一个Post典范系统由一个四元组A，尸，了，二给出;其中A是演算的字母表，P(与A无公共元素)是变元字母表，了是由A中的字构成的表(演算公理)，而7T是形如 G!.，p;、，“·GI、。p，、。G】，。十. (*) G用，，P用、一G。。二夕，、。，G，、。，、- G、P、…G。P，G。十、的推导法则的表(G‘，j是A中指定的字;p。是尸中指定的字母).一个字Q可由字Q:，一，Q.利用法则(*)得到，如果对于(*)中尸的任何字母都能在A中找到相应的字(称为该字母的值)，当把它代入(，)中所有的变元之后，则(。)中线上边的字变为Q;，…，Q。，而线下边的字变为Q.根据对推导法则的如此理解，在P叱t典范系统中定义推演.在演算理论中，A中可枚举字的集合(cn切rnera比setof场叼川)采用下面与通常定义等价的定义:M称为可枚举的(enu几rrable)，如果它与某一Post典范系统中导出的A中的字的集合相同，这个P渭t典范系统的字母表应包含A(用至少增加一个字母亡来扩充A的必要性是不可避免的，然而可以要求，除M之外只有形如亡Q的字可以导出，其中Q是A中的字). 可以考虑PO6t典范系统概念的各种特殊形态:l)R招t正规系统(R粥t norlllal system)(所有法则形女口 GP、_ PG‘/’ 2)局部演算(local calc吐)(法则形如 夕，G尸2〕_ 17:G‘尸2」’ 3)约束演算(restricted calc吐)(一个字母的字母表，法则具有一个前提);等. 上面提到的几种特殊形态是假定有一个公理，以及一个任意的Post典范系统可以导出它们中的任意一个(Post典范系统和Post正规系统(Post蒯功目sys-tem)之间的等价是Post证明的，对寻找不可解系统有重要意义). 参考文献见演算(calculus). C.劝，Mac月OB撰[补注]正则典范系统(regular eano皿al system)的出现是特别重要的.在一个正则典范系统中每一个推导法则形如“Gp产生G’p”，其中G和G‘皆是演算的字母表上的字，p是一个变元.更详细的内容在【All中可以找到.巧st典范系统【l、活tc翻以血目哪tem;noeTa Ra.o一
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。