编程语言是一种逻辑语言（形式语言）
Posted feng9exe
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了编程语言是一种逻辑语言（形式语言）相关的知识，希望对你有一定的参考价值。
编程语言是表达逻辑推演的语言，是逻辑语言的一个变种；
计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的；
形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。
编程语言也是一种形式语言，是专门设计用来表达计算过程的形式语言。
人类所使用的语言，可以分为三类：自然语言（如：英语和汉语）、半形式化语言（如：数学的语言。即：自然语言加特定的符号）和形式化语言（如：逻辑的语言）。
https://baike.baidu.com/item/逻辑学语言
以上是关于编程语言是一种逻辑语言（形式语言）的主要内容，如果未能解决你的问题，请参考以下文章