...统，公理化与模型理论 8.1 形式系统的句法方面 8.1.1 递归定义 8.2 公理系统与推导 8.2.1 扩展公理系统 8.3 半图厄（semi-Thue）系统 8.4 皮亚诺（Peano）公理与归纳证明 8.5 形式系统的语义方面：模型理论 8.5.1 理论与模型 8.5.2 一致性，完备性与独立性 8.
基于20个网页-相关网页
semi-Thue system 半图厄系统
word problem of semi-Thue system 半图厄系统判字问题
semi-thue grammar 半图埃文法
semi-thue process 半图厄过程
semi-thue processes 半图厄过程
semi-Thue production 半图厄生产
undecidability of semi-thue system 半图埃系统的不可判定性
应用推荐