形式化

（语言学）
形式化（formalization），语言学名词，转换生成语法使用的一种方法。即理论或规则都用形式逻辑或者数学语言清晰明确地阐释出来。
知识树
时光轴
论点集
总题库
领域
语言
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》