计算模型 可计算函数 语义学 等价问题 语义图 形式语言 模态逻辑 自然数集