For decades, computer scientists tried using a rules-based approach - teaching the computer the linguistic rules of two languages and giving it the necessary dictionaries.
数十年来，计算机科学家们曾尝试采用以规则为基础的方法——即教导电脑两种语言的使用规则，并让电脑存储所需的翻译字典。
The first problem is using these languages the programmer may largely ignore the details of the particular computer upon which her program runs.
第一个问题是使用这些语言的程序员在很大程度上可以忽略要运行这些程序的计算机的相关细节。
A computer can reason about statements in these formal languages automatically using logical inference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
应用推荐