计算机科学 序列（生物学） 推论 等价（形式语言） 理论计算机科学 稳健性（进化） 代表（政治） 可扩展性 人工智能 一致性（知识库） 语义学（计算机科学） 口译（哲学） 语言模型 信息流 异步通信 算法 自然语言处理 交互信息 数据建模 逻辑后果 形式语义学（语言学） DNA运算 自然语言 编码（内存） 合成数据 DNA测序 数据挖掘 形式语言