有限语言相关论文
若字母表A上的语言X,Y,Z满足方程XZ=ZY,则称语言X,Y是共轭的。若式中的X,Y为字母表A上的字时,目前已知：若xz=zy,则存在p,q∈A*,使得......
占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus, D.Lehmann及M.Magidor提出的KLM占先结构最为著名......
